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

蕾欧娜

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

[size=1em][size=1em]class 4 ^. ~( z; q' ]8 `& |[size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: , V3 Y: D3 ]6 J- j- ?7 ]! A[size=1em]    virtual void func1() = 0; [size=1em]} ( }/ T+ X$ F% |' Z: ^ 7 X" f  r# I2 R2 I. K" Q4 L% f  o9 P[size=1em]class [size=1em]    InterfaceU2 7 {- o0 V9 I3 Z: z[size=1em]{ [size=1em]public: . S- v1 g+ ~8 R) Q. i/ e[size=1em]    virtual void func2() = 0; ( _) k( p) \/ C, _; R; X& `[size=1em]} 2 C% B+ u3 K8 n' c* Z4 H[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]} [size=1em]class # \- z) F2 c0 O' _7 L+ T' k[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 7 O1 s1 X* c5 j6 n7 q[size=1em]{ [size=1em]public: . s5 ^' }' E* _$ Q) v: C* K6 |8 S[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { 8 V, V5 _' {9 ~: B7 Y4 C[size=1em]        return this; ( f2 F9 {+ u8 o( m[size=1em]    } 5 r& o; E  B# f; U[size=1em]    virtual InterfaceU2* getInterface2() : m. E! Z6 @' Z: N8 y8 Y% E" r( Q# ~[size=1em]    { 2 l8 c- Q, h0 J. M+ \8 s8 _ [size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() / H5 `0 x2 }) g3 o2 N3 V! }[size=1em]    { " m, U6 ?0 R0 T[size=1em]        printf("%s", "func1"); [size=1em]    } 1 f7 Z, e' t  e* Z6 k$ M0 k [size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } ! O9 v5 {& O4 u[size=1em]}

" n$ V$ i( G& x) F. M+ U假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

! ^8 S+ V! U' c+ c. P' C

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

[size=1em][size=1em]Base* pBase = new Base(); ) S4 i: |7 h( y% A" r+ D" H/ N' X% t[size=1em]pBase->getInterface1()->func1(); # {* {. X$ @" u" ?* H. v) V % K( {& F5 }: _) V( v+ A% U9 d

其实以上代码等于：
/ d4 n+ c8 C; T4 r1 Z5 O[backcolor=white !important][size=1em]PHP code
6 V+ z5 X& a) \! c' A$ R0 [. u

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

1 `% \: A+ @0 N( V; o3 I

[size=1em]1 6 ~4 \2 J2 M+ W* O. m0 z3 | [size=1em]2 [size=1em]3 / z3 R& Y0 C# ^4 F0 {! O# l9 ~# \- ?

[size=1em][size=1em]Base* pBase = new Base(); ! ~7 K+ D% @8 B# i[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); 6 `& p# F# Z8 O: q 7 _8 i+ I6 J5 S/ r3 w; t4 v

8 p6 K6 C6 I- c0 w$ ^
* \% I, L3 `' g2 r7 \* X: |


C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code

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

' ~& w9 {5 }; u& D; E. ~4 Z0 d

[size=1em]1 [size=1em]2 9 g" W( r. G1 i, T/ _ [size=1em]3 0 ^3 R; e$ l/ n( `# \* w% d [size=1em]4

[size=1em][size=1em]   6 _) _% I0 s( G! _/ \/ j9 B; {[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()|   z5 g5 y3 Z0 ][size=1em]vTable:InterfaceU1 |Base::func1()|   E1 x4 h& [3 Z# D  V[size=1em]vTable:InterfaceU2 |Base::func2()| 6 P' S9 u5 C% J8 {( X" ^# { 1 [; p& \+ y! {2 b

8 E2 Z6 A. H  h) e! e3 g% i


如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
  A$ m8 A8 x1 @% r& L9 F: sC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）