c++ - 这段代码在 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 - Implicit instantiation

-9- An implementation shall not implicitly instantiate a function template, a member template, a non-virtual member function, a member class or a static data member of a class template that does not require instantiation.