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

蕾欧娜

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

[size=1em][size=1em]class 5 L6 S% y/ K& U$ D) a" `; G[size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: " I6 \, N% Y5 K: v+ Y[size=1em]    virtual void func1() = 0; [size=1em]} ' b( Y9 o5 V: Z" G$ X* ~ # y  D" l( u7 ]+ e[size=1em]class ! E' \  ^: S! T# T* n  E; l0 o" s+ o[size=1em]    InterfaceU2 7 |1 }* W% D6 a: ?[size=1em]{ [size=1em]public: # d# F  b7 o- T8 w[size=1em]    virtual void func2() = 0; ( U7 v9 {* r1 m# X2 L7 a! z, V[size=1em]}   S% V7 q% }* E9 x1 } ) A9 k* l" V" G4 s: C& w[size=1em]class 4 o+ ]' ~$ @1 ~[size=1em]    Wrapper 8 z$ |8 {3 w3 v' M+ u  r[size=1em]{ 7 H  G/ b7 u: S' E8 d( ~6 ^[size=1em]public: # W: |% k: E2 }5 E2 ?/ {1 p[size=1em]    virtual InterfaceU1* getInterface1() = 0; + u1 O  u% a1 f; d0 w2 U4 K[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ [size=1em]public: - t' ?$ x- [& l* \% S8 t# ^[size=1em]    virtual InterfaceU1* getInterface1() 7 {% U9 A$ B! C2 Q+ M( L1 G  J[size=1em]    { $ F; y- V: e( ?3 T" `3 U5 [; h[size=1em]        return this; [size=1em]    } ( V& z6 G! N: h" V" t[size=1em]    virtual InterfaceU2* getInterface2() % u1 g- M# |7 I5 L" {2 C  \[size=1em]    { $ L( M) [3 ]& u6 m  I, }+ n[size=1em]        return this; [size=1em]    } 8 g* a- M# m5 h[size=1em]    virtual void func1() [size=1em]    { 0 L; P6 ~/ U$ l[size=1em]        printf("%s", "func1"); 9 c. m, N$ r( i1 C[size=1em]    } ; H' s) Q; H; W2 @9 [ [size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); / f& @, f" F% L& P( d) x/ L[size=1em]    } % `4 l& q- g4 M* i2 Z9 Q[size=1em]} * ^) j9 g6 a- O7 C  Y0 R

) n  t+ O/ W# ~# ?4 t

6 i0 f' Q% g$ \  k假设有如下代码：
[backcolor=white !important][size=1em]PHP code
5 a6 |  N4 ^: d& x

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

[size=1em]1 [size=1em]2 7 e- W8 q+ C1 [  d  S) ]  J

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); + E/ Z! e7 [7 q0 A( \8 i, {2 |' x 5 n" H/ H5 V5 Z7 ^* S) f

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

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

! e% q& \; e( e# F. j6 v8 o; w

[size=1em]1 4 M0 A/ [" z( ?- u' F [size=1em]2 9 z7 h( Y6 z% O& U$ `% a [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); ! X  I1 V  o6 F2 |$ ~

  n* Z, g, ]/ G3 Z$ ]9 h/ s


C++编译后，Base类的虚函数表如下：
2 k$ u( E: X% M0 S( w[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 [size=1em]3 [size=1em]4 ( r3 {5 [5 K( e3 U2 ?7 {! w

[size=1em][size=1em]   4 a% y4 ^/ a- ]" {: z. i  g0 C  Q[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| ; B; U5 s+ J5 k  t& d - I  A; F* N- I

% |3 {. Q5 F7 N# I, l9 S/ z
) R$ i  k% m1 {5 \  C4 V
& x% c" k4 i7 V7 [" d+ [
如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
; W- L: n% O. k但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
  d5 r: v7 X; w' IC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）