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

蕾欧娜

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

[size=1em][size=1em]class % T( b0 c2 v5 T' Z[size=1em]    InterfaceU1 * F; O+ O6 U7 W* A[size=1em]{ [size=1em]public: 8 Q% J8 {) g$ Q* |. f[size=1em]    virtual void func1() = 0; ; H/ J, a5 q# e- p0 ~2 ^[size=1em]} 7 d! k5 c5 o+ K" ~[size=1em]class 3 D3 t8 e9 i0 _9 i6 x[size=1em]    InterfaceU2 [size=1em]{ 3 e9 v8 q# K* X* @; T8 Q/ F9 Q[size=1em]public: [size=1em]    virtual void func2() = 0; 9 _5 j' Q& F5 K% v8 b& E: J[size=1em]} 8 s" S- M4 r7 I+ J0 G [size=1em]class & l! B0 v1 n" q3 ^[size=1em]    Wrapper [size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; 4 X8 b/ f1 @0 p" L[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} [size=1em]class , w* }% T, F# w6 O2 V[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() 5 e# n5 W2 A" ]0 q[size=1em]    { % R: I, l. X' P) C4 |4 N# Z2 D% N[size=1em]        return this; / m. }$ J& _) A8 e; W[size=1em]    } % b$ L$ J3 N3 {3 V9 f/ d[size=1em]    virtual void func1() 5 s. v& q" Q/ g9 v) F[size=1em]    { 3 q* ]9 Q3 l0 z( M+ U[size=1em]        printf("%s", "func1"); [size=1em]    } [size=1em]    virtual void func2() 8 {/ ]0 n: }& o9 ^' L. Z( r[size=1em]    { 2 d) U4 m0 _: }+ f4 v6 x[size=1em]        printf("%s", "func2"); [size=1em]    } 3 y+ X5 ?. U/ K3 T2 q' D4 f2 H[size=1em]} . T: v3 V( p; O* L# O. G5 Q* j

, L  N& g- S. H$ {5 @# P
7 I1 o" I- V1 r1 Y7 J; L7 w假设有如下代码：
  G  M. g7 q9 U0 W! z2 H[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 / {, U( I. B* i5 K; ~! B [size=1em]2 / w7 l7 s" C0 K' ~

[size=1em][size=1em]Base* pBase = new Base(); - x6 T. M! E7 x0 |* A: e[size=1em]pBase->getInterface1()->func1(); 1 Q. s/ ^2 Z7 [2 r: E  z$ J - _0 |4 R) r( T6 k8 L4 B

其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

/ U. G7 u4 }& D, L  P9 O- |

[size=1em]1 5 h' C' R# O4 v8 N: A1 E. n6 B [size=1em]2 [size=1em]3 * p3 S% D" @, d( v1 h8 v

[size=1em][size=1em]Base* pBase = new Base(); 8 n5 T7 W" C( ?[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); ' [0 r- T& l3 S) `8 F7 Y[size=1em]pInterface1->func1(); % _0 R" X* q+ r' H : l0 c. W" f, O# l2 g2 S

5 u8 z. @1 M' S* C6 Q

# X$ `$ J" q1 R: z( x+ c* q( E7 q

C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code

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

- y! e9 m5 Y! }  Z& U8 m4 q  M

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

[size=1em][size=1em]   " R; f. B+ d: P; t5 ~# B[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()|   y- R; v& I) b7 o[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| ! P& e0 d* [, v7 X& \

6 @% P) m0 s+ ]* P5 z
3 i2 a$ n9 Q/ p" r9 R
8 F# V, g# K, A% l/ E如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
, H4 x0 x4 p/ x; j