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

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

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

类层次：
1classA {...}

2

3classB {...}

4

5classC:publicA,publicB {...}

6

7B*b=newC;

8

9b->foo();//virtual function
在这种情况下，是需要在执行期调整作为参数的this指针的，以例其指向真正的C对象，也就是前文提到的两种方法。

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

不需要调整this指针的情况
1B*b=newB;

2

3b->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

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍