复制构造函数的 2 种不同类型的构造函数调用

Question

考虑下面的示例代码：

#include <iostream>

using namespace std;

class core
{
   public:
      core(const core& obj)
      {
         cout << "core copy ctor called\n";
      }
      core()
      {
         cout << "core default ctor called\n";
      }
};

class sample : public core
{
   public:
      sample()
      {
         cout << "sample default ctor called\n";
      }
#if 0
      sample(const sample& obj)
      {
         cout << "sample copy ctor called\n";
      }
#endif
};

int main()
{
   sample s1;
   sample s2 = s1; //Line1
   return 0;
}

Type1：未为类sample显式声明复制构造函数

（Type1如上面的代码所示。然后类sample的复制构造函数由编译器隐式生成）。 当执行Line1语句时，首先调用class core的复制构造函数，然后调用class example的复制构造函数。

类型2：复制为类示例显式定义的构造函数

当执行Line1语句时，首先调用class core的默认构造函数，然后调用class example的复制构造函数。

问题：

为什么 Type1 和 Type2 中提到的复制构造函数的行为存在差异？

Answer 1

因为您为 sample 显式定义的复制构造函数不会要求调用 core 的复制构造函数。如果你想实现这一点，你必须编写 : core(obj) 。

换句话说，当您编写显式复制构造函数时，您将负责 sample 的复制构造，包括其 core 子对象。通过按照您所做的方式编写它，您选择不使用 obj 初始化 core 子对象。由于您没有说明您希望如何初始化它，编译器仅使用 core 的默认构造函数，因此您概述了第二种情况的行为。

相比之下，在第一种情况下，编译器为 sample 生成的默认复制构造函数确实要求使用 core 初始化 core 子对象> 的复制构造函数，因此观察到的行为。