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

蕾欧娜

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

[size=1em][size=1em]class ! ~) L1 [: Z' ~( _[size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: 5 {2 ~+ r! A2 ^" a5 C. s' H2 n[size=1em]    virtual void func1() = 0; [size=1em]} ( W# E% O; _9 D  u6 ]3 G( B + Y. T) r) w# X; h) `[size=1em]class [size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: 6 t( @/ I9 Q! r0 D7 J. f/ K[size=1em]    virtual void func2() = 0; & B3 k. @; F1 _; S' H2 R2 S1 w[size=1em]} # _! i! v+ I1 H" h8 m! B [size=1em]class [size=1em]    Wrapper % d0 F( L( d7 `  F+ V& |8 m  C[size=1em]{ [size=1em]public: ; F5 y6 K. `; P: M! ~5 J' N0 D[size=1em]    virtual InterfaceU1* getInterface1() = 0; / E" s5 U  x: |9 \; c[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} 4 [! S+ o+ D% s/ T [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ ; i  h  C9 \" H4 m, v! }( e[size=1em]public: ! s0 `. U; S& V9 R6 \[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { . U: L3 l2 M4 I! J$ f. m1 Y[size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { ( N$ X+ h0 w- f, c + T3 F" ^2 u/ I3 R[size=1em]        return this; [size=1em]    } . O& v  A+ f' Q[size=1em]    virtual void func1() [size=1em]    { [size=1em]        printf("%s", "func1"); - a- X( s9 `& C) g; I! V9 T[size=1em]    }   D" @1 e. Q- l   k1 ~; \% K: |* `[size=1em]    virtual void func2() / ~0 O- F* v1 g. j+ ^[size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]} $ Z2 ^) u: ~) [& O' J1 ] ) s" K/ g. W& x. E6 S

假设有如下代码：
[backcolor=white !important][size=1em]PHP code
" m6 s7 q. b# M- @7 n2 L  k; @/ o6 J7 n

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

2 w! E2 u, Z) H8 ^% D& H2 H

[size=1em]1 + e7 P5 p. I, d$ ^ [size=1em]2 ( D, a$ v: M2 c# \$ T4 ^

[size=1em][size=1em]Base* pBase = new Base(); ! ]% ]1 Q, }; h8 Z[size=1em]pBase->getInterface1()->func1(); ) k" b& t4 s" ~1 v : s$ d2 |# K; J/ j

% Z  X, E9 S2 L; P0 E. L
  w5 S& b& U" j$ z, _其实以上代码等于：
/ _. u! R4 b$ {; n+ s[backcolor=white !important][size=1em]PHP code

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

4 d5 ?; H& c3 c. ^

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

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); 6 M$ z+ o  n7 }[size=1em]pInterface1->func1(); 2 T- R9 m# F# I: F& W

4 P0 A: C# r7 r# ^. e
  }* ~* ~4 J" I- M5 SC++编译后，Base类的虚函数表如下：
9 r1 m# @  ?! h9 O% B; b[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 * k& m( R: s# g) F [size=1em]2 [size=1em]3 [size=1em]4 ' L9 W& }. i1 p, `  R

[size=1em][size=1em]   # r  b4 P" e5 o6 R[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| % c5 x9 j" ^3 @' Q[size=1em]vTable:InterfaceU2 |Base::func2()| ( B! l+ u4 x- {, I* h2 m

5 K. N2 o% V' \" K! Z" G, L) D1 c
2 q, c& r/ g4 T
如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
; [: S6 X  |- V/ m5 R. I9 e但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
+ s0 T) W" G% ~. ^