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说得非常详细: