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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 [size=1em]  { $ t7 f5 r# o4 u( c; X[size=1em]  public: [size=1em]      virtual void func1() = 0; ' i  h+ V: a7 _[size=1em]  } 4 V* G6 J% W" i% |' k% W8 Y3 H[size=1em]  class 2 l/ j- z- H4 U  d2 L: w[size=1em]      InterfaceU2 ( a+ N6 g* m: v+ _- k2 j6 k3 K[size=1em]  { [size=1em]  public: [size=1em]      virtual void func2() = 0; 4 v( d! U8 ~( [8 ~, X/ E[size=1em]  } " }6 B% y2 {2 b! O% N * O" f8 _$ N4 G: t4 q1 z$ T  d$ f( w" J[size=1em]  class [size=1em]    Wrapper % V2 t% f' Y  C1 y( V# B5 N[size=1em]  { # L% q* O: F3 r  h2 V  v) V[size=1em]  public: ; P! ~6 Z6 G8 D% e- M9 A0 C: z1 Y[size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; - a4 ^5 m! X5 f# H. `[size=1em]  } + J9 [  K0 @7 S) t[size=1em]  class " H( G5 x3 A7 U% f# V[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { [size=1em]          return this; 8 l; }% x2 F, X0 M) {' l[size=1em]      } ! g- w2 X; g) `# E& `; S: E0 g[size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { * x9 K" F. p- U! \, L[size=1em]          return this; $ p6 A6 n2 c; G' L' ~) Y  [[size=1em]     } [size=1em]     virtual void func1() 5 `" k7 a2 j  o- G; i1 _. _" v3 D& Y2 Y[size=1em]     { [size=1em]         printf("%s", "func1"); 1 I3 B2 H$ X: W. K[size=1em]     } 3 L4 }5 G4 u2 m) \. b) H [size=1em]     virtual void func2() [size=1em]     { ! f) C  }, n( L9 k[size=1em]        printf("%s", "func2"); * F+ x$ T, H+ k/ H4 V) i2 a7 \) ][size=1em]     } & S/ X# N% P/ f, P: B* ~4 e[size=1em] }

; x$ l% h0 _+ l0 t9 H, p7 H# `假设有如下代码：
# H3 V* v7 T2 q, `[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();

1 A4 _- X- b: s

5 B, k7 p: k- S# w- C2 @* N其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 / G" {7 {8 w8 H+ N$ x' k/ n5 M [size=1em]2 0 O/ N1 Y2 b+ G) d0 J5 i5 ]5 U [size=1em]3 / a7 h% ~& @, V

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); , ~, r% C  E& q, r( a, ~[size=1em] pInterface1->func1(); 6 L  g( f  t1 I% [: l 1 J! K* @% v/ e- C8 |; O

( _- r1 Q5 l; L; X1 B
, M: k$ ~5 c$ `  l- b2 e
              C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]         PHP code

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

: i3 v1 a) S; e, h% D) s' D

[size=1em]1 [size=1em]2 3 t- F; d& @% f6 t( }: E1 L [size=1em]3 + o4 K  q! S& H# T% x  A [size=1em]4

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| ' c5 m1 @+ [& D) Z' s[size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()|

" _8 t: l# m6 y; c
& I  x6 v  J5 n) r

/ _8 R% y6 H  s$ E& ~     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
+ i- D( f) N( K, ]6 [5 B    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
. E  E2 C: o8 y- P) r; Z    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）