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)