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

蕾欧娜

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

[size=1em][size=1em]class ) T; |# v% x2 N' X( e4 A9 m: b. o[size=1em]    InterfaceU1 [size=1em]{ 7 F" ^9 r9 W; F$ [% T/ G; G4 P" z[size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} & e; ?9 [2 r% |4 i& E [size=1em]class [size=1em]    InterfaceU2 5 V, m  h) ~; @4 v$ H1 Z[size=1em]{ 9 @8 G/ T4 e) z9 y5 \5 l% s1 f[size=1em]public: 3 K; w  `6 \0 m4 d$ v$ \1 U[size=1em]    virtual void func2() = 0;   T0 }" D0 ?7 B' C" X+ f$ w[size=1em]} # W5 B2 C6 Y5 a' b+ s[size=1em]class [size=1em]    Wrapper [size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} 6 q1 Z, w# v, m" Y! ?$ r" E0 J6 M [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 + |2 U# _/ d. r: j- R; F[size=1em]{ : _7 C5 O3 v. E  [& y6 _" ][size=1em]public: 0 V1 B# E4 _0 y$ c7 e[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { 5 p; a, Q( o$ e+ g[size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() + m0 w% x$ H" _. F" P0 ^! R[size=1em]    { [size=1em]        return this; 5 o9 V) f/ O# h7 C; O; P[size=1em]    } [size=1em]    virtual void func1() * p. H' G* s8 }) i[size=1em]    { [size=1em]        printf("%s", "func1"); [size=1em]    } # C1 Z& y1 ]. t3 B* ~7 u ' W2 _2 x' Y: {. }. d; G/ ][size=1em]    virtual void func2() [size=1em]    { 2 ?4 l; i8 v9 b/ j% `& N4 F[size=1em]        printf("%s", "func2"); ; ]- C3 }# x# J; k[size=1em]    } [size=1em]} % c- F5 W, l( S% P0 x - M2 J  ^! k# l: j; t- \

! }1 x; t! w% X% O' O: x" P3 n假设有如下代码：
[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(); # F* F, k7 {8 m" M0 E3 o , B1 T( H1 Q) x- P5 b0 z

2 C- j9 L# f& i, w1 k0 r8 `

6 P" ?' I) y; p' |其实以上代码等于：
1 Y! h1 Q" O* M[backcolor=white !important][size=1em]PHP code

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

8 D: Q" ?" J0 {: R* y

[size=1em]1 [size=1em]2 " z1 `) m$ g$ T3 A5 ]. O/ C# L [size=1em]3 * Y2 S6 |) @9 \# S: E8 v2 h

[size=1em][size=1em]Base* pBase = new Base(); 1 T7 ?  R6 E" N) W  e) U4 _[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); ' o! N4 ^7 ]* N[size=1em]pInterface1->func1(); 8 u; Z, o* n& J) E6 X/ Z+ w0 q 2 I6 _, ]8 P6 c- H' [

3 O$ c: C4 {. K6 s& F# K


2 g: i4 g1 \( g; M+ B+ S7 I2 J, cC++编译后，Base类的虚函数表如下：
# t' x/ m: M$ d& t3 t* O& f" |[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 [size=1em]3 [size=1em]4 1 D3 z1 C; c8 x" ?) v

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| ! R2 N( D( Q' r[size=1em]vTable:InterfaceU1 |Base::func1()| . {& o" i8 T1 P4 n; [[size=1em]vTable:InterfaceU2 |Base::func2()| , @5 l* W# M% C/ W/ s; k' e

9 A$ E# l3 s. [* v& j* @如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
  c$ C9 F4 H# P  [但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
6 Y/ }0 {8 a) r* }' [C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
2 d% N( e3 P- O0 R2 b/ h% V6 J. ~C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

! l3 c( d8 K& l