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

蕾欧娜

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

[size=1em][size=1em]  class   `% q1 x6 x2 x+ \9 O[size=1em]      InterfaceU1 ; f; [; U" V+ c3 A[size=1em]  { 6 ]; Z; I& o' y: }, N- ?' @* d3 `: A[size=1em]  public: 5 f! i/ p" e- o[size=1em]      virtual void func1() = 0; [size=1em]  } 8 _$ L0 X( t% i& J. T 6 @# H1 U+ X. p; J1 Z+ A[size=1em]  class [size=1em]      InterfaceU2 [size=1em]  { [size=1em]  public:   O2 x6 {4 t+ y" ~! w[size=1em]      virtual void func2() = 0; [size=1em]  } [size=1em]  class [size=1em]    Wrapper ' P! {% k0 m9 X% ]) s8 M" J& u! }[size=1em]  { ; h. M( F$ j$ _8 Q( u/ c& w# F9 L[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } [size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 1 S" ^8 R  y0 k0 h( z9 e0 r1 w[size=1em]  { [size=1em]  public: " v3 t, M$ j: y. h! _3 k% T' F; ^[size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { [size=1em]          return this; 3 E3 e, S$ {1 k$ |3 U" d6 q' v! D[size=1em]      } ) F3 Y) F8 d7 g# a  C[size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { 7 p8 ~3 \. z8 N2 H [size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() + P, A3 h! u) V[size=1em]     { # l. X: ^4 G! ?. a7 i9 \[size=1em]         printf("%s", "func1"); [size=1em]     }   n& ^! H4 a  |" J( }[size=1em]     virtual void func2() * M! x5 Q+ M! c+ K% ?! z( c[size=1em]     { $ ]% D4 b: x7 s0 \- x5 r[size=1em]        printf("%s", "func2"); [size=1em]     } 7 ?+ v" ?4 H3 P8 H[size=1em] } 5 \) g( e) v& D; l& v, Z

' f6 @# H; Z! K3 W3 O  J+ g
5 J( ~+ X; t/ G假设有如下代码：
7 T$ h( P1 w: ?; r; ?8 Q* Q[backcolor=white !important][size=1em]PHP code
+ A: a, q. ~8 z" E

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

[size=1em]1 1 K% H' g7 j: R [size=1em]2 8 U& V3 |7 W, ^! b) ]9 x

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); - C5 A8 P3 m4 d  Q 3 U! o# X- L+ x9 r

其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
/ }1 E- n; l1 W

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

[size=1em]1 ' t9 e. J8 N( y! A [size=1em]2 5 x" [+ Y% |# z [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); 3 X* o: G0 |/ H" @+ s; c[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1(); 4 U$ ]- ^2 s; D9 _; }' W ! U$ |1 P5 O% |; E

/ w# N  S' c0 h& X$ Y$ H4 Y3 w              C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]         PHP code
' m' r1 l6 B2 r3 U  @4 [7 z

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

& E1 e3 Y& B1 Z& c' n

[size=1em]1 5 C6 w5 U5 ~! q  r5 ^( s$ Z [size=1em]2 [size=1em]3 [size=1em]4 ; X- x8 c: \5 [0 w7 Y+ ~, p

[size=1em][size=1em]   " S. H% L. Y# x% |" _8 r[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]  vTable:InterfaceU1 |Base::func1()| 3 k- l$ Z) S, j7 l[size=1em]  vTable:InterfaceU2 |Base::func2()|   J( e1 }' [8 T8 a6 n' }/ Q

$ j2 x4 r( k/ {% |; R" ^6 Z5 x

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

6 @2 n& g& J* T6 V3 F' v& r1 U, W