C++ 中多继承情况下 如何确定某个类型的方法，在虚函数表中的位置？

蕾欧娜

[backcolor=white !important][size=1em]

[size=1em][size=1em]  class ; k, J2 I3 X% w4 J* R( |[size=1em]      InterfaceU1 [size=1em]  { [size=1em]  public: [size=1em]      virtual void func1() = 0; 5 k6 d% w+ M  j0 ]1 X7 r( e[size=1em]  } , X& w; n! _4 l! Z, U3 _6 f[size=1em]  class [size=1em]      InterfaceU2 / i4 S: W4 k) Z( x; R8 w- m6 L[size=1em]  { / I% c* w: b% N+ L+ U[size=1em]  public: % ?% H0 I8 ?% w& W8 n$ `8 g[size=1em]      virtual void func2() = 0; [size=1em]  } , z% G+ f1 f- \2 Z6 _2 R+ C8 q4 S2 {[size=1em]  class / I" @; l9 O- ^! }; M1 M[size=1em]    Wrapper [size=1em]  { / h  |; L: F8 X% A5 J[size=1em]  public: / U& Y+ C: B/ ]  E; K7 W+ C" v8 W[size=1em]      virtual InterfaceU1* getInterface1() = 0; / h  U6 S; K6 u* ?- P  |[size=1em]      virtual InterfaceU2* getInterface2() = 0; ; a& a* j0 _' u5 X[size=1em]  } - [0 ^0 M/ O. T4 j5 v. T , J" F3 q" W" D$ q; ], @$ \' k/ S/ L( _[size=1em]  class 5 T+ H  F. u. H: ?' n1 H[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 " n7 q. b1 M( O9 k- ~, p[size=1em]  { [size=1em]  public: 1 s, [4 e3 b; e; x" I0 z2 a5 S[size=1em]      virtual InterfaceU1* getInterface1() 0 J; o- t+ _. G  ]* J7 J( Z3 i4 U[size=1em]      { ; l8 y. i% x  w3 `! \7 K0 E[size=1em]          return this; [size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() . ]$ b( I+ c" t( V# b+ B9 _[size=1em]      { 8 Y$ @, f2 o- r4 b+ J- K . \# }" o& ~$ \) B& _5 n+ |9 k6 ~[size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() [size=1em]     { [size=1em]         printf("%s", "func1"); [size=1em]     } - E3 V4 W4 m% g2 O& v+ M$ x! \; g; d9 F 0 c! U% t9 I4 i3 k2 w, Q6 h[size=1em]     virtual void func2() [size=1em]     { [size=1em]        printf("%s", "func2"); [size=1em]     } ' s* {9 E& w- W, l  n  x" k7 X[size=1em] }

# R; a1 @, D! |0 |! y
& K1 T0 P8 Y3 }! S6 `6 R4 `
& u: Y  {1 R4 L假设有如下代码：
[backcolor=white !important][size=1em]PHP code
# A8 v4 {1 C2 N: N( G: J

[color=white !important][size=1em]?

$ D7 o$ f. O; ]8 x- V

[size=1em]1 [size=1em]2 7 R+ T- V: w& U7 e

[size=1em][size=1em]Base* pBase = new Base(); * ~3 q0 B; m% v. u- y' J[size=1em]pBase->getInterface1()->func1();

  @0 L) i4 |! |6 c6 ^3 Q
# e2 N2 X6 K+ \' @1 [/ Q7 W& F其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

[color=white !important][size=1em]?

8 o; l( d  p. v4 E; l) v; l, T: N

[size=1em]1 - _# z0 o9 z; z6 B9 j  c- t  y [size=1em]2 [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); 5 b% K  ~1 S% M/ H, d% I" b: w[size=1em] pInterface1->func1(); & u1 S6 I) L# q

' m2 C3 f1 Y9 d- L/ s! l


: t' J3 u. L% A# ?% f5 G. J              C++编译后，Base类的虚函数表如下：
# e8 s) I# Z( E6 Q* @& t[backcolor=white !important][size=1em]         PHP code
6 o5 y, B2 j* o: B: a% l

[color=white !important][size=1em]?

[size=1em]1 $ _" L, Z* J# ?# u$ Q: f, Z; y8 N [size=1em]2 [size=1em]3 [size=1em]4 8 C" {' Y5 }9 y& |; l

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 9 X7 q' H" x3 y: G! W; V% n" T' ^[size=1em]  vTable:InterfaceU1 |Base::func1()| ) x) ^% d7 G3 e& u* _( u9 W[size=1em]  vTable:InterfaceU2 |Base::func2()| 3 O* T8 L( [5 b9 F7 V) } + n' E4 u9 Q( u& |- c/ k  A

4 U* K2 y6 r8 n+ m% J8 ]
4 h4 b5 O6 h: Z3 r
7 w- \+ B$ v# l7 m2 ~; l  c
     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
% E& x% [7 B7 D9 g8 U; k    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
6 ~# `2 N5 t. q3 c) a5 o7 l    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

1 M2 Q* W6 ~/ \5 |+ Q