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

蕾欧娜

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

[size=1em][size=1em]class $ D$ J0 G5 D$ \; }. z, h7 b/ Y[size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: [size=1em]    virtual void func1() = 0; 2 {; ^. i5 |+ [6 i: N- N' h* W[size=1em]} [size=1em]class [size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: [size=1em]    virtual void func2() = 0; [size=1em]} [size=1em]class [size=1em]    Wrapper 9 o0 O3 @  B* I: y6 }3 X/ `[size=1em]{ - b& Q* U9 _! i: q* O[size=1em]public: + k0 X' t# B5 n" I) Y& h[size=1em]    virtual InterfaceU1* getInterface1() = 0; & L6 ^; [4 f. e5 a9 ~( |[size=1em]    virtual InterfaceU2* getInterface2() = 0; $ A& |8 e& H! h' m[size=1em]} 4 W' z0 _; z; h9 i/ S+ |[size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 1 C5 n% u. I3 [+ D1 z' L! u6 Z! Q, y3 @[size=1em]{ 3 l! [# M* ]" E' b6 V9 C[size=1em]public: : ~0 f, w! [+ r5 F# `/ G[size=1em]    virtual InterfaceU1* getInterface1() # D2 t. {! s- ~: Q! ^. s[size=1em]    { - F2 R2 x$ n/ f2 N0 }% C[size=1em]        return this; 5 U2 ~2 c# c' \9 V1 v[size=1em]    } 2 @/ J7 v+ V' X. u6 i: {6 ^) Q[size=1em]    virtual InterfaceU2* getInterface2() $ A/ {  V7 T: w( G* w[size=1em]    { [size=1em]        return this; : r% i$ O0 W1 v) J& r- v# l/ x& r[size=1em]    } # X! T2 w1 ^& b* \& k[size=1em]    virtual void func1() ! w  p# d- b7 b1 t2 ], d% E[size=1em]    { [size=1em]        printf("%s", "func1"); 2 `+ e$ c! q: N2 E[size=1em]    } $ P5 x3 }' f6 x# s: s# |& `[size=1em]    virtual void func2() [size=1em]    { 1 H1 b5 g$ c, }" Z- s, c6 s[size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]}

" U( N# B" z2 ?

" \- C+ S4 W7 {0 S6 M" s* A假设有如下代码：
[backcolor=white !important][size=1em]PHP code
9 p! r/ y. `2 a9 Y  m5 r: E2 l7 B+ @

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

! @+ k* P. x0 B2 _& h% Z' j8 j% s

[size=1em]1 9 Z. T# c9 f8 f+ z+ N1 H [size=1em]2 8 ~8 a& P! z& X; ?. k: k( S" H

[size=1em][size=1em]Base* pBase = new Base(); 1 A6 K# g  Y4 `* [[size=1em]pBase->getInterface1()->func1(); , z( B8 V/ v! E

其实以上代码等于：
- G2 o* H9 Y  y3 X3 }[backcolor=white !important][size=1em]PHP code
/ Q7 G" A% D* V6 Z

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

[size=1em]1 7 `; Y: r. \4 n- ]( k [size=1em]2 * i: u4 G4 W; G8 N0 \ [size=1em]3 - p8 B" U, p4 `& W

[size=1em][size=1em]Base* pBase = new Base(); 3 ~' W# g8 g% n[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1();

% h2 \% f1 j3 x$ C' Z1 y- T
- ~4 d, u, u: g" X, F" G0 [C++编译后，Base类的虚函数表如下：
( ]. X" I4 V8 _: f: ?[backcolor=white !important][size=1em]PHP code

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

- d9 e6 d3 b/ B3 g: g' h/ G! ^* F

[size=1em]1 0 a5 L- N/ M$ U' Z' s& ]! g [size=1em]2 ! u* d9 C% c6 V* E, B0 H1 |% s [size=1em]3 [size=1em]4 - k# M/ l1 ]5 k4 Z- P

[size=1em][size=1em]   ( g, Q& a) E' Z1 n  k& @( k% U[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 4 v6 o+ z: m7 @[size=1em]vTable:InterfaceU1 |Base::func1()| " S5 f9 v0 B1 t0 `5 r. l: Z' M5 ?: P[size=1em]vTable:InterfaceU2 |Base::func2()|

# m, c4 K" T+ y, L  A. j' M

  Y/ M3 s8 B1 p9 i# S: H& G) n
如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
8 o) ?# a( M+ z但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
% N: L% a. x3 Z+ _