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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 [size=1em]  { 5 y: S6 p% Y; A4 ]9 `; _  U0 V; `[size=1em]  public: [size=1em]      virtual void func1() = 0; 4 `8 R9 n* v/ U7 n" B. r[size=1em]  } [size=1em]  class [size=1em]      InterfaceU2 5 u/ a; z% R7 a[size=1em]  { [size=1em]  public: [size=1em]      virtual void func2() = 0; [size=1em]  } 9 U  ]$ M( W# m1 b+ S [size=1em]  class 1 s: B: V+ r. A6 G0 L( W[size=1em]    Wrapper [size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; 2 D5 t) ~1 d# l7 ]0 S8 J[size=1em]  } 2 a- b+ _1 w; A. l/ T8 A[size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 1 f( ?* t: x; M9 b! v6 b. u[size=1em]  { 9 ?. J8 x7 ?# _. d[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { & e8 D" Z  x1 e# W. G0 b0 S! E; l[size=1em]          return this; [size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2()   t: R6 X) `5 E" k; Z& d[size=1em]      { , x8 J; \3 E, h1 D$ | [size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1()   H& W9 H" n6 `' l[size=1em]     { [size=1em]         printf("%s", "func1"); [size=1em]     } 2 F9 {2 j. n) i$ b' S 0 t$ U$ M4 l9 i, Z# P. t[size=1em]     virtual void func2() [size=1em]     { ; o* n! M; w7 e1 i! J[size=1em]        printf("%s", "func2"); [size=1em]     } 9 L. P0 p4 _' |$ z[size=1em] } 8 w3 t) l; J8 E# k

' q: \" y, D. {7 O- X' E6 N1 R

假设有如下代码：
: Q7 `! V5 R: r& \& J' T[backcolor=white !important][size=1em]PHP code
; Q) K7 ?4 {( r2 F

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

[size=1em]1 [size=1em]2 6 f1 f$ |2 |1 l9 |: M( N

[size=1em][size=1em]Base* pBase = new Base(); 4 y# ]2 Q' u. e! H[size=1em]pBase->getInterface1()->func1();

) j1 y: D+ l6 }% A3 D9 M

% U2 X1 e* ]: l% ]5 o9 \其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
# B  z" X' b4 s6 C8 c

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

. D7 v2 x! s, b9 r

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

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); * c; h6 ]. E3 s0 X; L2 n' a5 q2 m( h[size=1em] pInterface1->func1(); % l- w5 b( E3 ^; X, O+ l

8 U8 @2 V% r8 n+ h2 G
+ J$ U, j' [! W  o0 h1 a
$ O, i9 K) @3 L$ M% {8 ~# |
9 F1 T1 I% G3 o! _3 N' ~1 ]# Z1 E              C++编译后，Base类的虚函数表如下：
) L. |- ^0 ]3 X1 }[backcolor=white !important][size=1em]         PHP code
2 R5 p( O! m/ w0 s

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

5 b) u  h/ O% p# Y* [

[size=1em]1 + J8 j) L- I9 `( i+ E5 H! |. ?+ R/ A8 A [size=1em]2 * G5 D$ i. `4 }$ c: d5 _ [size=1em]3 [size=1em]4

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| - S. `+ [  b5 f* F[size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()| + B1 q6 b1 D2 M$ P: w5 U6 Z0 R

1 g/ H' }8 T% L/ A- G
. L- |  J& H% O1 m4 l4 H2 ~
" [6 F8 f( e* X* ]+ K1 R9 ]! X     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
. L& a' {% i' W9 a2 H1 L: p    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
: f+ `1 m5 N" T' V4 t# d* C    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
: a8 F/ T: q7 V: K+ j- s4 W7 i
6 ?+ Y' x1 K; E& n( t