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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 7 g% V3 }( Q! H[size=1em]  { [size=1em]  public: [size=1em]      virtual void func1() = 0; [size=1em]  } # [7 B' ~$ \  s8 Y. h; N ; `2 ?/ \  S, p7 m+ Z/ \6 j[size=1em]  class [size=1em]      InterfaceU2 7 y# I" @( b( S[size=1em]  { [size=1em]  public: [size=1em]      virtual void func2() = 0; [size=1em]  } 2 i9 f3 {8 X. x/ B  f) D+ E% Q[size=1em]  class [size=1em]    Wrapper [size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; 8 X- ]2 ~) g5 B) ^1 ]( r# s& W3 V[size=1em]      virtual InterfaceU2* getInterface2() = 0; 7 F' C7 X3 y/ Z[size=1em]  } 8 |& z( m6 D5 h7 I7 G% o/ a0 r) ? [size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { 6 P" o' y, C% G/ ]* p- ~( V[size=1em]          return this; 0 o9 h) @3 P, [- b( N. z[size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { - `( \& g( K9 ]6 ~" r ; r2 r9 Z+ M3 M* r[size=1em]          return this; [size=1em]     } , x# u) O( ^- K8 W[size=1em]     virtual void func1() 9 g4 \! [; K$ d; G# e5 O[size=1em]     { ; C, B* j, ?! X9 b4 h$ d/ ^; u[size=1em]         printf("%s", "func1"); [size=1em]     } & j' K& h) a9 J; I [size=1em]     virtual void func2() [size=1em]     { . b% y7 e1 G/ C+ M[size=1em]        printf("%s", "func2"); 1 J; u; V8 q% {/ i* ?% i[size=1em]     } 9 ^# x' `$ p% D, ~- b[size=1em] } 5 J& Q) D7 i8 o: B% K6 H

8 \- \/ n) [$ ?# ?# q, e
; U6 k% L; |7 A6 W+ ?
2 c; ]4 @! k( b) K5 J) G( G- p假设有如下代码：
1 ?% K( C# C4 C! v% [[backcolor=white !important][size=1em]PHP code
) x  ^  y' Y3 q* v

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

! D$ B2 ^* I- F  O: W1 S. x" K5 v3 z; \

[size=1em]1 0 r- F* R7 c6 k4 W$ | [size=1em]2 * N# q2 U( f2 X$ |/ @. k1 t/ @( l

[size=1em][size=1em]Base* pBase = new Base(); ; f5 g% h  `! l$ @3 Y6 ][size=1em]pBase->getInterface1()->func1(); ! q; N3 ]" {/ V3 c

: q) Z/ \" B' w. f4 K/ [$ A

1 c( |! y& P* ]其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

. _/ Q  I+ ^+ ^$ @# F

[size=1em]1 : z0 P5 |" x( e [size=1em]2 , Z5 b, d9 [- D [size=1em]3 5 i2 c( g8 r5 c7 B% h4 l: z. g

[size=1em][size=1em] Base* pBase = new Base(); ' |; I2 o8 V2 m+ ]' m[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); 4 B: _9 l& {2 j+ O0 x' q! k[size=1em] pInterface1->func1(); % D& Y/ F2 e1 f6 \- f' y) r + X* M- m$ O. Q: p, ~5 b! Q4 |

8 r% n* Y6 k  o
. F6 l$ Y, X- i; I3 a. i
1 ?. t& d& ^# c5 n
              C++编译后，Base类的虚函数表如下：
/ S& l. _. m  K[backcolor=white !important][size=1em]         PHP code

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

4 J5 P* K. ]+ i4 J3 I

[size=1em]1 [size=1em]2 " z3 u* h( q9 T [size=1em]3 [size=1em]4 . v+ W9 W9 H- u- ]

[size=1em][size=1em]   , ^* \+ M0 P, B[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()| $ V6 i4 K! j8 @8 s; l4 i- z' O

; z2 `$ K/ b2 |0 j" o) U8 v/ \( d. ^
     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
! D5 S2 d5 I" R+ y+ W8 ^' u; w; s    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
% |/ X2 p$ {0 m    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）