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

蕾欧娜

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

[size=1em][size=1em]  class 4 p' I; J! @+ c) g) W5 |[size=1em]      InterfaceU1 [size=1em]  { [size=1em]  public: % M% c2 R1 ^$ D9 ]  o& y! H[size=1em]      virtual void func1() = 0; $ D8 _0 q0 P8 b) o[size=1em]  } , T7 r& V5 ~2 w9 t7 g* X# C[size=1em]  class ) c) M- \/ @9 w4 k, B" }[size=1em]      InterfaceU2 [size=1em]  { [size=1em]  public: # c3 H# Q& C9 ~4 Y9 z[size=1em]      virtual void func2() = 0; [size=1em]  } 4 A% d0 `2 T9 {5 l4 N . f4 X, e4 C5 B1 r. B% k[size=1em]  class [size=1em]    Wrapper [size=1em]  { , L% L3 O& R# P7 ?+ ]& }% @" \% ~[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; + L3 @6 g2 X9 a* t% L[size=1em]      virtual InterfaceU2* getInterface2() = 0;   a. d1 Y5 w; f4 L3 [' p4 p[size=1em]  } 7 a9 d4 |# E4 Y% D# S[size=1em]  class ) B& @! `( |. @[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 , U$ `( j  q8 v[size=1em]  { [size=1em]  public: 3 n/ R' @1 R0 V! v2 f# |! S8 ^[size=1em]      virtual InterfaceU1* getInterface1() : [. V- {) m3 Z[size=1em]      { [size=1em]          return this; [size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() & F# Q; Q* W3 H6 S+ p+ L5 J[size=1em]      { . M8 A: {7 e3 O [size=1em]          return this; 8 S' d" N6 E8 ^( w2 X[size=1em]     } & S/ x) _$ O0 Z[size=1em]     virtual void func1() 5 s% K0 Y. N, n. j7 T- d[size=1em]     { . F1 t7 {) u6 |7 L: D% P8 |# o[size=1em]         printf("%s", "func1"); 6 _; {( ~* q3 |2 T[size=1em]     } [size=1em]     virtual void func2() [size=1em]     { - I  ]1 z) A+ F) Z[size=1em]        printf("%s", "func2"); [size=1em]     } [size=1em] } 4 V1 g- K+ U4 l) N  f  @( l& D

3 Z  K- }. w- E0 z& ^! L/ m

假设有如下代码：
7 R+ P9 a+ M! V[backcolor=white !important][size=1em]PHP code
2 R/ o& x8 K. i4 d. L- g

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

; z/ I% o; h+ L0 [9 s2 W

[size=1em]1 . A* Y1 t$ K/ f( [& Q [size=1em]2 ; q- y  B* I" e, D' c# g. l

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); 9 B2 a; Y6 S5 D: X2 i& ], N" D9 L

3 {3 S0 k/ L: x6 `
& Q: r: I. r; z" I9 @1 V
其实以上代码等于：
0 o" y# B0 v# G$ z2 O5 I[backcolor=white !important][size=1em]PHP code
0 q" p$ x9 R( Y! j

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

+ u6 m3 X* b* F& B5 h' L

[size=1em]1 ; X& I" c# W# O [size=1em]2 8 U$ L8 _6 ~5 O, U8 X( s; E- q1 m" Z [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); % h9 z. ]. ?7 ]* P; s2 s8 }" e[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1(); - G0 r/ S( {! y7 |" C. M

+ G; |# F8 }6 _) b# a8 R0 r' i


              C++编译后，Base类的虚函数表如下：
( X8 ^1 }% V& G$ {. N7 y[backcolor=white !important][size=1em]         PHP code

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

[size=1em]1 [size=1em]2 3 M" P+ J  C% S- n6 ?' i [size=1em]3 [size=1em]4

[size=1em][size=1em]   ! O# P2 M* @* }[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| / p- j% ?% R1 T- c" J' X; ~2 O[size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()| 7 _; R" b; T* f. J+ m

) {7 d9 I" V) C' Y* O9 W5 d! }
/ [& P' W" I  n# v0 f0 N. e
, H7 ?" _% U. u5 A: g" X7 I: [
4 x2 ~5 n2 t8 ^2 [     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
1 i7 @5 r% w: s# ^0 c    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）