C++ 0x中

Question

繼承構造可以說我有什麼我們希望成爲下一個C++標準如下代碼：

int f(int x) 
{ 
    std::cout << x; 
    return x * x; 
} 

struct A 
{ 
    A(int x) : m_x(x) {} 
    int m_x; 
}; 

struct B : A 
{ 
    using A::A; 
    B() : m_y(f(m_x)) {} 
    int m_y; 
}; 

int main() 
{ 
    B(5); 
} 

這會調用B的默認構造函數，並打印出5，並設置m_y = 25？或者B的默認構造函數沒有運行，並且m_y未初始化？

如果是後者，不調用B默認構造函數的基本原理是什麼？很明顯，A（int）B只繼承初始化A，並使B處於不確定狀態。爲什麼C++會選擇未定義的行爲而不是簡單地調用B（）的默認構造函數？它在很大程度上破壞了繼承構造函數的功能。

編輯：

或許這是應該被允許：

using A::A : m_y(...) { std::cout << "constructing..." << std::endl; ...; } 

Answer 1

using A::A;隱式聲明的派生類B(int)。這就對了。

您的程序的其餘部分不應按預期工作。因爲您正在調用B(int)和B(5)，並且m_y未被初始化。

請參閱從Bjarne的Stroustrup的網站這個例子：

struct B1 { 
    B1(int) { } 
}; 

struct D1 : B1 { 
    using B1::B1; // implicitly declares D1(int) 
    int x; 
}; 

void test() 
{ 
    D1 d(6); // Oops: d.x is not initialized 
    D1 e;  // error: D1 has no default constructor 
} 

http://www2.research.att.com/~bs/C++0xFAQ.html#inheriting

從相同的鏈接又如：

struct D1 : B1 { 
     using B1::B1; // implicitly declares D1(int) 
     int x{0}; // note: x is initialized 
    }; 

    void test() 
    { 
     D1 d(6); // d.x is zero 
    }