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

蕾欧娜

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

[size=1em][size=1em]class $ C6 S; |' }$ Q- Q[size=1em]    InterfaceU1 [size=1em]{ 2 W. y8 f  l( `[size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} " n0 {+ u/ e/ S# w 1 g7 N" c: L! V* L[size=1em]class ( [# K! \. c4 j# Z# b[size=1em]    InterfaceU2 0 |3 z  Q. d2 I% f7 B; X5 w[size=1em]{ [size=1em]public: 5 w6 R  J: f3 n* F! w[size=1em]    virtual void func2() = 0; [size=1em]} ! t- f1 I2 `; V' X) t; p( j[size=1em]class $ }' X* U; d, q7 @5 H[size=1em]    Wrapper 8 t3 w0 [6 l: b$ [% v6 G: [+ I[size=1em]{ 7 M; J" n% u$ J. R5 I' F0 l" l[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; - ]9 h) i9 T$ X' R5 K" `- y[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} & V! I$ A. q; b. h1 e1 O, g. U[size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ 6 E  m- k9 S7 _# q3 \/ Q[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { 9 J: F# X# l' N4 k) U* |3 _[size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { [size=1em]        return this; 2 G# K9 k+ e/ ]7 A+ x[size=1em]    } 3 W( z3 b! F  o' B7 T6 q[size=1em]    virtual void func1() [size=1em]    { [size=1em]        printf("%s", "func1"); * u" N  \& w  E  h% p% T4 V" Z! u[size=1em]    } % r, [2 [' N& P1 c  H3 Q" ^ [size=1em]    virtual void func2() 9 O& A& M0 r/ k# o: q2 N, a, w[size=1em]    { + m9 s" g: a' _# z1 I* h% k  ][size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]} , _: l  E, w+ L  V! i 5 v1 c( V' q0 G- Z) \# z

' H  v& X: K6 q' ^! N
& @" E- C' _9 S) Y2 `. z" H假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

6 Z, e0 x% s7 s+ Y

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

[size=1em][size=1em]Base* pBase = new Base(); , x! V) ~! C/ n4 }) d" C[size=1em]pBase->getInterface1()->func1(); ' n9 u6 ?2 D8 }6 G8 ~8 W# R

9 l/ X6 c# c/ n; x- K+ d; g
' m- C  b  L: r( f- _0 i! K
  D: U- B* L! a# A$ _其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 & k. P& D5 {$ K4 v1 g! O9 H [size=1em]2 [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1();

+ a" D' M+ t# z& f; x7 h4 j

. W$ E5 [2 S* o0 j/ V
" ]' ^' a  Y2 ]3 B( L& J" ^C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 ( ~  T" p- |3 H7 | [size=1em]2 1 K% Z1 O6 W: K8 ^7 E- j3 C. ?) D [size=1em]3 [size=1em]4

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 7 l, S$ K$ F; J9 O4 @9 N[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()|

如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
* v- {2 m3 f# e9 ~/ K+ N但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
2 v0 I4 I7 t/ X' cC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
! y7 U) R+ O, C6 a8 S, h
) u2 |7 d+ z# X) h& g; b