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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: / T) n. X( H& z1 @& z- I6 ?[size=1em]    virtual void func1() = 0; ) s1 a8 s1 e  `& c( A  y; \, y[size=1em]} / r# L3 H6 [2 n: e, Y " V8 \8 H- J3 U[size=1em]class 3 n- N( V0 ^! }" B/ o+ v9 M7 `2 D[size=1em]    InterfaceU2 / X2 Z0 ^' @+ b: @7 J/ `. {[size=1em]{ ) }" I( b+ |5 @  p6 r: j[size=1em]public: 2 }, W# W! K- `. H; D' k[size=1em]    virtual void func2() = 0; 0 i" c5 p" u1 M[size=1em]} [size=1em]class * h- ~& y8 M" ~% M  _' }) [  T/ a[size=1em]    Wrapper [size=1em]{ # V: _/ ]$ T% r2 ?0 B. @[size=1em]public: 7 |, X1 }8 F# H2 |# r! n[size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} ! B0 u( l( `: ^% p, n: c, K [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ " V  }- [$ J- @( S[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() , Z% G6 \; T2 V) q[size=1em]    { [size=1em]        return this; [size=1em]    } 0 B$ A- u3 J3 M& j8 B  q- M' E[size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { . d! R3 F- X+ i, C, P" \# \ , h- g+ ]7 U7 g( x' v( X[size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() [size=1em]    { [size=1em]        printf("%s", "func1"); [size=1em]    } # b7 {  Y  {3 V& y 4 \0 K; [) M) T! j& S7 k[size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); * J, T' T6 a" d5 ]# Y" I7 w) m[size=1em]    } 6 W8 q% c5 p! o- m/ n0 V% z, X/ X[size=1em]} . U- p& L8 x( s* X% u+ B9 k/ r

- ^! Y/ r/ W  O$ m: t0 N- I) U
) D( P, b4 {+ f7 u* C" }2 Z% W0 Z
/ @- H0 i, R# I  o$ b8 b假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

5 l! Q& v2 P4 H/ E+ z

[size=1em]1 2 p1 o8 r+ v( {3 K7 o [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); ! y+ U/ T7 X0 H# P# z8 K- u[size=1em]pBase->getInterface1()->func1(); 2 D4 ~" s- W  z+ k3 j* X! \/ o/ _

3 U0 k  l4 X$ t* F" F( A- ^
" h/ [3 I6 `9 X' u' G7 e
! n% o* m* L, j. m. g6 J2 E其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 & l) L- q+ @# S6 m2 ^ [size=1em]2 5 W0 d6 M1 n" C4 Q  X+ q [size=1em]3

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

5 M+ E4 \, I  I1 M3 i( ^



C++编译后，Base类的虚函数表如下：
8 R( u. ?8 |- e0 \! ?[backcolor=white !important][size=1em]PHP code
$ @  ^% O) L% _  a, d

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

[size=1em]1 7 T1 @% l- q( w3 E4 b, O [size=1em]2 [size=1em]3 [size=1em]4

[size=1em][size=1em]   / \) e) l. [* k; \! ]: O[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| 6 x  L, H, {8 t' Y# h; |' b5 f  X

7 ~1 W3 Q; \( {* s& K: O  B
9 W! ?& r2 m2 r2 [# \0 U9 v2 z如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
& y- [- z& Y0 Q8 F( Z, }( O$ k但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
# O0 j5 h3 v5 q: E+ o. FC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
; b% @. z2 [2 A9 qC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
* n3 Z+ z( F3 @4 ?% M! G3 P
0 W0 {, v# H# h, z1 ]( l