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

Why do I need to repeat template arguments of my base class in member initalizer list?(为什么我需要在成员初始值设定项列表中重复我的基类的模板参数？)

问题描述

我将一些代码从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) {}
};

这篇关于为什么我需要在成员初始值设定项列表中重复我的基类的模板参数？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！