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
    }

在C ++ 0x中继承构造函数

1 个答案: