为什么我需要在成员初始值设定项列表中重复我的基类的模板参数？

我将一些代码从MSVC(没有许可-)移植到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) {}
};