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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 [size=1em]  { [size=1em]  public: [size=1em]      virtual void func1() = 0; / X! T: v/ V- H' S, k- I' t[size=1em]  } * H& ]- c1 X" b1 _  @ [size=1em]  class * \  Z+ x2 {/ j5 [[size=1em]      InterfaceU2 [size=1em]  { 2 c* A1 n- S+ @( Z% w4 G[size=1em]  public: " Q" T4 v( t% p$ d" I, s1 O: M# x[size=1em]      virtual void func2() = 0; - S0 \& I4 B$ V5 A- t0 l, w5 x  L[size=1em]  } : k- e7 Z2 m" Y" `[size=1em]  class , _5 m, j" S: w4 H[size=1em]    Wrapper ( P9 {8 L. \, e( C$ y' E. I[size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; - x9 P0 @% _' Z* G6 w[size=1em]  } [size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  {   y6 ^" o( q; \" B1 y8 [[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() 1 R) @4 E& G" h/ M: R[size=1em]      { 9 H' L( ]! Z+ \6 M! t% P6 A! }[size=1em]          return this; [size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { , E7 p$ @. I% p/ `  _: ~/ K [size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() [size=1em]     { 3 P0 R1 A! e) x! T" n[size=1em]         printf("%s", "func1"); [size=1em]     } " ^8 A3 W$ f! i+ \ ) b- X4 J7 w  {$ O5 h[size=1em]     virtual void func2() [size=1em]     { 7 }0 t+ p& y: [* K& I* o$ B[size=1em]        printf("%s", "func2"); [size=1em]     } [size=1em] } . S+ [! w9 a+ z9 T  S

. h6 s& p+ _/ c& v/ k7 s& x* k
& n* L7 a# T3 p9 s) y* E1 ?# K$ q假设有如下代码：
[backcolor=white !important][size=1em]PHP code
" ^% g7 y; x, ~: Q, t& q

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

3 F6 d- a- H! |$ z: C5 C" S* R

[size=1em]1 . J1 ^# ?) w1 {5 f" \3 W [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); , Z8 R6 }! M& l; j( {2 O) l" u

* y9 z% c( u2 X+ T( R
6 ~8 B9 u/ q! P) f- h其实以上代码等于：
8 y: m1 g! c. T" ], H5 u# C, x/ I[backcolor=white !important][size=1em]PHP code

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

' y) S+ }. K- x8 m6 k

[size=1em]1 [size=1em]2 [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); + X7 Y0 ^0 k( }[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1();

8 _3 \+ N, J1 Q. ]$ X
/ }* d( b: k8 K; Q, I
+ s' s1 o2 m2 V0 V0 q" e
8 z4 r4 s+ F: B: n              C++编译后，Base类的虚函数表如下：
# k) c8 g! n8 L) u; Y, Y[backcolor=white !important][size=1em]         PHP code
! J: t' Y" c' N0 k' G4 D

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

# j* ^2 p5 [  l1 F7 [( j4 y

[size=1em]1 [size=1em]2 1 c* J& g& {3 Q$ l3 ^ [size=1em]3 , a& e: r0 |( T [size=1em]4

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| ; [, z4 B2 u& P9 ^: n% M3 o! v[size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()| 3 ?6 y/ `; s! k4 P- f3 y' ?, u

     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
  b: w; W, P% B" X* G/ j    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
6 i2 M/ C2 x7 E5 C: ]& A; c- K
% j( Q, R( H; r3 U, J