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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ $ g, O3 k  D; ^: V+ R! `[size=1em]public: + O/ T) _. p1 z! }[size=1em]    virtual void func1() = 0; " Z+ r. H* g$ m" z1 w[size=1em]} 5 ~/ b4 \* Z9 F2 T [size=1em]class 9 K$ K2 o7 j1 h. o[size=1em]    InterfaceU2 [size=1em]{ $ [3 h0 P2 X4 R& X: C) |4 I[size=1em]public: [size=1em]    virtual void func2() = 0; [size=1em]} [size=1em]class [size=1em]    Wrapper - e6 o# V, `/ {* }8 O7 l; E+ G[size=1em]{ [size=1em]public: 7 B- g. B1 s- z( w( C! H) `[size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; 2 X  S2 ^% ~  j[size=1em]} : y6 Y: L( W$ X/ Y4 q [size=1em]class   p, z0 ^' d% D) l% F2 c[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 7 p' s+ T4 q# z# `[size=1em]{ ' r* z3 R1 D0 T- ]0 Y4 K+ V6 b[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    {   m  N# j# H3 P- C% i2 N  T' B[size=1em]        return this; - G3 Y# B% ~( g[size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() , K+ O$ t1 C+ C/ w( U7 g[size=1em]    { 4 k+ l5 ^! c% r/ j ( ~2 `9 Y% R- A" C% `* }% z[size=1em]        return this; + [6 ?/ J0 f8 m7 e[size=1em]    } [size=1em]    virtual void func1() 6 ^. E7 F1 n! `/ Y5 W[size=1em]    { [size=1em]        printf("%s", "func1"); [size=1em]    } : A& n+ C$ {& O" [5 f - N0 U+ E* R( N) q# s, Y8 t[size=1em]    virtual void func2() 3 M2 \  p* Y. B( C[size=1em]    { 5 \+ S$ ?% @: D7 x6 [8 Y; q" a& @[size=1em]        printf("%s", "func2"); [size=1em]    } ) v$ U# y! A3 A- p' u, i[size=1em]}   ?$ q& f9 Z  n- Y; o- K4 j* [( Y

* k7 ]3 s. s' X% V& v$ p% W+ \

9 q; P  j2 I$ N0 V. }3 G假设有如下代码：
  c0 r% _, F$ v: \( P[backcolor=white !important][size=1em]PHP code

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

) h, F, o( Z9 q# V0 R

[size=1em]1 # W! ^8 O' k6 }& K [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); * B5 `  j9 h1 }5 V' D) Z. ?% C ( c! t& Z- n( E  d5 E$ [3 \3 J8 ?

/ z+ X+ U2 c3 z5 R+ X4 x
* S3 P' v; V2 h. T, a3 N0 r& Z其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
8 B8 w6 U5 I. G+ }  _

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

  S8 u* c- o( P

[size=1em]1 5 U, S; Q& g3 P5 m' V [size=1em]2 [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); - x" g' j* W! b" M[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); 1 ^. K) r: M% B4 @9 s

0 P, Z- R) E: O% Q6 t

% f6 }( e6 d' U1 s) G$ w

2 C" j; M7 H/ G9 h  dC++编译后，Base类的虚函数表如下：
; j3 s: t- G( {  M[backcolor=white !important][size=1em]PHP code
* l  l" |8 ]' [' T

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

[size=1em]1 [size=1em]2 [size=1em]3 0 o7 ^/ a$ t2 A  ~) \5 Q+ b1 Z [size=1em]4 & r9 e$ H5 x8 _! L' C* k

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()|

' \% S& m' }# Z; v8 ^4 O# @* _& K# B7 h
% H; u  ?$ J5 E6 z
4 W1 X% f3 S2 \- }$ V8 ]+ A" ^! ]
如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
- ~# ^! E- {" ~4 J) j8 o但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
0 n+ T' m( J5 [' [) j" W& p" uC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
+ H7 Z: e/ s: l7 e8 A4 dC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
4 u" {' n" D9 A- p" @