, что делает компилятор делать, когда новый объект и присвоить адрес созданного объекта его базового класса указателю

Question

Пример 3: (страница 377)

class A {virtual void f();}; 
class B {virtual void f(); virtual void g();}; 
class C: A, B {void f();}; 
A* pa = new C; 
B* pb = new C; 
C* pc = new C; 
pa->f(); 
pb->f(); 
pc->f(); 
pc->g() 

(1) В Multiple inheritance for C++, Бьярне писал: О запись в C::f, указатель this должен указывать на начало объекта C (а не на часть B). Однако во время компиляции не известно, что B, на которое указывает pb, является частью C, поэтому компилятор не может вычитать константу delta(B).

Почему компилятор не знает, что B указал на pb является частью C во время компиляции? Основываясь на моем понимании, B, на который указывает pb, определенно входит в состав C, так как мы new C и C наследуем от B!

Что относительно B* pb = new B;? знает ли компилятор B, на который указывает pb - это отдельный объект?

Answer 1

Давайте сделаем несколько незначительных изменений в код:

struct A {virtual void f() {}}; 
struct B {virtual void f() {} virtual void g() {}}; 

void foo(B* bp) 
{ 
    bp->f(); 
} 

В вызове выше, нет никакого способа узнать, какой подтип Bbp указывает. Это может быть C, D или что-то еще. Если вы перейдете на вызов, вы узнаете, какой подтип Bbp указывает на.

struct C : A, B {void f() {}}; 
struct D : B {void f() {}}; 

int main() 
{ 
    B* pb1 = new C; 
    B* pb2 = new D; 

    foo(pb1); 
    foo(pb2); 
}