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

蕾欧娜

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

[size=1em][size=1em]  class 5 u" \: l" @3 W5 l% D8 f; ^[size=1em]      InterfaceU1 [size=1em]  { 9 z; u8 c- k- w3 O( X  @$ `* T$ _1 X[size=1em]  public: [size=1em]      virtual void func1() = 0; [size=1em]  } ) R, S: \( j/ f - C7 o: L" B6 N9 _) m" i[size=1em]  class + A, p3 m6 r! N[size=1em]      InterfaceU2 + |# e, g1 Y6 o/ S& y& F$ U( N[size=1em]  { - i! Q( F) b# Z* _+ ]; A[size=1em]  public: [size=1em]      virtual void func2() = 0; [size=1em]  } - \& d9 n. `+ O7 }+ p: i [size=1em]  class 9 l2 @5 T* V" ~! ~[size=1em]    Wrapper ' S' u5 D5 i3 i[size=1em]  { [size=1em]  public: " m5 M- E* w1 J; Z* R[size=1em]      virtual InterfaceU1* getInterface1() = 0; / m- t- e9 d. Z* W- f[size=1em]      virtual InterfaceU2* getInterface2() = 0; 0 s3 V' m3 {/ f# M/ f[size=1em]  } . a1 d2 s0 z) g6 N; Y[size=1em]  class ; F: t. _, }1 f[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { , ~" w  r  j, Q( w[size=1em]  public: & n9 L& K. s: f[size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { + \, |1 e& [8 y5 b% H! x; {[size=1em]          return this; [size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() : W% D) o; `7 D/ @) O[size=1em]      { - _% Y2 b" J1 n& C) V2 W [size=1em]          return this; [size=1em]     } 7 b8 @9 e2 b7 j9 X  b[size=1em]     virtual void func1() 9 F" H& ]( A& d+ M5 G/ j* {[size=1em]     { ! P3 E" P1 o) e# Q' c[size=1em]         printf("%s", "func1"); 3 v; x3 s" T. h( e; ?5 E& m) T[size=1em]     }   y9 Q4 V3 J; D9 ?  F7 Y % Z* `1 n5 e! V6 q& S[size=1em]     virtual void func2() 0 `# h; G2 U3 h! O* l[size=1em]     { [size=1em]        printf("%s", "func2"); [size=1em]     } [size=1em] }

1 Z: ^/ {6 q! U3 ^* Q" V0 A( l

! d3 ~0 n& j) M/ ]6 i- L假设有如下代码：
5 M  F9 _8 y5 [; U[backcolor=white !important][size=1em]PHP code

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

2 e3 G1 p, Q) R7 G/ B$ E9 Y2 b

[size=1em]1 ! M, T  I. u- Z; p/ a  ] [size=1em]2 * {' s  C. c1 K0 w7 E4 m3 Y& S% l

[size=1em][size=1em]Base* pBase = new Base(); ' E2 Z. W% ~0 X7 t% p  F1 S8 X/ U[size=1em]pBase->getInterface1()->func1();

( y; J( ?( @  X$ o, g

其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 % C7 Q& {' R- E/ a [size=1em]2 # @  i# W) K0 R+ H [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1();

4 P* S' ?' h- X: \+ E) l6 [              C++编译后，Base类的虚函数表如下：
; D8 Z# {0 F7 W  E* J' P[backcolor=white !important][size=1em]         PHP code

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

) Z" M, W8 ~2 r8 U2 [3 A$ A, S

[size=1em]1 [size=1em]2 [size=1em]3 [size=1em]4 " ?' g, O5 L0 i9 M, x/ b0 |

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| - D8 E  T4 P  X0 l8 y6 N: p[size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()|

9 Z! A* r' ^+ \; |6 j
! K8 P2 {8 x9 r( K7 o$ p% D

     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
+ B1 I$ [8 o& d9 `+ l) @' \3 v    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
! |7 ^4 E! q* T2 h! i, U
" `; [5 e' B$ u" H( a) H& e