Przykład mylnego parametru parametru szablonu C++ 11?

Question

W 6.8.3 średnia C++ 11 mówi:

Jeżeli podczas parsowania, nazwa w parametrze szablonu jest zobowiązany inaczej niż byłoby zobowiązane podczas próby parse, program jest źle sformułowany.

Jaki jest przykład programu źle sformułowanego w wyniku tego wymogu?

Answer 1

#include <iostream> 
#include <typeinfo> 

typedef const int cint; 

template <int a> struct x 
{ 
    static cint b = 0; 
}; 

template <> struct x<42> 
{ 
    typedef cint b; 
}; 

cint w = 17; 

int main() 
{ 
    cint (w)(42), (z)(x<w>::b); 

    std::cout << typeid(z).name() << std::endl; 
} 

Pierwsza deklaracja w main() należy ujednoznacznione, więc parse trial jest wykonywana. Podczas tego przetwarzania lokalny w jest nieznany, ponieważ parsowanie jest czysto syntaktyczne (rzeczy są analizowane, nie są wykonywane żadne działania semantyczne). W konsekwencji w jest stałą globalną, jej wartość to 17, x<w>::b jest wartością, a z jest zmienną.

Podczas prawdziwej analizy wykonywane są akcje semantyczne. Dlatego nazwa w jest powiązana ze świeżo zadeklarowaną stałą lokalną, jej wartość wynosi 42, x<w>::b staje się typem, a z jest deklaracją funkcji.