Dov'è il conflitto qui?

Question

Perché non riesco a sovraccaricare questa funzione modello?

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

Per quanto posso dire, le due funzioni non possono accettare gli stessi tipi di argomento.

Answer 1

Non è possibile sovraccaricare le funzioni del modello con le funzioni senza modello due to a bug. Questo dovrebbe eventualmente essere risolto in futuro.

Nel frattempo, è possibile scrivere l'altra funzione come una specializzazione modello:

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