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

Question

的代码首先片段：

struct Base 
{ 
    int x{}; 
}; 

struct Derived : 
    Base 
{ 
    Derived() 
     : y{x} 
    { 
    } 

    int y; 
}; 

int main() 
{ 
    Derived d; 
} 

上编译罚款：

• gcc（6.0.0）
• clang（3.8.0） （Visual Studio 2013 Update 4,18.00.31101）

的代码片段二：

#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() 
     : y{x} 
    { 
    } 

    int y; 
}; 

int main() 
{ 
    Derived<0> d; 
} 

编译精细：

• vc++

不会编译于：

• gcc
• clang

要解决gcc和铛，我需要指定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() 
     : y{base_t::x} 
    { 
    } 

    int y; 
}; 

int main() 
{ 
    Derived<0> d; 
} 

见（VC编译会太）：

• clang
• gcc

问题：哪个编译器是正确的？什么标准说这个？

由于

Answer 1

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

更改为简单this->x也适用，所以VC++在这里是错误的。