Đâu là xung đột ở đây?

Question

Tại sao tôi không thể quá tải chức năng mẫu này?

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

Theo tôi có thể biết, hai hàm không thể chấp nhận cùng một loại đối số.

Answer 1

Bạn không thể quá tải chức năng mẫu có chức năng không phải mẫu due to a bug. Điều này hy vọng sẽ được sửa chữa trong tương lai.

Trong khi đó, bạn có thể viết các chức năng khác như là một mẫu chuyên môn:

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