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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 2 S9 ]5 z" X4 Y* E! {% @[size=1em]  { $ g7 s0 A5 ?2 T7 t/ x[size=1em]  public: + ]3 y% t% w, w, y7 N! C* W[size=1em]      virtual void func1() = 0; 6 t. Q# x# {# M[size=1em]  } $ l+ v3 V2 l% k. L ' X- R: y: _' @8 `1 h2 C[size=1em]  class 3 a: v! n2 [4 |/ v, e0 k" D[size=1em]      InterfaceU2 [size=1em]  { [size=1em]  public: 2 O& m2 X, R# Q4 b[size=1em]      virtual void func2() = 0; $ u1 m9 ?% o( ?5 m+ g[size=1em]  } / `5 V& x3 [4 x' o6 c) ]- d [size=1em]  class [size=1em]    Wrapper [size=1em]  { [size=1em]  public: * w7 g+ ]9 P  p/ s[size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } " e$ X0 L/ S1 ]. ]% V: V! \4 g! x3 i [size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { [size=1em]          return this; [size=1em]      } ; T6 y/ C6 r, f3 W  k7 q[size=1em]      virtual InterfaceU2* getInterface2() : R# c: J: u/ Z; Q[size=1em]      { - ?& f( ]# W: T+ O  N" C" ]/ Y5 D[size=1em]          return this; 6 A1 ?2 u4 M4 ^! f0 m& |) o! t[size=1em]     } [size=1em]     virtual void func1() [size=1em]     { , ~4 p! D5 C" b) n, Y[size=1em]         printf("%s", "func1"); 3 \, B/ c: j% _+ Q$ L4 V* D[size=1em]     } , ~9 z9 Q7 p+ ^8 y1 W$ ^% I! K [size=1em]     virtual void func2() [size=1em]     { " P% g, K  x" [[size=1em]        printf("%s", "func2"); + e6 s; d7 v% S; M( q. o[size=1em]     } * [. @0 f. G  i  r, o2 M6 _5 {) O[size=1em] } $ L9 H- T, C( R

假设有如下代码：
% _4 e) Y' S1 B. E6 @" T) Y[backcolor=white !important][size=1em]PHP code

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

, Y7 c1 {3 K8 z% h3 e8 J" U5 }( E

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

[size=1em][size=1em]Base* pBase = new Base(); / C( @% w/ B# a; a, ^6 f7 G[size=1em]pBase->getInterface1()->func1(); + o$ n# r* Q# e& b- d( H

6 R3 [! B9 P9 f9 B0 ^
其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
% T; a8 r. t* `' t! k

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

: Z: s" y* H% w8 E, X# @, h! Z% I

[size=1em]1 7 H* ?+ {. ?2 T! w/ l+ o# y+ E [size=1em]2 [size=1em]3 5 b+ g6 ]; ~' m& Z' [' b

[size=1em][size=1em] Base* pBase = new Base();   _  y7 T* i5 |% [# }[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1();

! w. o0 }$ i- u5 \8 G2 N
1 ?: K( _& h; X1 E- _& O- G
: u* M. F) n$ t! M6 G" |* u9 ^: F

              C++编译后，Base类的虚函数表如下：
- l- Q' m+ }8 V) S3 T9 B[backcolor=white !important][size=1em]         PHP code
+ R7 |' v; q. w* H* B, Y1 l

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

8 ]) @* U' M' m2 ~9 U; _6 Z/ r

[size=1em]1 [size=1em]2 [size=1em]3   E* O8 S) F2 \; k [size=1em]4 - ?7 `" k, q; Y3 ^% W

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| & }) ]3 B0 b% L6 `/ U3 V+ F' T" p[size=1em]  vTable:InterfaceU1 |Base::func1()| . R4 J+ e3 J5 S6 d[size=1em]  vTable:InterfaceU2 |Base::func2()|

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

8 M8 f# U1 o. E