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

蕾欧娜

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

[size=1em][size=1em]class 5 [' T- J0 V6 Y  W7 E3 ~- J[size=1em]    InterfaceU1 [size=1em]{ % s, K/ N8 P' H8 o$ `( W[size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} [size=1em]class * _& U, M+ t4 A# ]. J" b" p! n[size=1em]    InterfaceU2 : R1 c5 t; K) s, v[size=1em]{ [size=1em]public: 5 _+ A7 b4 u0 O' }$ y8 w0 O) f[size=1em]    virtual void func2() = 0; [size=1em]} 0 c! N- n, O: O( F [size=1em]class % U/ T" m2 f, i1 U' c1 C* }: d+ {[size=1em]    Wrapper [size=1em]{ - V) _. T4 ?- f) Y2 h) P[size=1em]public: , R2 ~: a1 F* N+ i1 N: A: t[size=1em]    virtual InterfaceU1* getInterface1() = 0; ) [1 V' s  X# m0 U8 R0 n5 |1 m[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} [size=1em]class * f4 s; h; h+ t) E- p[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 - I0 Q3 O6 c+ e9 o+ Q- Z# X[size=1em]{ ; |: {& \: B" H- a/ I! @' N, \8 ~[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; # u' s0 j" P2 e" }, F; w# |/ S[size=1em]    } 7 D* ]4 y6 z* c. N[size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { - ?6 J4 w" Q6 ` 1 i0 U9 t1 @0 N  I9 \[size=1em]        return this; [size=1em]    } 5 i6 x$ x1 P2 L) j' F6 R[size=1em]    virtual void func1() 1 A0 _: e: A" H. q[size=1em]    { / p+ w3 D) o. P( Y  j0 k" e- M[size=1em]        printf("%s", "func1"); [size=1em]    }   s) s2 U9 X& z[size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]} + ?0 [) [$ {: m' S5 R/ F

" a  C7 F: x2 S2 t! L$ B6 E! r, O
2 l2 r/ e; k9 U- r+ S$ C
假设有如下代码：
" D7 D$ r% U# F6 q( _4 G[backcolor=white !important][size=1em]PHP code

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

; {4 I9 M2 _" ?+ h

[size=1em]1   Z" v/ M: H" L [size=1em]2 : G0 Y4 F' [6 Z9 G; j) ]  o3 A$ R7 H

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); * W2 U& \! |4 I) x, r

/ \. S, x- {" M9 T

其实以上代码等于：
6 q6 S5 R5 {6 d) d& f, a5 \( n[backcolor=white !important][size=1em]PHP code

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

$ I. e9 R3 l, A

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

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); 8 [8 S0 @+ N. y( V5 H8 j[size=1em]pInterface1->func1();

" f! W7 y- i4 Y6 E: i9 F; o# u  T
6 D7 ^( F! _3 k; l


  p8 R1 F0 G" Y- {' m" wC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code

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

6 l5 x  j& X+ ~' q2 B* }! @% V

[size=1em]1 [size=1em]2 % J" w7 N' r- ]9 _( l" M% D [size=1em]3 7 q* B' I+ G( A3 T- [( x6 k [size=1em]4 - M$ O3 j& X- `% F9 p0 x

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 1 ~& T7 G/ S& ?  T" N1 F; F$ i[size=1em]vTable:InterfaceU1 |Base::func1()| $ z- ]/ x* Q& K3 `& o5 L[size=1em]vTable:InterfaceU2 |Base::func2()| / e" R9 z" c2 K# V - c7 Y7 e- ^" W4 g# K

2 u2 ^/ r: b# \1 a0 R
* J5 t1 O3 [$ c* i2 ]3 Z& h如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

4 b' i. ?; j2 K+ C  n