GCC 11中C++可变参数模板继承失效但Visual Studio可正常运行

问题原因 #

这段代码在G11下报错是因为模板依赖基类的成员查找规则：派生类D<T...>继承的Base<T...>是依赖于模板参数的基类（称为“依赖基类”）。在模板定义阶段，编译器无法确定m_i是依赖基类的成员（基类的具体类型要到模板实例化时才确定），按照C标准，编译器不会自动在依赖基类中查找未限定的名称m_i，因此抛出“未声明的标识符”错误。

而MSVC对该规则做了非标准扩展，允许直接查找依赖基类的成员，所以能正常编译。

解决方案 #

以下三种修改方式均符合C标准，可在G和MSVC中正常编译：

方式1：用this->限定访问 #

在派生类构造函数中，通过this->明确指向基类成员：

template <typename... T>
class D : public Base<T...>
{
public:
    D()
    {
        this->m_i = 10;
    }
};

this的类型依赖于模板参数，编译器会推迟成员查找至模板实例化阶段，此时可确定m_i来自基类。

方式2：直接通过基类名限定 #

明确指定成员所属的基类：

template <typename... T>
class D : public Base<T...>
{
public:
    D()
    {
        Base<T...>::m_i = 10;
    }
};

这种方式直接告知编译器成员的来源，规避依赖查找的歧义。

方式3：添加using声明引入成员 #

在派生类中引入基类成员到当前作用域：

template <typename... T>
class D : public Base<T...>
{
    using Base<T...>::m_i; // 将基类成员纳入当前作用域
public:
    D()
    {
        m_i = 10;
    }
};

通过using声明后，可直接使用m_i访问基类成员。

内容的提问来源于stack exchange，提问作者Daniil