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

蕾欧娜

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

[size=1em][size=1em]  class : S0 E8 Y3 Y5 g8 L7 C[size=1em]      InterfaceU1 [size=1em]  { [size=1em]  public: 7 p( z& z+ K3 v[size=1em]      virtual void func1() = 0; ) n2 F$ z9 g" n+ u$ I[size=1em]  } 8 `* ?# q( r5 n# ?! C" P[size=1em]  class [size=1em]      InterfaceU2 , T" g5 d( i7 K$ {. F[size=1em]  { ) H6 A) P- Q4 x9 V$ r, x[size=1em]  public:   J' Z( Q8 r3 x) y) j[size=1em]      virtual void func2() = 0; 4 Z, J- M0 t3 I8 {[size=1em]  } [size=1em]  class ( _# ?; Y+ ^) o) o2 K/ p3 ^+ q[size=1em]    Wrapper ! A: Z. M5 l! n- Z[size=1em]  { [size=1em]  public: / r7 I# C2 Z+ g/ Z8 I- M+ o! _[size=1em]      virtual InterfaceU1* getInterface1() = 0; 3 a2 X  w5 q. o; d[size=1em]      virtual InterfaceU2* getInterface2() = 0; 1 V! |& Y1 B% g" p[size=1em]  } 6 G  h9 g. h2 z- }( E( _3 O[size=1em]  class 2 @- w4 i4 T' w) i[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { ) |3 }6 k5 m8 Z: i0 P3 f, @[size=1em]  public: ; x) V+ U5 g/ |9 m[size=1em]      virtual InterfaceU1* getInterface1() - q( K  d6 w- O[size=1em]      { [size=1em]          return this; [size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { [size=1em]          return this; [size=1em]     } 7 \1 L2 i& z' A/ v; D0 K7 X8 [9 J[size=1em]     virtual void func1() $ |; C5 V$ M' t& l2 b" }" U8 P[size=1em]     { [size=1em]         printf("%s", "func1"); [size=1em]     } 9 X9 v4 D0 n9 W" s 5 U8 I; ^3 N! I8 l% r[size=1em]     virtual void func2() ' H) B* t- W; `7 [, z[size=1em]     { [size=1em]        printf("%s", "func2"); [size=1em]     } ; O! j5 ]3 V3 J. m& |+ A: h/ q" H1 J- @[size=1em] } 4 L% T" d3 i2 M' v $ z8 s1 d4 m0 L$ c9 D

- R! Y- i. H5 }

假设有如下代码：
[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(); 9 }! V+ ^. E" g0 b[size=1em]pBase->getInterface1()->func1();

! u3 T' D, Y# l! S

; {3 F& p5 v6 W% R其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
  R' L, e# f, B, `0 Q, ^

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

[size=1em]1 [size=1em]2 ( s; q3 P" N, @2 R! L7 r* T [size=1em]3 + o+ W) u3 ]6 b) H" e- z

[size=1em][size=1em] Base* pBase = new Base(); ' \  W  O& C0 t2 K[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); & u1 z9 ^, h  K6 F[size=1em] pInterface1->func1(); ! y) W) u3 B" m9 C' D+ b1 O7 _( C: j9 t

- X6 j$ _9 \6 [. e0 p) W
* b' [7 w5 X1 j( Q8 ]: f+ d

              C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]         PHP code
7 c( h1 l1 P; U6 z) W  F

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

% j; ?  v3 [; I/ G

[size=1em]1 [size=1em]2 [size=1em]3 # ~9 ]  ^; H+ P+ ^( k$ N5 r: Y; ~9 J [size=1em]4 7 d6 @8 B: F0 x( a( ^

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]  vTable:InterfaceU1 |Base::func1()| , D7 h+ f& e6 Q+ q" B. [- }! u4 N[size=1em]  vTable:InterfaceU2 |Base::func2()|

  u/ _+ ]3 `! N$ v* j* C) J8 W+ j

. R# ?" [# Z# p. ]2 |( n- s. a+ @
0 V( P8 T( T+ t% q& H     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
" u& D) u/ F0 g9 [, Y    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
4 _: {3 g4 G7 V4 T. \9 b    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
' E  m) q5 ?  i) i. v7 X
- y, n" k, V. G# H+ p