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; [size=1em]  } . r- a8 a7 U9 D- y% q2 I0 z & @* Q5 o/ R( |, N" x: v[size=1em]  class 3 ^/ [6 p8 ^7 z; p% ?[size=1em]      InterfaceU2 & N' s% s3 [- n; U[size=1em]  { [size=1em]  public: * F6 L4 X! I- b" K9 N6 K; s[size=1em]      virtual void func2() = 0; [size=1em]  } [size=1em]  class 6 `1 n: e! d+ J6 n& ][size=1em]    Wrapper ( A8 n1 v& d, R+ {# _' _- S[size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } [size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { [size=1em]  public: , e7 S) `+ Q& \[size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { & y( m# q0 I. J9 m7 N  \' Q( h8 c[size=1em]          return this; , n. `' V* i* u5 U5 }- v( {[size=1em]      } : ]* R  w& A7 x' J: }0 u[size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { 1 e0 f9 m! K& L6 C* B3 C [size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() [size=1em]     { [size=1em]         printf("%s", "func1"); [size=1em]     } [size=1em]     virtual void func2() 0 J9 r: J# l2 |3 X[size=1em]     { 3 I6 g: }8 J! r7 |9 `$ V3 w[size=1em]        printf("%s", "func2"); ; M( c; z" V7 \6 I2 G9 C: o- D[size=1em]     } ) t' R( c, h0 i" G; V+ `( F$ {[size=1em] }

! d. T& i* t; z: T
& C: i; u8 \! Z4 j) E2 [, _假设有如下代码：
3 p1 S, t, e4 G+ o, m1 U: V" h[backcolor=white !important][size=1em]PHP code

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

7 R6 J) e# C' ~  t& N; u

[size=1em]1 * k( O7 a  }: a, f7 p [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); + F5 U) q6 E( o3 d2 s4 h5 R 3 j+ C0 s' M- n& c" B; S$ m" u$ V

! g4 _7 Y3 @6 F. l) d

; W# o6 A; ?. I4 ]6 |/ u其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
3 a& c5 N) o9 H9 m

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

[size=1em]1 6 V# C8 B7 ?# |9 Q3 i [size=1em]2 - Y( J* c/ L9 v" o2 m5 y [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); ! P  V$ t9 E, ^) i/ n7 T[size=1em] pInterface1->func1(); 4 Z) }; Z% q( b8 L3 L. s

; |& z3 G) X: l! m2 L6 s% D
+ G/ \! L( s% o2 @* g" r+ z0 S$ f
7 W, ]( v+ w! I( U5 e

8 }4 L: a# `6 C8 s. L              C++编译后，Base类的虚函数表如下：
! b/ O8 r, U$ v[backcolor=white !important][size=1em]         PHP code

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

[size=1em]1 5 i" S6 Y8 w- B0 Q [size=1em]2 , p  X8 I/ V  h7 w) e( O [size=1em]3 [size=1em]4 : a4 n8 {0 b% l! o

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()| 4 j9 U$ `& ?/ a+ Z8 }* o+ v$ G8 d

' X& u' k0 F1 g" n/ E
3 T' T7 [7 O/ ]
& P+ H. e2 c& g4 C0 d
# \9 [' B% j% f, ^7 ]     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）