在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
    }