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

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 回答了 this similar question，其中派生类本身也是一个模板。在这种情况下，模板参数是强制性的，即使它在那里同样可以推导出来。)

为什么这里可以使用类名之类的模板名呢？ T 不是类!

Answer 1

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

DT(): T(42) {}

扩展为

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

由编译器为您提供。

---

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