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

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

类层次:

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

相关文章:

  • 2021-10-25
  • 2021-08-31
  • 2022-12-23
  • 2022-12-23
  • 2022-12-23
  • 2021-10-31
  • 2021-04-06
猜你喜欢
  • 2021-09-24
  • 2021-07-13
  • 2022-12-23
  • 2021-08-24
  • 2021-06-17
  • 2022-12-23
相关资源
相似解决方案