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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 - ~8 S; A4 p- K5 Q& t[size=1em]{ [size=1em]public: $ a6 Q; ?' ?# A, D7 X) f[size=1em]    virtual void func1() = 0; 8 `3 \6 j8 O: l- _) }! o2 h4 l[size=1em]} ) T' Z. O$ l; N+ G [size=1em]class 9 l2 \4 B- V+ j[size=1em]    InterfaceU2 - e6 u9 H0 G& P7 R0 J2 U[size=1em]{ ) {1 B% @6 B3 ~, Q* X[size=1em]public: 4 p7 v8 i3 f1 Y[size=1em]    virtual void func2() = 0; ) ]* W5 \5 ^% f[size=1em]} + P5 D" m- q( r; ?; i [size=1em]class - p& h5 y& b' V8 d8 C[size=1em]    Wrapper ( H6 {  c$ n3 _1 H9 w  P/ [9 t; h[size=1em]{ [size=1em]public: ' I. n1 Z: N+ I  ?' n[size=1em]    virtual InterfaceU1* getInterface1() = 0; 7 p9 M' Q! @, `" a* W[size=1em]    virtual InterfaceU2* getInterface2() = 0;   L3 J0 A7 e: }) `  i[size=1em]} ; J3 j+ Z4 }3 _) G " D8 u% \9 F1 O/ f[size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ [size=1em]public: 2 ^! }) ]0 T1 e8 Z+ L+ e[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { 3 V& ~0 _- R0 h2 {+ M7 d3 ?% V # i' T7 D; k  ^/ Y0 V[size=1em]        return this; 3 r/ t! t9 K! I  ^6 B[size=1em]    } [size=1em]    virtual void func1() [size=1em]    { - \4 c) p+ O& F. D9 Y$ m/ q[size=1em]        printf("%s", "func1"); [size=1em]    } ( k; `, [/ d# K" z # a4 ]' @: _; [4 D' J[size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } 2 Z) i6 m$ P# c4 T[size=1em]} : ~" W9 P* ^% f) i2 P$ E" H) B8 N1 }

假设有如下代码：
[backcolor=white !important][size=1em]PHP code
8 S' g* d9 q$ J( a, v: \

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

# v2 |0 M0 W& V- g; \4 ?" I

[size=1em]1 [size=1em]2 # g3 P& G* w2 Q4 l1 u

[size=1em][size=1em]Base* pBase = new Base(); 4 M$ s' c3 R6 N  o6 C8 k9 Q7 o- s: J[size=1em]pBase->getInterface1()->func1();

; j7 g, V+ D- X- a& M
; j$ [5 G2 V) E; _( x7 \6 \其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

. B9 H' ?' P, Q* a$ i/ C0 r: }

[size=1em]1 # n# b! D0 T! T. o( T9 i- N [size=1em]2 [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); ) K3 |8 M( z* Z) H- b4 c1 E[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); ! {3 U( q. H; \# O

4 c) G: v1 k) P" E1 l& t
' F  X9 R: {  ]: W( N

$ }1 Z/ U. W  {% z
C++编译后，Base类的虚函数表如下：
" k7 V9 Z% \7 R1 Y7 S[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 0 o$ t# r% S/ f; p9 w [size=1em]2 [size=1em]3 [size=1em]4

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 7 \: L( }- F& h1 B4 u6 n[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()|

7 J* X' v8 K9 O3 H$ b8 T) N4 x, T如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
/ P# i( Z5 L; M0 W8 P+ l8 D, wC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

0 u8 Q/ s( Q: L" ~