派生类：在初始化列表中使用基类成员

Posted 2023-02-22

【中文标题】派生类：在初始化列表中使用基类成员

【英文标题】：Derived class: using Base class member in initializer list

【发布时间】：2015-09-10 11:04:01

【问题描述】：

代码的第一个sn-p：

struct Base

    int x;
;

struct Derived :
    Base

    Derived()
        : yx
    
    

    int y;
;

int main()

    Derived d;

编译正常：

gcc (6.0.0) clang (3.8.0) vc++（Visual Studio 2013 更新 4，18.00.31101）

第二个sn-p代码：

#include <type_traits>

template<int N>
struct Base

    int x = N;
;

static const int When0 = -1;

template<int N>
struct Derived :
    std::conditional<N == 0,
        Base<When0>,
        Base<N>>::type

    Derived()
        : yx
    
    

    int y;
;

int main()

    Derived<0> d;

编译正常：

vc++

不会编译：

gcc clang

要修复 gcc 和 clang，我需要指定 x 的类：

#include <type_traits>

template<int N>
struct Base

    int x = N;
;

static const int When0 = -1;

template<int N>
struct Derived :
    std::conditional<N == 0,
        Base<When0>,
        Base<N>>::type

    using base_t = typename std::conditional<N == 0,
        Base<When0>,
        Base<N>>::type;

    Derived()
        : ybase_t::x
    
    

    int y;
;

int main()

    Derived<0> d;

看（vc也会编译）：

clang gcc

问题：哪个编译器是正确的？对此有何标准？

谢谢

【问题讨论】：

在 Visual Studio 中禁用“语言扩展”(/Za) 会使其拒绝您的第二个 sn-p。经常使用的经验法则：当有疑问时，VC++ 是错误的。

【参考方案1】：

这是从模板派生类访问基类（非依赖）成员的标准问题。见this FAQ entry。

将其更改为简单的 this->x 也可以，因此 VC++ 在这里是错误的。