Leere spitze Klammern in Template-Definition

Question

Diese Frage war beim Interview: Führt dieser Code irgendwelche Kompilierungs-/Verknüpfungsfehler und warum so?

template <int T> void f(); 
template <> void f<0>() {} 

void test() 
{ 
    f<1>(); 
} 

Bitte um das Verhalten zu erklären. Danke vielmals.

Answer 1

template<> void f<0>() {} 

ist Spezialisierung der Funktion Vorlage für Argument 0, wenn Sie f<0>() diese Version der Funktion aufrufen aufgerufen.

Dieser Code ist falsch, es verursacht Verknüpfungsfehler, da keine Spezialisierung für f<1> vorhanden ist und die Vorlagenversion der Funktion nicht defined ist.

Answer 2

Es wird kompiliert, da der Compiler eine Deklaration für eine generische Vorlage sehen kann. Es gibt auch eine voll spezialisierte Vorlage für 0. Aber wir nennen es für 1, die versuchen wird, die generische Vorlage aufzurufen, aber da der Linker keine Definition für die allgemeine Vorlage finden kann, wird das Programm Linker-Fehler anzeigen.

soloution

template <int T> void f(); 
template <> void f<0>() {} 
template <int T> void f() { } 


void test() 
{ 
    f<1>(); 
} 

Answer 3

Es wird kompilieren (der gesamte Code ist gültig grammatisch), sondern wird bei Streckenstufe scheitern.

Dies liegt daran, template <int T> void f(); deklariert, aber nicht definiert, die < 0> Spezialisierung ist definiert, aber das macht nichts für Sie, da Sie es nicht instanziieren.

Eigentlich ist es würde möglich sein, für die < 0> Spezialisierung Syntaxfehler enthalten und das Programm würde noch ohne Fehler kompilieren! Dies liegt daran, dass Vorlagen nur dann kompiliert werden, wenn sie verwendet werden. (Ich würde kein Kandidat erwarten, dass die Gegenwart des Geistes während des Interviews Bedingungen haben, darauf hinweisen.)