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

蕾欧娜

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

[size=1em][size=1em]class " m! i: C7 A) [[size=1em]    InterfaceU1 0 q9 h$ V& m. k1 T" x, P& u[size=1em]{ [size=1em]public: $ ~7 Y( w5 l* h8 N. c) [" p9 _[size=1em]    virtual void func1() = 0; [size=1em]} 9 h5 v9 J, H8 z  J [size=1em]class : K0 Z. N# }2 X+ Z[size=1em]    InterfaceU2 7 A8 y9 Z3 h+ Q[size=1em]{ - p' l/ F4 a" y' r) W[size=1em]public: % c" s3 Z7 ]7 x0 r! F" \  C5 U; X[size=1em]    virtual void func2() = 0; 2 }. N# b' H0 `0 R# A- N[size=1em]} 2 V7 W4 F9 m) h! {) ` [size=1em]class [size=1em]    Wrapper * ^/ o. A% {7 ^' Z[size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; 6 d" l' k1 Y# i& o: G5 _- q[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} , x' R% O1 X4 W* }. N" h ( A5 c3 y6 e4 |8 K+ @% m9 b- t$ j) m[size=1em]class & M- g/ }$ I. L1 o3 @( d# h% U* ~[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 : C' d8 k* [, O8 {3 ^# N. G! D[size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { 2 h+ Y8 n) I4 t# c[size=1em]        return this; - B- s' N5 ^2 H' ?- I1 ?! c, o[size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() 3 \* n; \+ R, ]" S" Q$ p[size=1em]    { " i6 s) N/ ^1 ]1 z8 n5 s[size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() - h8 j" X# h) ]0 f% V6 F. z  o[size=1em]    { [size=1em]        printf("%s", "func1"); 1 ]0 k+ _1 [: i* ]$ M$ x0 b[size=1em]    } , e4 |+ r- `# g# r [size=1em]    virtual void func2() [size=1em]    { 3 [( m6 }3 f* f% I4 E9 s[size=1em]        printf("%s", "func2"); " T0 `8 U3 }- s9 _[size=1em]    } [size=1em]} * q- m7 t7 D  H) G2 F6 L 2 ?0 `1 H5 D( m; Q' `

% e$ p5 M  I  M) E8 O假设有如下代码：
[backcolor=white !important][size=1em]PHP code
. j/ S$ F8 f2 A5 J

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

[size=1em]1 $ V- L3 r/ q" e* _! \" S" F& w/ V* l" B [size=1em]2 8 z% i3 [4 x' E

[size=1em][size=1em]Base* pBase = new Base(); , f6 b0 I( I9 G7 u[size=1em]pBase->getInterface1()->func1(); * E9 L  E3 {; \- F1 [' R4 O . e; O& h+ f& u8 R3 {0 L$ Y$ {

* ]# ?$ D% j9 B+ a1 y其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

, h8 o# ~% }$ C9 ?, L

[size=1em]1 ) f- ~) ]# M  C" X1 g  X [size=1em]2 - F) \5 S# e% m [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); 7 W4 [( t( b. N6 k[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); 1 P- L+ u2 }  l) e$ [3 F0 I

( L; t& G( w3 f# }) T" g
: ?3 `' l8 x, E  w2 j5 GC++编译后，Base类的虚函数表如下：
- B$ r9 d' R! h3 H( e[backcolor=white !important][size=1em]PHP code

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

5 z. K" n( o+ S9 ]3 ^! w  `1 _5 P

[size=1em]1 ' C2 ?3 R/ ^* o) z [size=1em]2 0 i  N! I7 @5 \$ R% M+ r- q [size=1em]3 3 z# t: D, k. {4 _3 I+ _ [size=1em]4

[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()| + X% \' ]- W- A0 [# O/ I% }: H

$ D; i- T! z" @6 O( e* v- r
- ]/ J; O/ O' {: z$ }5 ~

如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
) R! {7 n5 T/ \  x1 R% R* lC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
" w0 e! w3 s4 O* jC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
# g: d  `5 v4 G+ l: R9 @+ Y1 ~, Q
% w  O3 W4 C- w+ p8 P9 @& \: n