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

蕾欧娜

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

[size=1em][size=1em]class / p; d0 h# m! Y$ H) W2 g6 F[size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} + y& v. L1 T0 R- O; c' s0 d7 {2 b( J 0 L' u; \3 X4 n3 ^- Z[size=1em]class [size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: " e0 t: z# |$ J0 M  j5 w[size=1em]    virtual void func2() = 0; [size=1em]} ! h. O2 i, Q" F0 p1 d/ F [size=1em]class 5 u4 J& c# h! S* A" E[size=1em]    Wrapper [size=1em]{ [size=1em]public: . N6 Y* C; U5 H+ J! U8 a( E  X[size=1em]    virtual InterfaceU1* getInterface1() = 0; & g. [  V8 Z1 b3 Y$ I* v5 B- P* R[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} 0 s( _, j+ F7 e- o, w8 w9 W ' F. U) @& t7 q( h3 R: `1 b[size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ [size=1em]public: 2 b" f3 {& t6 S5 R* \[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; & a( Q" H9 @! A) n  w8 i4 }9 |! i[size=1em]    } 2 P) B1 y" u5 I! J# H% S7 ?[size=1em]    virtual InterfaceU2* getInterface2() % F' s* v2 X1 ?[size=1em]    { [size=1em]        return this; [size=1em]    } : r! K, ^3 d) }3 ?( l[size=1em]    virtual void func1() [size=1em]    { 3 b  O1 {. i) H' [& ^- o[size=1em]        printf("%s", "func1"); [size=1em]    } / f2 W2 B0 Q! I! m! j2 j0 Y% W! e; i1 y[size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); . W$ S% g4 j; \- }$ H[size=1em]    }   k* C& M, T' @0 B! B- p. d0 v[size=1em]}

7 c4 ]% y- P2 P% D/ x9 k# N
5 u) N, W2 N7 Z  H
4 ^7 d0 L* z9 {4 o) K假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

/ _! d# W/ ~& m  e

[size=1em]1 % I$ o6 Z  g. ~% M5 _$ d& O [size=1em]2   Q% }4 p4 k" Y# Y( X

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); 9 T6 j4 {9 x% `% s : R% }* S  x( l8 D2 K) X

6 z0 P$ z3 r4 m

其实以上代码等于：
& T! N6 y, b5 F# K1 _3 H' |[backcolor=white !important][size=1em]PHP code

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

8 l! c: I8 X: ~7 q( I% }4 l! |- x

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

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

: H" p& G0 r8 \  k: m$ z
5 X8 @# e+ C5 X) N6 K# H
5 [  Q+ [' {7 J) |+ W4 g" J, c
C++编译后，Base类的虚函数表如下：
  [$ z' Q4 }  l' T$ f[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 7 E0 C, I; ?, ~ [size=1em]3 [size=1em]4 2 D4 P/ U. C# N, {0 b3 P

[size=1em][size=1em]   # D( |% H4 I- Z& K# r[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 4 L* N- }0 t7 U0 Q# b8 l. v[size=1em]vTable:InterfaceU1 |Base::func1()| 7 r3 R8 z! O" u* M  q: ~* ~% n[size=1em]vTable:InterfaceU2 |Base::func2()| ) |8 G* C+ r; G! |+ d8 |

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