作为模板实例的基类的初始化不需要模板参数？

Question

我有一个从特定模板实例派生的非模板类。像往常一样，基类必须在派生类的构造函数中初始化。我发现在调用构造函数时可以省略特定的模板参数：主要编译器（VC、g++、clang）接受它。这看起来很奇怪，因为类模板本身不是类名：

$ cat template-base.cpp && g++ --pedantic -o template-base template-base.cpp  && ./template-base

template <int I>
struct T
{
        T(int) {}
};

struct DT: public T<1>
{
        // Note: T<1>(42) is possible but not necessary.
        // T<2>(42) is an error ("T<2> is not a base class", which is correct).
        DT(): T(42) {}
};

int main()
{
        DT dt;
}

（Johannes Schaub 回答了这个类似的问题，其中派生类本身也是一个模板。在这种情况下，模板参数是强制性的，即使它在那里同样可以推导出。）

为什么我可以在这里使用像类名这样的模板名称？T不是一个班！

Answer 1

这与注入的类名有关。当类模板用作基类时，该语言允许您使用模板的名称，就像您指定参数一样，因为它知道这些参数是什么。正在做

DT(): T(42) {}

扩展到

DT(): T<1>(42) {}

由编译器为您提供。

允许这样做的标准语言可以在[temp.local] 中找到