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

蕾欧娜

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

[size=1em][size=1em]  class % t' b* X  w7 K& q+ a0 ?2 q[size=1em]      InterfaceU1 [size=1em]  { ( N0 M3 S( V6 Y% ?[size=1em]  public: / t" m5 h! y6 p! S[size=1em]      virtual void func1() = 0; - `) \# B7 J# s# V6 o9 I; O[size=1em]  } & _5 ]7 T! Y/ D [size=1em]  class [size=1em]      InterfaceU2 [size=1em]  { 8 ~5 e/ g( V) E5 l7 f8 H[size=1em]  public: [size=1em]      virtual void func2() = 0; [size=1em]  } [size=1em]  class 0 h/ ?, j( f9 X! I  X1 E$ q+ B: b[size=1em]    Wrapper [size=1em]  { & B+ |0 e4 C/ U% F4 [" L[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } 2 m7 j8 Y2 S9 ]3 y' o# T9 T, ]" R$ S [size=1em]  class , p2 F6 L: j6 D/ f& s[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 6 K; v# k2 y( P9 J: r# F  w+ R- _[size=1em]  { [size=1em]  public: 7 h4 m, X# g7 A3 h- e[size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { [size=1em]          return this; $ A' k; [5 i+ l3 ?3 K[size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() . P$ b1 v9 \& ]: C[size=1em]      { ' u2 o$ M$ l7 J  { [size=1em]          return this; % d9 y9 H9 H1 L' R  P$ J0 ?[size=1em]     } ( _% G  H6 y7 V2 P8 m" t' z[size=1em]     virtual void func1() [size=1em]     { [size=1em]         printf("%s", "func1"); [size=1em]     } [size=1em]     virtual void func2() 8 d1 ~1 x9 x1 G* e[size=1em]     { ' [' B6 m% T" z, b9 G[size=1em]        printf("%s", "func2"); [size=1em]     } [size=1em] } 6 F, H% S1 F) t8 n# e

+ B( g" E3 u1 O, E8 }6 @6 J

假设有如下代码：
+ U: ~" g+ G: |- }' S# O2 n% w[backcolor=white !important][size=1em]PHP code
" F- R, D8 j2 H8 l& n3 E

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

0 L* J# P- S! V6 X+ r7 o

[size=1em]1 [size=1em]2 % N0 B5 t2 i4 d/ W" H6 W; }

[size=1em][size=1em]Base* pBase = new Base(); 8 t# o: j' l" ?- F0 I! J[size=1em]pBase->getInterface1()->func1();

8 E. V9 a; M7 K* S& c
( \4 g* |3 u1 k
' d4 w$ C! V8 y* v" \4 A$ e8 b其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
* W. }7 ~2 q, D9 U4 X4 Q

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

[size=1em]1 * P9 J' ?# z, i4 p [size=1em]2 [size=1em]3 7 s. S7 v$ W, O' u6 \

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); 4 ?; L/ `) c) A+ e; K[size=1em] pInterface1->func1();

3 r3 m% l  `* P4 z
              C++编译后，Base类的虚函数表如下：
5 N# ~# _5 h2 [& j4 j- B# G[backcolor=white !important][size=1em]         PHP code

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

  ~) R8 Y  v/ J: z8 Z% r: \0 N

[size=1em]1 ( [, f5 ]8 v- l( f2 [& s [size=1em]2 [size=1em]3 . y$ g5 Z5 w2 g5 X, {+ P [size=1em]4 ) E1 Y+ Q! }4 Y3 j3 P$ ]

[size=1em][size=1em]   0 D# O$ K* y# r2 C0 d1 E) ?5 E[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| ! p" D" O0 z6 n; W* _& \% z[size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()|

8 l2 w5 d0 j0 ?, q4 L

; v4 e) u/ X6 k
     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
) x7 u5 q' ?: F1 c# s    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
6 ^" w" C6 R" N/ `1 D2 [    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
* E" C9 b" @5 B! Z; S3 o9 Z- l8 N