Question

C ++标准说＆＃34; ...对虚函数调用的解释取决于调用它的对象的类型（动态类型）＆＃34; （第252页）然后

＆＃34;如果指针p的静态类型是指向B＆＃39;的指针指向类D的对象，派生自B，动态类型*p为D＆＃34; （第2页）。这里B是基类，D是派生类。

这似乎暗示（对我而言）如果我说

D d; 
B *p = new B(); 
*p = d;

然后，如果f()中的B是虚拟的，p->f()应该调用D::f()，这是错误的。我想我不清楚＆＃34;指向一个类的对象......＆＃34;的含义。我知道，如果我说p = &d，那么会调用D::f()，但我想知道为什么上面的错误。

Answer 1

D d; 
B *p = new B(); 
*p = d;

最后一行将d分配给*p。这意味着它将使用D赋值运算符复制B实例，对象将为sliced。在这种情况下，*p的动态类型仍为 B。

p = &d;

将指向D对象的指针指定给p。在这种情况下不会发生切片，因为您只是分配指针，而不是对象本身。在这种情况下，*p的动态类型为D。

Answer 2

答案的关键在于，在C ++中，对象的动态类型永远不会更改。您正在考虑将赋值表达式*p = d视为以*p完全替换对象d的对象。但事实并非如此。在C ++中，对象永远不能真正替换另一个对象。

由于涉及类类型，*p = d只使用参数B调用类*p的赋值运算符（D的静态类型）。 C ++中的对象只能被操作，它不能真正被替换。＆＃34;

当然，我们谈论复制对象，分配它们等等。但这只是为了方便，因为大多数时候，非常精确的语义并不重要和考虑=将一个对象分配给另一个对象很简单。但在内心深处，它既可以对目标对象进行函数调用（对于类类型），也可以将某些位的值复制到目标对象的空间（对于基本类型）。目标对象本身始终存在。

Answer 3

正如 TartanLlama 所述，在第三行中，您错误地＆＃34;＆＃34;错误地＆＃34;将d分配给P指向的对象，从而我们称之为切片。来自 Professional C ++ ，

...在向上转换时，使用指针或超类的引用来避免切片

D d; 
B *p = new B(); 
*p = d;

这意味着正确的代码会根据下面的代码进行评估

D d;
B *p = new B();
p = &d;

OR

D d;
B *p = new B();
p = static_cast<B*>(&d);

因此， p （* p）指向的对象的动态类型仍然是 D 。这允许您通过向上转换或向下转换指向子类的指针而不是对象来来回切换继承层次结构。