我有一个从特定模板实例派生的非模板类。通常,基类必须在派生类的构造函数中初始化。我发现调用构造函数时可以省略特定的模板参数:主要编译器(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] 中找到允许这样做的标准语言
关于c++ - 初始化作为模板实例的基类不需要模板参数吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/63924075/