Является ли этот код легальным в C++

Question

я только обнаружил, что, когда дело доходит до шаблонов этот код компилируется в г ++ 3.4.2 и не работает, если т() не вызывается:

template <typename T> 
class C 
{ 
    T e; 

    public: 
     C(): e(0) {}; 

    void m() 
    { 
     e = 0; 
    }; 
}; 

Теперь можно создавать и использовать экземпляр

C<const int> c; 

До c.m() не называется там нет ошибки компиляции, но это законно?

Answer 1

Да, это законно. Спецификация шаблона заключается в том, что до тех пор, пока не будет создан метод, он не существует и не проверяется компилятором. Вот соответствующий бит от the spec:

14.7.1 - неявная конкретизация

-9- Реализация не должен неявно экземпляра шаблона функции , шаблона члена, а невиртуальных функций члена , член класс или статический член данных шаблона класса , который не требует создания .