Puste nawiasy ostrokątne w definicji szablonu

Question

To pytanie było w wywiadzie: Czy ten kod powoduje błędy kompilacji/łączenia i dlaczego tak jest?

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

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

Proszę wyjaśnić zachowanie. Wielkie dzięki.

Answer 1

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

jest specjalizacja szablonu funkcji dla argumentu 0, jeśli zadzwonisz f<0>() ta wersja funkcja zostanie wywołana.

Ten kod jest niepoprawny, powoduje błędy w linkowaniu, ponieważ nie ma specjalizacji dla f<1>, a wersja szablonu funkcji nie jest defined.

Answer 2

Zostanie skompilowany, ponieważ kompilator może zobaczyć deklarację dla szablonu ogólnego. Dostępny jest również w pełni wyspecjalizowany szablon dla 0. Ale nazywamy to 1, które spróbuje wywołać ogólny szablon, ale ponieważ linker nie może znaleźć żadnej definicji ogólnego szablonu, program pokaże błąd linkera.

soloution

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


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

Answer 3

To będzie kompilować (cały kod jest gramatically ważne), ale nie powiedzie się na etapie połączenia.

To dlatego template <int T> void f(); jest zadeklarowany ale nie zdefiniowana, < 0> specjalizacja jest zdefiniowane, ale sprawia, że ​​nie ma szans na Ciebie, ponieważ nie jesteś uruchamianiu go.

Właściwie to byłoby mieć możliwość < 0> specjalizacja zawierać błędy składniowe i program by jeszcze skompilować bez błędów! Wynika to z faktu, że formalnie szablony są kompilowane tylko wtedy, gdy są używane. (I nie spodziewałbym kandydatem mieć przytomność umysłu w warunkach wywiadu wskazują, że obecnie).