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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 & M* ]1 E" b: P& t& i* S[size=1em]{ 1 W6 L5 }! P5 ^  G) @5 P: t$ M[size=1em]public: % Y+ y1 F* V6 ]8 `% J/ R[size=1em]    virtual void func1() = 0; & s- Q* [6 f# e6 c[size=1em]} 7 t% x) ?: S7 K, k4 s  B/ n4 y1 [ [size=1em]class 9 m$ d3 h4 K4 Z[size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: [size=1em]    virtual void func2() = 0; / y9 f" c  t8 L2 e, Q8 R9 ][size=1em]} [size=1em]class [size=1em]    Wrapper [size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} [size=1em]class [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; ! {' E% P2 q! d[size=1em]    } % D" Y) a9 P+ g" O: ^[size=1em]    virtual InterfaceU2* getInterface2() $ e2 D: x; j* f5 O5 }3 _[size=1em]    { [size=1em]        return this; / }" K% A, N+ d! J[size=1em]    } ) G1 _  K9 h' _5 d; U[size=1em]    virtual void func1() # e1 @/ W5 t  @; }8 l[size=1em]    { - B+ k$ a8 F4 _% P6 u% B[size=1em]        printf("%s", "func1"); . C4 g+ [8 q/ H( G1 F/ a+ O# ~" E, _. ^[size=1em]    } $ M" S$ K" m2 G. u4 d# t[size=1em]    virtual void func2() [size=1em]    { , u/ o; F- T/ y3 p& h1 n* J  w[size=1em]        printf("%s", "func2"); 1 i, M/ }. N5 M2 c0 e[size=1em]    } [size=1em]} % I7 b: R2 r' S2 D

0 \! W7 _. c- i+ y5 @, e

假设有如下代码：
. q& a2 c8 n, B8 S: v5 S[backcolor=white !important][size=1em]PHP code

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

' |  b' ~4 N5 o$ v, z1 }

[size=1em]1 + Y- f+ }1 h6 F: T7 I [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); 8 ?, ~9 _2 l/ r4 X0 o- o[size=1em]pBase->getInterface1()->func1(); 4 n% e6 k  i6 \

6 a' c$ @- ~3 t1 b8 ~1 w. X9 }
) O. [& v; O, e. ~8 w( q- F7 y其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
8 n; V$ [2 V; y, |. n1 G

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

[size=1em]1 - e1 p/ f" ~9 T2 F2 P [size=1em]2 ' t9 h6 a5 E0 u8 B [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); # _( E4 a( e% N. f# [4 k5 g[size=1em]pInterface1->func1(); & n# W, w+ O8 v* u9 c, W : G3 {1 o5 \+ W' ]. d- o: }

* G, a- G' s- [! d6 R( d+ }/ J

1 D- J9 I% j6 j! |& N
5 O& ?( D( o. O1 r2 Q
C++编译后，Base类的虚函数表如下：
: m4 U+ A8 h- l4 y; Y; c( {[backcolor=white !important][size=1em]PHP code

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

( G% g2 c7 K  \

[size=1em]1 ) ]7 p8 ]8 x0 {4 z' f% R. M [size=1em]2 ! A5 ~- G+ b( c  W8 O* T/ P [size=1em]3 , b; a- V0 x$ O [size=1em]4

[size=1em][size=1em]   0 W4 m2 [  Q: _# f  ~6 J, k[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 1 ]/ `, A$ n. ~+ H% @6 b[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| 3 r6 }. y4 x2 J, \% g1 E4 t( a2 x0 s 2 `1 r  ~3 o! Q% V% A

1 h2 h" j' g* _! U4 i% k


如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
# E2 F5 P! {4 w- J, E2 R% WC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
) v2 b# v5 f, E) hC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）