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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ " n  v, K' H: V1 _# |( I. r6 [[size=1em]public: [size=1em]    virtual void func1() = 0; $ A9 U9 h% I3 {[size=1em]} [size=1em]class [size=1em]    InterfaceU2 [size=1em]{ : ?$ z% {# b: z+ T# L8 b$ F[size=1em]public: [size=1em]    virtual void func2() = 0; [size=1em]} - O/ K& k5 Q) T [size=1em]class 5 a, u# X1 m5 D8 U[size=1em]    Wrapper [size=1em]{ 1 w2 P" z( @' J; y. V: R9 _[size=1em]public: & f. K) m7 X* Z+ c3 i[size=1em]    virtual InterfaceU1* getInterface1() = 0;   M. e" ]8 r& G& I9 e& x[size=1em]    virtual InterfaceU2* getInterface2() = 0; ' {3 {. y7 b8 k* K7 s5 J) R[size=1em]} . |' a* Z2 ^7 G) U' g) P1 L& ~# e) K[size=1em]class 8 t7 B' s# y, g# \: B4 y9 J[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 3 ^. s/ {, r+ ^% V0 K) Y[size=1em]{ - d* U* G0 e% @, F9 W3 k' j[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { : {. \/ d# B, G% r3 g9 ^[size=1em]        return this; [size=1em]    } ' b' N1 Y9 P' ?8 g" _7 W" {2 i3 F[size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { : Z6 L; X4 P4 k7 c3 i+ G9 [# [ [size=1em]        return this; [size=1em]    } 0 _5 F" D% F* k[size=1em]    virtual void func1() , g, [+ \6 p. W) p, C[size=1em]    { & B9 D. H" W; |. h3 i' i[size=1em]        printf("%s", "func1"); 0 w" w( E/ ^2 j2 A, F$ G[size=1em]    } $ ^* y$ m6 x6 E& s + C* E. V% x9 d0 t; B[size=1em]    virtual void func2() [size=1em]    { , x) b9 a) w) ^" a" b[size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]}

假设有如下代码：
5 E# x0 q$ S* `- `- D[backcolor=white !important][size=1em]PHP code
% ]. b4 ]* @  |0 i$ Q, j' V; J  ?; [

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

; N) `$ g& ]) ?( E

[size=1em]1 & A1 D# G: p9 ^2 v; n- _6 g; G [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); & o+ K8 q+ G" y; ?5 b- h[size=1em]pBase->getInterface1()->func1();

) M! U2 ?* u, K0 N4 K! e

其实以上代码等于：
* l! S; X. x; F2 ?[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 + T* y# X1 a8 J [size=1em]2 [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); ( F* S7 P4 [% p5 q" p[size=1em]pInterface1->func1();

1 O3 h! D1 F7 \5 h
2 M6 I) ]! |) `9 F$ N! ?4 i

& ], R1 d9 Y0 ^1 V# @
/ c/ f2 \* q) W' @' A& mC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
$ ?# t( V( u, N: _

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

5 O7 g( X6 p% R8 k! U

[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()| [size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()|

$ a; H( v! C# B1 u8 L6 ^
# i) y, w8 e& t, T8 ?  ^
: E, \( i$ ]' p" J6 {, F, p8 c如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
( i8 G5 ~: D5 N7 Y但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
5 A5 H2 \1 n8 \5 }: C5 Q
, v: e3 I, E& T) T" t  e