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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ 0 T9 w# \8 Y5 k* |[size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} 1 P+ H2 H- T* `* T[size=1em]class [size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: ; p3 ~5 [  G4 T: P/ T4 M: Q[size=1em]    virtual void func2() = 0; 1 K) L: _# F- P0 p( Q3 f1 ?[size=1em]} [size=1em]class [size=1em]    Wrapper 1 q- ?4 w& p# V[size=1em]{ ( ]* f0 _+ A! }: L" k2 r, F* |[size=1em]public: $ v! h2 O" i3 n3 @2 h* ?& ~[size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; 7 z0 U. c1 i3 e[size=1em]} 2 P7 T1 x; s# h; Z# z1 w1 E9 a% X3 n " ]0 w; N4 O+ C& ~% b% V2 V- T; d[size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 , B' g* Z! J, _" X6 Q1 @) X' v% g. x[size=1em]{ / q% ~" O* H$ m" V& [[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() 6 E% k1 ^5 b2 w. P! R1 ]) w* w[size=1em]    { [size=1em]        return this; % G: w, W+ ]0 ]; h[size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() ) S5 x3 L/ ], }5 \0 s8 \7 Z[size=1em]    { [size=1em]        return this; , b6 ]' s% H$ c! f[size=1em]    } 3 Z! H- D' p; h! c[size=1em]    virtual void func1() [size=1em]    { [size=1em]        printf("%s", "func1"); [size=1em]    } [size=1em]    virtual void func2()   k6 I8 i; [9 v4 `" ^. O( p( o[size=1em]    { [size=1em]        printf("%s", "func2"); 7 a5 L: x; r7 k* K# V/ c[size=1em]    } [size=1em]} - h3 s: J  W* [: k ) S( r/ V1 g% D1 r8 C4 P' y

; w, h  r* w2 R# M

假设有如下代码：
[backcolor=white !important][size=1em]PHP code
# x$ T2 @) h! v) v* g) W  r+ t

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

/ K1 k$ Q( T2 A5 P

[size=1em]1 3 }2 H5 x) J6 R# J1 f3 |; \9 l* m [size=1em]2 7 q" _0 W# {2 s3 K# m- I

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); + Z! Z+ j3 V: ]6 V6 D; v! S - ]2 Y" K/ T2 I- F) ^. ]  l

) e4 z% ?2 z8 I

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

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

/ L. N7 d1 _' M. O# {' y

[size=1em]1 + h. L& k' E6 ~1 ]4 O$ E2 L [size=1em]2 " P! g# _) p. i$ K, q* u [size=1em]3 , G$ i5 W7 b1 [' W& T9 b

[size=1em][size=1em]Base* pBase = new Base(); 0 }6 Z6 \0 b3 ^+ u* ]& H) U[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); % i4 P5 N% P, l- H  W4 g# K: I

3 [. R% x' q2 {5 i3 N" M

, B, Y( ]& U9 S; }$ [, y- }

# \6 B3 x3 w7 N3 LC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code

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

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

[size=1em][size=1em]   0 p4 e3 j$ I2 R; |[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| 5 ?( o4 r7 r6 ?4 C7 z[size=1em]vTable:InterfaceU2 |Base::func2()|

2 g$ Q- m7 J0 x


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

9 Z* N. w  P. }' @+ k