C++多重继承的多态 - Thunk

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

在为line 9实现多态的时候，b指向的不是C对象的开头，而是其subobject B的开头。

因此在调用foo时，作为参数的this指针需要被调整，以指向真正的C对象的开始。

在《Inside the C++ Object Model》一书中，Lippman提到了两种方案，一种是在虚函数表中不光存放真正调用函数的地址，还存上需要对this指针进行调整的偏移，在调用时，直接给this指针加上偏移；另一种方法就是使用thunk，在thunk中调整this指针，再对函数进行调用。

我不能明白为什么这个偏移不能在编译期决定这个问题上。这个问题应该非常常识，但是我好像钻牛角尖了。。。想了想，想通了。

以下两篇文章对thunk说得非常详细：

C++ Tips: Adjustor thunk: what is it, why and how it works

Thunk (programming)

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