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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 [size=1em]  { [size=1em]  public: [size=1em]      virtual void func1() = 0; 2 Y" o- r  B! m$ K[size=1em]  } ! ^% @8 B7 J6 g1 v5 s / K3 H6 w9 U3 k! T2 O3 Z[size=1em]  class [size=1em]      InterfaceU2 + J+ c" S3 q) J9 A+ l" _[size=1em]  { 8 o$ C. u. z# M2 Z  `5 k6 J' _[size=1em]  public: [size=1em]      virtual void func2() = 0; 1 e9 ]: D+ w' j8 O9 Y[size=1em]  } [size=1em]  class [size=1em]    Wrapper [size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; 4 V  K; |! A8 e[size=1em]      virtual InterfaceU2* getInterface2() = 0; ) n8 W8 D4 W' v[size=1em]  } ! Q0 M1 V3 o! o7 j9 P& ` 0 }  A2 ^  {5 a0 F: }: h[size=1em]  class ) Y. l% S1 K$ m: X  A6 B) W[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 % N3 ?+ g$ o0 W( e- b1 B4 u[size=1em]  {   u& x2 _! n7 o/ R+ @8 C[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() 2 J# ]3 P* V1 J2 a/ f3 O[size=1em]      { [size=1em]          return this; 9 @* Z, V2 Z1 e* v[size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() , ~, x+ W' L, L; b[size=1em]      { # a" d" M  ~) B4 [ ' t& E+ \' d6 e9 x# j( r[size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() ' u, U8 K" ?8 p  ?+ k[size=1em]     { [size=1em]         printf("%s", "func1"); [size=1em]     } 3 W5 q# r2 O+ h3 H: F9 G[size=1em]     virtual void func2() [size=1em]     { [size=1em]        printf("%s", "func2"); 1 @+ {9 I8 u$ r" u0 c, G3 }9 c5 I- U6 _0 b[size=1em]     } [size=1em] } 9 Z" Z# c* [" l# e- [  E ! e) a' |5 h& r, W! ?$ ?

8 \5 F4 r1 N% g5 W  k
, y: ~% O- O( t" m# n7 H8 f2 O3 e假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 0 v$ G6 X+ f, @0 A6 [6 B! q [size=1em]2 : w1 B( `# c1 C

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); 6 F+ `- ?& x0 e& K# I1 V/ u 1 O+ o, N4 b4 g' n( D

其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
  K; d6 B1 O: \

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

[size=1em]1 $ j1 Z% x9 N2 l" t& j1 V2 ~1 p! K" u [size=1em]2 [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); / s6 I4 j8 r, {% b% K/ R[size=1em] pInterface1->func1();

( y, m; W2 ]+ c$ e0 A/ I

              C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]         PHP code
" f  s$ @% ?) b! i) U

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

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

[size=1em][size=1em]   2 z6 D6 _# B8 }$ j+ F* g3 n[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()| ' H" S4 c+ @8 N8 E- E

" G; Z, E3 F5 `: t$ I) j     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
6 Y1 \, s: e5 S6 ]" {    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
& l' B" z: M3 k    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
0 @6 f2 q7 ]9 M! `1 i: h$ H# M    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

% E" Y6 ~. f# ^9 {