c++ - 派生类的切片是如何发生的？

Question

我无法理解切片是如何发生的？例如，在这段代码中:

class A {
public:
  virtual h() {
    cout << "type A" << endl;
  }
};

class B : public A {
public:
  virtual h() override {
    cout << "type B" << endl;
  }
};

void f(A a) {
  a.h();
}

void g(A& a) {
  a.h();
}

int main() {
  A a1 = B(); // a1 is A and doesn't recognize any B properties
  A *a = new B();
  f(*a);
  g(*a);
}

我注意到:

1. 变量 a1 不知道它是 B，但变量 a 知道。我指的是发生这种情况是因为在变量 a1 中，对 B 的赋值是按值进行的，与变量 a 不同，我在其中创建了一个指向 B 的指针。

2. 当我将变量 a 传递给不同的函数时会发生同样的事情 - 当我按值传递时，它认为它是 A，但当我按引用传递时，它认为它是 B。

如果有人能给我更广泛和更深入的解释，我会很高兴。提前致谢!

Answer 1

1. variable a1 doens't know it's a B

更正确:变量 a1 被声明为 A，所以它是 A。它不是 B，也从来不是 B。这与变量“知道”什么无关；这是关于变量的类型。 a1 是通过“切片”基本子对象的拷贝从 B 初始化的。

I would be happy if anyone could give me more extensive and deeper explanation.

间接是运行时多态性所必需的。 A 类型的对象始终是 A 类型，没有其他类型。这就是语言中类型的简单方式。原因之一是编译器必须知道对象需要多少内存。如果编译器为 A 保留内存，那么一个可能更大的派生实例如何适合保留内存？

但是指向 A 的指针(或引用)可以指向不同的 A 对象，也可以指向派生自 A 的类的基子对象。完整对象有多大并不重要, 指针无论如何都可以指向对象的一部分，这不会影响指针本身的大小。

how slicing of derived classes occurs?

只要将派生对象转换为基类型，就会发生切片。转换复制基类子对象。请注意，当您将派生值转换为对基的引用时，不会发生切片 - 除非您使用该引用来初始化基类型的对象。