這段代碼合法的C++

Question

我剛剛發現，當它涉及到模板的代碼用g ++ 3.4.2編譯，除非m的作用（）不叫：

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-的實現不應隱含實例化一個函數模板 ，成員模板，一個 非虛成員函數，成員 類或不需要 實例化一個 類模板的靜態數據成員。