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

蕾欧娜

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

[size=1em][size=1em]class + {& r! H! N, [3 _6 q6 H[size=1em]    InterfaceU1 6 U& c+ M& w7 j4 {6 b2 O[size=1em]{ ; T+ I- `! E" ]* `" H" @[size=1em]public: [size=1em]    virtual void func1() = 0; 7 A( F$ W5 D- G& s2 {( [* O- _[size=1em]} 4 Q" B* \3 @7 {! T/ b5 G5 { [size=1em]class [size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: [size=1em]    virtual void func2() = 0; / t: _0 K$ G: m0 y[size=1em]} [size=1em]class [size=1em]    Wrapper [size=1em]{ [size=1em]public: 1 c8 T' W: f4 R+ v) l5 l4 G' v[size=1em]    virtual InterfaceU1* getInterface1() = 0; 4 h$ e& A1 f4 \2 s[size=1em]    virtual InterfaceU2* getInterface2() = 0; - x" [7 h9 z- ]0 z4 I4 N% J2 u3 J[size=1em]} [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 + q1 A8 ~4 d; \5 e! Y2 ][size=1em]{ [size=1em]public: 1 N  n3 e2 s% T, |1 ^; O[size=1em]    virtual InterfaceU1* getInterface1() ' ]0 A+ E5 P( k( X[size=1em]    { [size=1em]        return this; 1 [) Y  T# v# o6 l[size=1em]    } 5 l+ c0 I+ Q; \[size=1em]    virtual InterfaceU2* getInterface2() ) K8 p% o% F: n[size=1em]    { " T; j# l# k5 M% q* d ( q! E6 ]' W" a8 W9 Y9 @[size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() [size=1em]    { 2 ^" T) J, l" a0 U[size=1em]        printf("%s", "func1"); [size=1em]    } 7 f* W# [7 B2 w  w [size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]}

; ~( w- Z2 }# H$ }3 z" f
% z' o8 v3 L7 p( E/ M/ F* N
7 f( T5 M4 K' }* _假设有如下代码：
6 x' z, R/ Z! l' h8 `+ f: z[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 4 T4 i6 _$ h& M. m* w [size=1em]2 % K2 B5 F! U7 q/ R; i

[size=1em][size=1em]Base* pBase = new Base(); / ?+ T. A" e, V[size=1em]pBase->getInterface1()->func1(); ! @8 F& x: ]+ |0 ^- B9 H

+ T! S# C3 N8 O) @; {
  b! _3 ~) M" X5 h) [
8 x* v' a1 b. c" V" h0 ]其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
) `% H* d( i8 s9 R

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

[size=1em]1 8 F7 N# z# \, q3 ~! d: H [size=1em]2 8 C7 q/ K3 x* N, I8 ^3 h9 i9 W [size=1em]3 ' t! [0 x' R7 ~7 `6 h/ P4 L7 ]! j- D* b

[size=1em][size=1em]Base* pBase = new Base(); , X! \; U  I3 X9 ]6 Y[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); 9 L6 y) h! ]( O! D0 k9 p[size=1em]pInterface1->func1();

: }9 x; [  V: S. i$ [6 }8 E1 x
6 E+ W- d5 N8 {

2 _8 a5 c+ c9 G! V/ @% ]C++编译后，Base类的虚函数表如下：
. y9 D2 f" z7 Q' k2 g* w( Z[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 [size=1em]3 [size=1em]4

[size=1em][size=1em]   2 z1 W" z4 `$ _9 L[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 8 _9 v# Y. \3 `0 m1 k[size=1em]vTable:InterfaceU1 |Base::func1()| $ V7 K; _, J! P* b  P$ S# U[size=1em]vTable:InterfaceU2 |Base::func2()| ( I% t$ R' k- L" I  p9 A, B! t

如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
+ p; O& m8 `. w4 s但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
2 p1 z. ~, k3 P" WC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
* V+ Y: Y# Q3 uC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

0 ]8 w; i' ?9 v. J