Gdzie jest konflikt?

Question

Dlaczego nie mogę przeciążyć tej funkcji szablonu?

import std.stdio; 

T[] find(T, E)(T[] haystack, E needle) 
    if (is(typeof(haystack[0] != needle))) 
{ 
    while(haystack.length > 0 && haystack[0] != needle) { 
     haystack = haystack[1 .. $]; 
    } 
    return haystack; 
} 

// main.d(14): Error: function main.find conflicts with template main.find(T,E) if (is(typeof(haystack[0] != needle))) at main.d(5) 
double[] find(double[] haystack, string needle) { return haystack; } 

int main(string[] argv) 
{ 
    double[] a = [1,2.0,3]; 
    writeln(find(a, 2.0)); 
    writeln(find(a, "2")); 
    return 0; 
} 

Z tego co wiem, obie funkcje nie mogą przyjmować tych samych typów argumentów.

Answer 1

Nie można przeładować funkcji szablonu za pomocą funkcji innych niż szablony due to a bug. Powinno to zostać naprawione w przyszłości.

W międzyczasie można napisać inną funkcję jako specjalizacji szablonu:

T find(T : double[], E : string)(T haystack, E needle) 
{ 
    return haystack; 
}