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

蕾欧娜

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

[size=1em][size=1em]  class : [7 E) C, z  I[size=1em]      InterfaceU1 4 o0 {0 T, j+ M$ G+ W) W  c[size=1em]  { . ~" U8 X) g3 s, @) N[size=1em]  public: [size=1em]      virtual void func1() = 0; [size=1em]  }   p# S5 L- n# D$ b0 W" W3 Y [size=1em]  class # r3 y& \8 N6 a[size=1em]      InterfaceU2 [size=1em]  { [size=1em]  public: [size=1em]      virtual void func2() = 0; [size=1em]  } % f8 K9 W, a) @% Y[size=1em]  class [size=1em]    Wrapper   ^. l  x! J9 x) O4 q0 S/ p$ d4 z! b# J[size=1em]  { / J/ _! h# O2 {) p( i  z8 e6 l[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; 6 U  e, |$ ]2 R) N4 f2 d[size=1em]      virtual InterfaceU2* getInterface2() = 0; ) q8 p; g# H4 ?& F1 D[size=1em]  } 0 R$ e  j( ~0 q$ u" b[size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 7 c. @  V6 `0 F* u[size=1em]  { [size=1em]  public: & ^0 u8 _/ m  Y! U[size=1em]      virtual InterfaceU1* getInterface1() ( ^, i8 a# h* @" b4 w[size=1em]      { [size=1em]          return this; - H3 s! R6 f$ r9 l: o[size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() * }" k. n% x# c# y8 [1 h[size=1em]      { 1 C% r  n/ M0 ]& Z9 @- v   K5 z5 _* o" j[size=1em]          return this; 6 I# n2 [) X, n7 k$ F( c& X' f) _[size=1em]     } [size=1em]     virtual void func1() [size=1em]     { 3 Q: R9 F2 U0 k5 Q% X6 Q[size=1em]         printf("%s", "func1"); 3 s, g' B, z* Y2 S& [" m$ C[size=1em]     } [size=1em]     virtual void func2() 2 W, R4 R, f" q[size=1em]     { [size=1em]        printf("%s", "func2"); 8 ]2 W, W: g9 O) n; A[size=1em]     } [size=1em] }

假设有如下代码：
8 I/ D# D& O) r* ][backcolor=white !important][size=1em]PHP code

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

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

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); ( M# H: l, z9 B# a$ R* C# F

4 S# y# q$ k2 l0 O
9 o# I; o  Y9 T( U! s7 [: E% g其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
$ w( V! d9 K. F6 S, N: \2 z9 l

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

[size=1em]1 [size=1em]2 [size=1em]3 9 ]6 d- a& k4 {6 `% I" ^$ Y4 f0 _

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); * j* P$ S) t  e: q: K[size=1em] pInterface1->func1(); 1 Y& G1 c% Q2 b2 K, b

, g$ f! O& m+ ^* G7 q
4 _& j: D; w6 T- ~0 u
& R( M1 K* x$ I
  y8 `" P2 j9 l6 V& F
              C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]         PHP code

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

[size=1em]1 ; }5 h6 c7 g4 H8 x& t! c [size=1em]2 + ~/ ?4 R% @3 g; Q& g [size=1em]3 & M5 ?8 V4 \4 Y# {" o [size=1em]4

[size=1em][size=1em]   9 {& P9 |% {* ^; V+ m, B[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 4 f" y2 z1 s" \8 v[size=1em]  vTable:InterfaceU1 |Base::func1()| % E' }9 G& _( u; `& x[size=1em]  vTable:InterfaceU2 |Base::func2()|

/ G2 \+ L9 z* l( C4 G  [9 D
' Y  M, |5 s. ?$ f
6 ?% z+ ^1 ?2 M( K  a
     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
. Q7 Q; d0 \' w( V5 V    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
' E. w+ J- k) O! L