我正在将一些代码从MSVC（没有permissive-）移植到linux，并且了解到，如果您在类的初始化程序列表中调用模板基类的构造函数，则必须指定所有模板参数，否则会出错。似乎有点多余，因为如果您在重新输入模板参数时犯了一个错误，那就是一个硬错误：
错误：类型“ Base <int，true>”不是“派生”的直接或虚拟基础
完整的代码在这里：
template <typename T, bool has_x>
struct Base
{
Base(T t): t_(t){
}
T t_=0;
};
template <typename T>
class Derived : public Base<T, false>
{
public:
// : Base<T, true> is hard error
Derived(const T& t) : Base<T, false>(t) {}
};
int main()
{
Derived d(47);
}
是否有很强的理由，或者只是标准化过程从未花时间处理这种用例的特殊情况？
您只需在Derived模板为且基础类型取决于模板参数的情况下执行此操作。
例如，它将编译：
template <typename T>
class Derived : public Base<int, false>
{
public:
Derived(const T& t) : Base(t) {}
};
据我所知，这里（在成员初始值设定项列表中）Base实际上是的注入类名称Base<...>，它像其他所有内容一样从其继承。
并且，如果基类的类型确实取决于模板参数，则其继承的注入类名称将变得不可访问（至少直接访问），就像从基类继承的任何其他成员一样。
对于成员变量/函数，您需要添加对其this->进行访问，但是对于类型成员，则需要Derived::：
template <typename T>
class Derived : public Base<T, false>
{
public:
Derived(const T& t) : Derived::Base(t) {}
};
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句