C++ 初始值设定项列表成员仍在调用默认构造函数？

Question

我在初始化我正在处理的类的 shared_ptr 成员时遇到问题。

我有两个班级，A 和 B：

class A {
  int _x;
  int _y;

  public:
    A(int, int);
};

A::A(int x, int y) {
  _x = x;
  _y = y;
}

class B : public A {
  std::shared_ptr<A> _a;

  public:
    B(std::shared_ptr<A>);
};

B::B(std::shared_ptr<A> a) : _a(a) {}

int main() {
  std::shared_ptr<A> a = std::make_shared<A>(1, 2);

  B b(a);

  return 0;
}

我只想让B 类将std::shared_ptr 保存到A 类的实例中。 但是，我在B 的构造函数中收到错误no matching function for call to A::A()。

我很困惑，因为我认为初始化列表的目的是避免隐式调用成员变量的默认构造函数，但它似乎仍在尝试调用 A 的默认构造函数。

感谢任何解释。

编辑：经过更多的混乱，如果B 没有从A 继承，它似乎可以正确遵守。仍然不确定为什么从A 继承会导致A 的默认构造函数被B 的构造函数调用。

Answer 1

由于B 派生自A，因此每个B 都是A。这意味着要构造一个B，您还必须构造一个A。但是，你不告诉B的构造函数如何构造A，所以使用默认构造函数。

如果您希望 B 派生自 A 并且仅持有 shared_ptr 到 A，则 A 不得做任何您不希望 B 做的事情。这里，A 有 _x 和 _y。

不清楚你真正想要什么，但也许你想要一些其他基类，A 和 B 都派生自它，只有 A 和 B 应该有。

C++ 中继承的经典示例类似于 Instrument 是具有 Play 等成员的基类，以及 Trumpet 和 Clarinet 等派生类具有使某些特定乐器成为小号的东西。只有Trumpets 和Clarinets 的共同点才应该在Instrument 中。

Answer 2

当您调用B b(a); 时，您使用构造函数B::B(std::shared_ptr<A> a) 构造了一个B 对象。

问题在于你对这个构造函数的定义。 B 继承自 A，这意味着 B 不仅仅是一个 B，而是实际上是一个 A 和 B 堆叠在一起。 A 是基类，所以它在底部。因此，当您尝试构造B 对象时，代码必须首先在底部/底部构造A 对象，以形成B 对象存在的基础。这意味着您实际上必须告诉代码如何构造A 对象。

因为您为 A 定义了一个带有两个 int 变量的构造函数，所以编译器不会为 A 生成默认构造函数。因此，您必须明确写出应该如何在B 中构造A。构造A 对象可以在B 对象的构造函数的初始化列表中完成：

B::B(std::shared_ptr<A> a) : A(0,0), _a(a) {}