为什么多重继承中需要在"执行期"调整this指针

这是针对前文的问题的回答。

本文强调的是为什么在“执行期”调整，而不是为什么要调整。

类层次：

class A {...}
2  
3  class B {...}
4 
5  class C: public A, public B {...}
6  
7 B* b = new C;
8  
9 b->foo(); //virtual function

在这种情况下，是需要在执行期调整作为参数的this指针的，以例其指向真正的C对象，也就是前文提到的两种方法。

为什么编译期不能决定this指针的偏移呢？因为编译期无法确定b指向的真正对象。

不需要调整this指针的情况

B *b = new B;
2 
3 b->foo();

在这种情况下，是不需要调整作为参数的this指针的。

因此，在编译期，编译器不知道b究竟指向的是哪个对象，所以对指针的调整必须要延后到执行期，因此就必须在virtual function table上想办法了。

update 2011.10.20:

不能编译期调整this指针是指不能将b->foo()转化为这样的代码：

(*b->vptr[1])(b+4)

红色部分是不对的，如前所述，有不需要调整this指针的情况。

实际上thunk内的偏移还是在编译期就能确定的。

参考：

《Inside the C++ Object Model》中文版 p161:

“然而上述的offset加法却不能够在编译时期直接设定，因为pbase2所指的真正对象只有在执行期才能确定。”