派生类对象是否包含基类对象？

Question

请考虑以下示例代码：

#include <iostream>

using namespace std;

class base
{
   public:
      base()
      {
         cout << "ctor in base class\n";
      }
};

class derived1 : public base
{
   public:
      derived1()
      {
         cout <<"ctor in derived class\n";
      }
};

int main()
{
   derived1 d1obj;
   return 0;
}

问题

1. 创建d1obj时， d1obj派生顺序调用构造函数：首先调用基类构造函数，然后再调用派生类构造函数。 这样做是由于以下原因： In-order to construct the derived class object the base class object needs to be constructed first ？

2. d1obj是否包含基类对象？

我要再增加一个问题

3）创建d1obj时，控件首先到达基类构造函数，然后到达派生类构造函数？ 还是相反：它首先到达派生类的构造函数，发现它具有基类，因此控件转到基类中的构造函数？

Answer 1

1）是的，首先构造基，然后构造非静态数据成员，然后再调用派生类的构造函数。 原因是此类的构造函数中的代码可以查看和使用完全构造的基础。

2）是的。 您可以从字面上完全理解：分配给派生类对象的内存中有一个称为“基类子对象”的区域。 派生类对象以与包含任何非静态数据成员的成员子对象完全相同的方式“包含”基类子对象。 但实际上，问题中给出的示例恰好是一种特殊情况：“空基类优化”。 即使base类型的完整对象绝不为零，该基类子对象也允许为零。

但是，这种遏制是低级的事情。 确实有人在说概念上的基础不同于成员，并且语言的语法和语义对它们的区别也不同，即使子对象本身只是类布局的一部分。

3）这是一个实现细节。 基类构造函数主体中的代码在派生类构造函数主体中的代码之前执行，实际上，派生类构造函数然后在不可见的编译器生成的try / catch块中执行，以确保是否抛出，基类被破坏。 但是由编译器决定如何根据发出的代码中的函数入口点实际执行的操作来实现此目的。

当一个类具有虚拟基数时，构造函数通常会发出两个不同的函数体-一个用于此类是最派生的类型时使用，另一个用于该类本身是基类时使用。 原因是虚拟基类由派生最多的类构造，以确保在共享它们时仅构造一次。 因此，构造函数的第一个版本将调用所有基类的构造函数，而第二个版本将仅调用非虚拟基类的构造函数。

编译器总是“知道”该类具有的基础，因为您只能构造一个完整类型的对象，这意味着编译器可以看到该类的定义，并指定了基础。 因此，在输入构造函数时，毫无疑问只能“发现它具有基类”-编译器知道它具有基类，并且如果对基类构造函数的调用位于派生类构造函数代码中，则只是为了方便编译器。 它可以在构造对象的每个位置发出对基类构造函数的调用，就此而言，在派生类构造函数可以并且内联的情况下，这是最终的效果。

Answer 2

1. 是。 想象一下，在派生类的构造函数中，您想使用基类的某些成员。 因此，它们需要初始化。 因此，首先调用基类构造函数是有意义的。

2. d1obj 是基类对象。 那就是继承。 可以说，它包含基类的对象。 在内存方面，该对象的第一部分将对应于基对象（在你的榜样，你有没有虚函数，如果你这样做，你就会有一个指针vftable的derived1第一，那么你的基类成员）和后属于该会员derived1 。

Answer 3

是的，是的。

---

由于您的编辑，广告3）派生类的构造函数调用基类构造函数的责任的第一次行动; 然后是所有成员对象的构造函数，最后执行构造函数主体。

销毁的工作方式与之相反：首先执行销毁器主体，然后销毁成员对象（按销毁对象的相反顺序），最后调用基础子对象销毁器（这就是为什么在基类中始终需要可访问的销毁器，即使是纯虚拟的）。

Answer 4

1-是的。 这样是合乎逻辑的。

类型派生1的对象是基本类型的特殊对象，这意味着，首先，它们是基本类型的对象。 这是首先构造的，然后“ derived1”将其“特殊性”添加到对象。

2--包含不是一个问题，它是继承。 请参阅上面的段落，以更好地理解此答案。

Answer 5

1. 是

2. 好吧，从概念上讲，不是真的。 d1obj包含base实例将要执行的所有数据成员，并响应该实例将要执行的所有成员函数，但不“包含” base实例：您不能说d1obj.base.func()例如。 例如，如果您重载了父声明的方法，则可以调用d1obj.base::func()以获得其实现，而不仅仅是调用d1obj->func() 。

虽然说您包含父级的所有数据和方法而没有概念性地包含父级的实例似乎有点费劲，但这是一个重要的区别，因为您通常可以获得直接继承的许多好处。通过创建一个包含“父”类作为成员数据的类，如下所示：

class derived2 /*no parent listed */ {
public:

   derived2() :_b() {}

private:
    base _b;
}

这样的构造使您可以将base已经实现的方法用作自己方法的实现细节，而不必暴露任何base声明为public但又不想授予访问权限的方法。 一个重要的例子是stack ，它可以包含另一个STL容器的实例（例如vector ， deque或list ），然后使用其back()实现top() ， push_back()用于push()和pop_back()对于pop() ，所有这些都无需向用户公开原始方法。