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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 [size=1em]  { . a: s! q3 r% f& P" `* c[size=1em]  public: [size=1em]      virtual void func1() = 0; [size=1em]  } [size=1em]  class ( P& G3 |# c) U1 C; X! t- E[size=1em]      InterfaceU2 [size=1em]  { 3 q4 w& q3 _8 u[size=1em]  public: 8 F* ?# \7 ~3 |* Z" [' f  b[size=1em]      virtual void func2() = 0; ( V9 o1 @5 E9 S8 E! \, w[size=1em]  } : e$ s9 f/ \4 c) |$ o  l+ G8 K 6 j) U& ]% L1 [9 F7 f4 X9 D% m7 _[size=1em]  class [size=1em]    Wrapper [size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; * I- m; K$ t+ E7 Z  a( T[size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } * k/ }3 b% E! z- ]2 |[size=1em]  class ( b' x5 Q# o$ W7 Q+ ~! |3 [8 \[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { [size=1em]  public: 0 f% ~! }7 u' G3 R[size=1em]      virtual InterfaceU1* getInterface1() 6 \; K' S8 j1 h6 L7 z[size=1em]      { [size=1em]          return this; 3 t! k0 R- ^+ T  c[size=1em]      } % L7 s4 P2 d7 H( i2 U# P[size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { % }) \2 J; f) l5 F9 V0 w[size=1em]          return this; & k, o3 ~; ^$ y9 f2 x/ p0 N[size=1em]     } [size=1em]     virtual void func1() [size=1em]     { * p) U, ^( Z( Z* n; O[size=1em]         printf("%s", "func1"); 8 R8 t- g- v  K[size=1em]     } * b2 t: _+ E0 s% A# X: ?4 y 5 S- O% K( l/ D7 `! Y" x7 y: T5 N[size=1em]     virtual void func2() [size=1em]     { [size=1em]        printf("%s", "func2"); ' v* R( Y( Z1 A7 b2 X1 v% J[size=1em]     } [size=1em] } 9 _, N# d% l. _4 p( Y2 N

( ]$ `# s# j8 u( k0 }4 r
+ ^+ f) W! A5 M2 G) l
假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

# j0 P: V7 x, g" s4 t! B9 L2 P7 r

[size=1em]1 [size=1em]2 * v5 _, ^9 n2 H4 ?6 ?

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); 9 j# F8 Q5 R, e& E

: {9 m: c% s. [+ w, Y4 i: x

其实以上代码等于：
' J9 k( T: M1 ?5 N! S[backcolor=white !important][size=1em]PHP code

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

# C: Q/ o9 K, _1 g% v" R( H! E2 L! P

[size=1em]1 4 W$ f! K3 T5 M! o# b [size=1em]2   P9 F: X4 W3 Q3 e+ L5 k" m  J' @2 ~1 [' N [size=1em]3

[size=1em][size=1em] Base* pBase = new Base();   `& F2 i; u, w2 n$ W/ u- A[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); $ V7 w3 A( V3 }- \[size=1em] pInterface1->func1(); . |% g! ]( _: P! h 4 i5 h  f2 Y1 T" B; u1 |

              C++编译后，Base类的虚函数表如下：
$ G+ D) e0 V8 i! M$ ^[backcolor=white !important][size=1em]         PHP code

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

[size=1em]1 [size=1em]2 7 Z4 Y4 R3 z  S8 V1 |/ b5 s$ T [size=1em]3 , ]; G7 a: b5 [ [size=1em]4 7 g" Z$ N( |% r' N4 Z3 @

[size=1em][size=1em]     y( I8 L; v0 Y. d# c[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]  vTable:InterfaceU1 |Base::func1()| " ^# q+ @8 B# H3 o! C/ p3 Z; f( J[size=1em]  vTable:InterfaceU2 |Base::func2()| ; N- n* U0 @8 K1 T! d* E& n9 O

4 \9 x& d9 F1 L& w% S' o
) |2 ~+ X8 ?2 Z# d     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
& h1 F' y3 X) P3 T& g    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
& P0 L6 X  @) P    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
$ q, B) Z$ ]* S( l" Z    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）