Verarbeitung von instanziierte Template-Funktionen

Question

Der folgende Code ++ 2013 in Visual C kompiliert, aber nicht unter G ++ 4.8.2:

template<class T> 
int MyFunc(T& t) 
{ 
    return static_cast<int>(CCodes::blah); 
} 

template<> 
int MyFunc(float& t) 
{ 
    return 0; 
} 

int main() { 
    float f = 10.f; 
    return MyFunc(f); 
} 

Visual C++ scheint die allgemeine Template-Funktion zu ignorieren, weil nur die Spezialisierung MyFunc<float> verwendet wird. G ++ analysiert die allgemeine Funktion trotzdem und erkennt, dass die CCodes-Enumeration nicht definiert wurde.

Welches ist richtig? Oder ist diese Implementierung definiert?

Answer 1

GCC ist korrekt, und jeder andere Compiler außer MSVC wird das gleiche tun.

Dies ist ein großer Fehler, der tatsächlich auf einer Roadmap von MSVC auftrat. Es war in der Kategorie "ferne Zukunft". Sie müssen ihre Vorlagen-Engine neu schreiben, um sie zu reparieren.

Es gibt eine Argumentation, dass die Diagnose einer schlecht geformten Vorlage optional ist, da es sich um eine Vorlage ohne wohlgeformte Instanziierung handelt, die nicht markiert werden muss.

1. Der Standard erfordert, dass die Vorlage analysiert wird, und Fehler bei der Analyse müssen unabhängig von der Instanziierung diagnostiziert werden.
2. Jeder andere Compiler führt die Diagnose durch, so dass MSVC-Benutzer in Wirklichkeit keinen unportablen Code erstellen. Sich beschweren ist eine wirklich gute Idee, auch wenn es nicht erforderlich ist.