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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 ' E) W, ~# X* Y5 z% p; U[size=1em]{ 5 E$ N6 _/ |7 c# y/ V[size=1em]public: [size=1em]    virtual void func1() = 0;   q& O. N1 g) o" K! j  `1 I[size=1em]} 3 t! I3 Y* p+ q+ j! A8 T [size=1em]class   a9 r) X& k( k; T[size=1em]    InterfaceU2 [size=1em]{ : k. G  S  L. w! ?& t7 ^+ r[size=1em]public: [size=1em]    virtual void func2() = 0; ) I* R4 V- L4 `[size=1em]} & ?. o) [  M; S9 Y1 i' O% d! e # t' B# z! E5 Z2 k& @/ q& Z4 ~[size=1em]class [size=1em]    Wrapper * p8 \) e) z- i# j! l[size=1em]{ ) N: Q: M+ S( ?[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; 6 B0 x: W9 w  \6 P9 q* \0 Y9 N, ~[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} + R& F9 H7 v7 z/ q% b% k [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ 6 a3 D$ k  {, Y8 ][size=1em]public: " _1 d. H5 D% T$ l7 `[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; [size=1em]    } 6 d$ D9 g  k2 g' e  E; E: E$ c; W2 l[size=1em]    virtual InterfaceU2* getInterface2() # `1 ~9 o5 J; g/ @3 v! n[size=1em]    {   D" l5 C6 ^/ Y" v: b[size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() 7 H* E2 G1 h' D  ^/ I[size=1em]    { [size=1em]        printf("%s", "func1"); & \2 m* k. O* n! n8 }3 ][size=1em]    } [size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } * ~5 }8 i7 u" T1 |8 E+ p, y[size=1em]}

% T" w' Z7 G9 i; K. E
2 Q" O. I, i( K/ \% x) a
* w! u( i! i* b假设有如下代码：
/ M$ }+ ]( K; s! Z  k" _[backcolor=white !important][size=1em]PHP code

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

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

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); 3 }3 i% l  F: ]* V+ `9 m: S

; m/ ~( S6 Z% S, R$ _. n7 O8 e
其实以上代码等于：
1 x5 J5 I& G" s: p$ h, k* n/ f9 S[backcolor=white !important][size=1em]PHP code
' v2 }5 Y2 C" {

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

[size=1em]1 ) f5 J1 ~) w  H/ @ [size=1em]2 [size=1em]3 ) J% Q& m' [* A* T1 s! Y( b

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); + {# Z, u5 {& X" ?. B

# n2 h2 |2 o! ]: X3 h
, }+ D# Z0 P) L+ u7 X, F0 k3 B


C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
' I# b; ], v3 G# S+ ~, S% J

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

[size=1em]1 " e/ A# r8 v* S$ C+ ` [size=1em]2 ! Q2 {$ o. z6 u) Q1 T [size=1em]3 & j' A2 }3 f) T9 H; X& B8 _7 H& f" j [size=1em]4

[size=1em][size=1em]   0 N( T, K% Q6 R, X1 G* P[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| + F" ]" E5 C) Q[size=1em]vTable:InterfaceU1 |Base::func1()|   G4 g+ n; A5 {[size=1em]vTable:InterfaceU2 |Base::func2()| $ ~/ d7 u  O/ `) B  o/ `

6 i* K  Q" o( B0 h3 b. Z


如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
" ?: w0 g1 r4 e( H; x# x4 g- iC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

( l3 {  {! q6 Y4 H& p$ b