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

蕾欧娜

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

[size=1em][size=1em]  class ! X1 e9 u3 }/ K5 \, I) o" v[size=1em]      InterfaceU1 / n, R( A% b, [1 i[size=1em]  { & r8 e* o; u* l5 U! l0 B. E[size=1em]  public: 0 j4 f2 v- {; d' I% |% a[size=1em]      virtual void func1() = 0; 3 ~8 H. F' u# N+ B" D, K[size=1em]  } 6 I& s7 s2 d" l8 v& a( | [size=1em]  class [size=1em]      InterfaceU2 & ^; ^; W  y6 R+ _$ e& Q% ^" R7 R[size=1em]  { $ p- s( I7 I2 L# t& x3 x9 ~# c[size=1em]  public: % C7 B9 k. Z  |0 [1 I& _& v& d4 a[size=1em]      virtual void func2() = 0; ' T9 ^" Z2 F+ i/ \* i" L[size=1em]  } 4 \- q& t$ z" D1 T( C8 d ) g; a2 u8 X$ Z5 B  q  b/ q[size=1em]  class ' M6 ?3 W1 a$ P2 ^6 c" C1 c# w[size=1em]    Wrapper [size=1em]  { [size=1em]  public: ; k5 Q7 k  A! \' l" e# l4 q[size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; ) F9 ?5 s5 Y, }6 f[size=1em]  } 1 H( O/ S& x% X) r[size=1em]  class   F9 j0 [4 Y- N5 X" D7 }[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { [size=1em]  public: ; q) {8 D$ M; C3 k+ T. T[size=1em]      virtual InterfaceU1* getInterface1() & k+ P. A: x+ b$ H4 y4 o/ Q[size=1em]      { [size=1em]          return this; 8 O/ d. J' {" Z, Q[size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2()   |" y/ r) w1 L' T6 b' R( n9 v[size=1em]      { 3 O+ e; A9 U/ \1 o" w* S3 |- t : g; a1 ~& I, L7 X$ P6 B0 X& t4 s[size=1em]          return this; 4 ]! b7 s+ y1 Y$ a$ p4 ?. R4 F[size=1em]     } [size=1em]     virtual void func1() [size=1em]     { / y7 T4 H3 R7 D[size=1em]         printf("%s", "func1"); [size=1em]     } % \8 d1 k2 {/ w- o8 T, Z[size=1em]     virtual void func2() [size=1em]     { [size=1em]        printf("%s", "func2"); [size=1em]     } + p. `: h3 F+ [8 J% d% z* P/ ^[size=1em] }

/ I4 U/ o5 ^1 m" P, u; {3 @

假设有如下代码：
& m0 o- b& R, n8 J) h* }; K[backcolor=white !important][size=1em]PHP code
: @( A" p+ r. r

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

[size=1em]1 1 T7 `! l/ x6 n6 X9 s [size=1em]2 $ |+ ]* V1 M3 c5 q0 H9 [" o

[size=1em][size=1em]Base* pBase = new Base();   S+ P, C) Z4 p% G4 `$ a: ?[size=1em]pBase->getInterface1()->func1(); " C+ F9 s+ q; P9 Y

) O, B" y0 o( G1 O6 z

其实以上代码等于：
6 ~  o& C7 y( j! {. t- K[backcolor=white !important][size=1em]PHP code
7 a. d6 `! c4 {8 W3 ?( I6 {1 C

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

1 M7 I/ J! R1 U/ a: V

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

[size=1em][size=1em] Base* pBase = new Base();   T! B9 D6 A; a# C( r1 ]) v[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); * a; A. A5 X# M+ e4 I9 D[size=1em] pInterface1->func1();

# c' Y0 H* \3 A  f  o9 V

; W. d. ^3 x. S3 L5 Z4 b
4 n  E, I$ ^* e% l" D% @
" ^* l* h' M, H7 e              C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]         PHP code

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

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

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| % O' A0 V6 I# j- k5 r: u) A[size=1em]  vTable:InterfaceU1 |Base::func1()| ) H. P! T/ w* h' j- e' O[size=1em]  vTable:InterfaceU2 |Base::func2()| ' U  V# h4 P3 u 9 W- a* E+ s1 V  \( k

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