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

蕾欧娜

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

[size=1em][size=1em]  class 1 }/ h; A" d6 W% ?+ h; s5 Y7 P3 i[size=1em]      InterfaceU1 7 G4 X* W. K- f) Q9 J# a[size=1em]  { : i/ S5 ~% e/ E0 C7 L/ z+ r& n) }! R[size=1em]  public: * D, g4 J5 M* Y1 Q1 b, u" q[size=1em]      virtual void func1() = 0; & D1 D7 ]  J# r' ?) Q! e[size=1em]  } " i1 x7 j, t) L# q+ M ' g3 b( `: F) N9 X[size=1em]  class - `# U+ x1 g/ q[size=1em]      InterfaceU2 [size=1em]  { [size=1em]  public: [size=1em]      virtual void func2() = 0; [size=1em]  } 9 @: p' r  G" Z, f' U& s9 X[size=1em]  class 5 P3 V) I9 Y  H7 Z9 O4 x[size=1em]    Wrapper ; x3 O, M' G* x# t[size=1em]  { + X! o9 r2 Y; U9 ^[size=1em]  public: 9 E3 Z/ m8 Q) S! t& p" Y" v7 o[size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; 9 l- l0 P2 f6 A7 Z8 ?0 {4 _[size=1em]  } [size=1em]  class 7 W# G' U; c+ W* S! W# X[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { $ `1 O+ L2 X# e% U' c" x[size=1em]  public: - z% C% o0 H2 `( b) `6 k/ }[size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { ' Q) B5 d4 ]* E7 z3 f6 W% [+ K) {[size=1em]          return this; [size=1em]      } 5 T# J0 w+ C/ W. J[size=1em]      virtual InterfaceU2* getInterface2() ! \1 V/ z( I: A, r- P[size=1em]      { [size=1em]          return this; 3 L1 k* Q5 C6 C/ q[size=1em]     } [size=1em]     virtual void func1() [size=1em]     { [size=1em]         printf("%s", "func1"); ' x" T4 @1 u# h: L7 J$ T2 ][size=1em]     } [size=1em]     virtual void func2() 2 M/ d4 U/ P% ?0 J[size=1em]     { $ K' _$ }" H. r& C7 U[size=1em]        printf("%s", "func2"); [size=1em]     } [size=1em] } : n  _3 z7 {# Q3 k6 T: f' F- h: q$ V

- E9 Y3 I# B: v4 M
假设有如下代码：
/ K% W( f* r" t1 m5 W[backcolor=white !important][size=1em]PHP code
+ D$ @: w2 G. M; a

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

[size=1em]1 [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); ; @. U' r( _$ E, ], W[size=1em]pBase->getInterface1()->func1();

2 K. y  M* N9 c0 G
其实以上代码等于：
% R& O7 i( z: J  z& U2 `[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 . I* \4 L7 S5 I% v  s [size=1em]3 4 w2 b; V% r4 Y

[size=1em][size=1em] Base* pBase = new Base(); * B6 C" g, T, P, [- e9 z  T4 c: f[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1();

* Z& N6 `( b, B  f: b


5 ]' H& x% Q+ X  p/ X              C++编译后，Base类的虚函数表如下：
) a) Y' a& v% h& ?* Y2 @( m" C[backcolor=white !important][size=1em]         PHP code

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

; e% V; W7 E; M1 i1 K

[size=1em]1 , Q2 n7 {9 p3 ^& d0 I [size=1em]2 [size=1em]3 [size=1em]4 1 O! H1 P# j. {/ V" v, ?

[size=1em][size=1em]   2 w  U; }5 A3 |  A& Q8 J[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()| + U* z6 C4 c/ P( k* s & z0 p; V" D- D9 V" T2 {

3 e$ O: @" ?# \' x5 j
- o" H6 R4 W# c( {' t; k

     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
7 T/ Z0 h% Z: {/ N' l& r0 u    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）