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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: 1 e' s2 D  @# B, z' f  D+ f; b[size=1em]    virtual void func1() = 0; [size=1em]} ' M! b  J  q3 R9 p9 k [size=1em]class [size=1em]    InterfaceU2 & ?$ m5 q/ j# Y8 }9 C% S  O[size=1em]{ [size=1em]public: 8 M$ M& o* P- H* f[size=1em]    virtual void func2() = 0; [size=1em]} [size=1em]class 4 I6 w1 I4 I% w[size=1em]    Wrapper ) F; y& B, A' `; o" t* S* r: ^[size=1em]{ [size=1em]public: ; T) J8 W6 {+ s- p' }  c' V4 y) ?( M[size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; ) k% F& u& i( \, k  F* n3 C  t# {[size=1em]} 5 _. v! m- S- u: S3 S& A [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ ( Y; z+ j: e8 Z, s/ `& }[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() ! O# G7 X8 U6 N& x& c[size=1em]    { 4 v( g5 `' @6 O1 x1 r[size=1em]        return this; 7 w. r. K0 s! c  z[size=1em]    } ! g& Y2 m  t' w6 }4 I3 l[size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { " |  b2 Q* y* I, w% y: M/ l [size=1em]        return this; [size=1em]    } % E# x% e5 w; L( ]* R# m3 {" a[size=1em]    virtual void func1() / X  o& u. V* s6 s8 Z2 R[size=1em]    { # h5 c6 p! y, \  W$ R[size=1em]        printf("%s", "func1"); [size=1em]    } . k5 j5 v" M/ h  P 4 r3 {  E; U; g) a3 V! v[size=1em]    virtual void func2() [size=1em]    { 6 W* n' [! J: D# X5 |: a/ K[size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]} 1 o! f. w$ M8 W9 ]! T5 z & t6 R# G( h4 M; \1 u$ l

( R% w' K! Q7 p2 C7 O+ n1 g8 j

) v% G( g5 G" ^' [; h假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

  c" m3 M6 t9 H

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

[size=1em][size=1em]Base* pBase = new Base(); ! F- X/ f. X6 u2 b9 y& n4 Q[size=1em]pBase->getInterface1()->func1(); . `: W7 M  V. c( b7 G

  e& `1 i$ x. U( S* m

其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
( T  o: ]8 c. `( K/ J5 [

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

' |" l+ Z0 }: `; Z' L$ g+ O

[size=1em]1 [size=1em]2 [size=1em]3 9 N, `# `: e( p5 d' ^

[size=1em][size=1em]Base* pBase = new Base(); . v, d; G) x5 u( ?4 h[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); ( |$ g7 [: ~4 U[size=1em]pInterface1->func1(); ) ]. m7 W) s8 f5 }$ `

, N8 C. d( L2 R1 p  u1 L% v* ~
+ A- F0 x, J  @* z; B


C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
/ Y5 s  O+ j1 |* A& v

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

7 J/ N% t) p8 l! E, Y. p6 _

[size=1em]1 * x; K$ _2 N* _0 |, A8 p9 I [size=1em]2 7 j* V' C- {5 K) t4 B" h5 ^3 K [size=1em]3 2 q' b0 y; y6 w& [: [; g( @- X [size=1em]4 4 S; j: M7 a0 P4 A+ u

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 0 \: s9 \+ P! h[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| ; q) \. ?, d6 T+ z6 ?( c

, n7 P! \0 V; e

5 Z+ I& }, L6 T) c# T
6 h- r1 U6 T2 \4 R如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
9 ]7 W) R! I8 p; f但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
" @% A/ @  N( k1 Y% u  pC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

; P! }+ q, \1 G) F# d) y' H( D2 p