Где находится конфликт?

Question

Почему я не могу перегрузить эту функцию шаблона?

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; 
} 

Насколько я могу судить, обе функции не могут принимать одни и те же типы аргументов.

Answer 1

Вы не можете перегружать функции шаблона функциями без шаблона due to a bug. Это, надеюсь, будет исправлено в будущем.

В то же время, вы можете написать другую функцию в качестве специализации шаблона:

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