6

我知道默认构造函数不是继承的，如n3337中所述。

那里有一个例子：

struct B2 {
  B2(int = 13, int = 42);
};

struct D2 : B2 {
  using B2::B2;
};

有很好的解释：

D2for中的候选继承构造函数集B2是

...
—B2(int = 13, int = 42)
—B2(int = 13)
—B2()

最重要的是：

中存在的构造函数集D2是
—D2()，隐式声明的默认构造函数，不是继承的

对我来说，这个例子并没有显示出差异，从某种意义上说，即使这个构造函数是被继承的——它的行为与隐式声明的默认构造函数并没有什么不同。

我需要一个示例，以让熟悉 C++03 但想学习 C++11 的观众易于理解。

[更新]
所有答案（包括我自己的）都是“如果默认 c-tor 被继承，那么示例将编译/不编译”。

我更喜欢结果（可观察到的行为）与其他情况不同的答案。

4

3 回答 3

3

一个可能的区别：具有默认构造函数的类的多构造函数继承。例如：

struct A { A(int=0); };
struct B { B(double=3.14); };
struct C : A, B {
  using A::A;
  using B::B;
};

C c;

如果继承了默认构造函数，C则会从两者中继承一个A和B，从而导致歧义。

我想不出多构造函数继承的用例，所以这可能不是您正在寻找的完美示例，但确实是这样。

于 2014-04-23T15:42:47.537 回答
2

考虑：

struct foo
{
    foo() {}
    foo(int) {}
};

struct bar : foo
{
    using foo::foo;
};

int main()
{
    bar b;
}

编译：由于bar没有用户声明的构造函数，默认构造函数将被隐式声明。

struct foo
{
    foo() {}
    foo(int) {}
};

struct bar : foo
{
    using foo::foo;
    bar(double) {}
};

int main()
{
    bar b;
}

这不编译。默认构造函数不是继承的，也不是隐式声明的，因为有bar(double)构造函数。

于 2014-04-23T16:38:21.137 回答
1

下面是一个例子，它可以从继承构造函数的以下特性中产生：

12.9 继承构造函数
[...]
4) 如此声明的构造函数与 X 中相应的构造函数具有相同的访问权限。

所以我的建议是在基础中保护默认构造函数：

class Base {
protected:
    Base(int) {}
    Base() = default;
};

如果此构造函数是派生的，则无法实例化派生类，因为派生构造函数将具有受保护的访问权限。如果不是派生的 - 那么默认隐式声明的构造函数具有公共访问权限：

struct Derived : Base {
    using Base::Base;
};

int main() {
    Derived d1{};  // not inherited, default constructor is public
    Derived d2{1}; // not compiling since this c-tor is inherited, thus protected
}
于 2014-04-23T19:38:13.323 回答