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

蕾欧娜

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

[size=1em][size=1em]class 4 C8 m' c- ?' @+ g[size=1em]    InterfaceU1 [size=1em]{ 7 z& u! S! y/ L# g2 c1 s8 Z4 \[size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} % O% X  t, A5 B5 O' Q9 F" u[size=1em]class [size=1em]    InterfaceU2 % `0 w0 o5 u5 i[size=1em]{ [size=1em]public: 7 k2 a+ s0 |$ }, H1 w& V[size=1em]    virtual void func2() = 0; : `6 i' z+ {7 G; O7 U8 i1 M[size=1em]} 2 K( ~- a" D: i! z( h, ?. o $ T$ q% _6 R$ J% r" b/ \[size=1em]class - L: t8 w* @1 g1 w[size=1em]    Wrapper 6 g! ^" D, U2 @9 ?[size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; ' U! {' L8 `6 U3 s2 k6 B[size=1em]    virtual InterfaceU2* getInterface2() = 0;   x& r6 ?2 g' @: O0 n[size=1em]} [size=1em]class ! L6 }" r( ^' X3 @% h! N8 x[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 1 O; I0 A, V7 ~. ~2 e. x" `[size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; 4 |, j4 C; }7 B& N( E. e[size=1em]    } - g3 R5 v* t9 S[size=1em]    virtual InterfaceU2* getInterface2() ( U& J8 C# v4 n! Y( ~0 t$ o[size=1em]    { # c* [- `- Z+ I/ H! t% r[size=1em]        return this; ' y4 g( G' o/ `2 @[size=1em]    } * k1 R4 R/ X- {[size=1em]    virtual void func1() ! H- x8 N# R( o9 W( D+ T  T[size=1em]    { 6 X, E6 }8 R/ i& `  S[size=1em]        printf("%s", "func1"); [size=1em]    } ) b1 a' v& Q8 m- W[size=1em]    virtual void func2() 0 i( D" O9 J3 M[size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]} ( W  P7 I. S: O  @3 l

+ ]2 l2 k: I. a4 w- ]
* U) u& N7 B* y) p假设有如下代码：
[backcolor=white !important][size=1em]PHP code
1 D) E; k# ]0 g9 s7 _  l( y

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

# L# S6 F! Y' `+ V! ]: X6 g

[size=1em]1 , a! [7 ]. Z9 e' F. K [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); + ?- e% S( ~. o* |[size=1em]pBase->getInterface1()->func1();

% H5 {$ B  M* ?1 `6 x" `2 E
* N+ `, Z) f/ _' Z  |
其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

7 a. z3 t% z) G1 d2 u$ i

[size=1em]1 . l7 K/ d2 k. l [size=1em]2 ; N5 @, c& I; c' {- z- j [size=1em]3 ( H. G% V- u9 k: b1 @

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1();

3 Y' r9 G7 f; ?
' m8 w4 D. d: X9 ^# h6 v

7 v  D9 B% W$ K: M* _1 `) j$ zC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
5 |+ j( W9 x5 ~. w6 q

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

[size=1em]1 [size=1em]2 6 t( x$ b, v9 O; `0 F0 s. r' O8 y [size=1em]3 " j* D4 ?# V  Z) a. m2 h [size=1em]4

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| & D- }3 b6 B' W3 h; i8 u[size=1em]vTable:InterfaceU1 |Base::func1()| * \: V1 F4 x/ \- I" }. Y/ L[size=1em]vTable:InterfaceU2 |Base::func2()|

7 `; A% u# G+ x3 p  @5 _
- J; a2 Z; O* d2 c" [$ E

5 x$ J- I' y, J& O& A4 Q0 A( x6 q) G如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
' j: M9 x" g: F  N* c/ }0 Q0 Y但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
0 l/ p7 t  m  p
8 \2 H' Q6 m7 f+ N% R