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

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

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

类层次：

1 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指针的情况

1 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所指的真正对象只有在执行期才能确定。”

转载于:https://www.cnblogs.com/lbsx/archive/2011/04/18/2020009.html