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

问题描述

我有一个非模板类，它是从特定模板实例派生的。通常，必须在派生类的构造函数中初始化基类。我发现可以在调用构造函数时省略特定的模板参数：主要编译器（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不是课程！

解决方法

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

DT(): T(42) {}

得到扩展到

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

由编译器为您提供。

---

可以在[temp.local]

中找到允许此操作的标准语言。