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

蕾欧娜

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

[size=1em][size=1em]class . \+ K, T  c' R$ Z' R4 i, d[size=1em]    InterfaceU1 [size=1em]{ $ q6 B0 V2 B% b  J; u1 ^[size=1em]public: 0 M" @- E& k& t2 n( C: X. L[size=1em]    virtual void func1() = 0; [size=1em]} [size=1em]class ! a- T- _4 Y) U3 ~[size=1em]    InterfaceU2 8 |3 x; w" A# o[size=1em]{ [size=1em]public: [size=1em]    virtual void func2() = 0; [size=1em]} 3 b1 E; g; n3 e. h% S [size=1em]class 9 H' `3 t' f- c$ B1 R* \* G6 P[size=1em]    Wrapper , _5 c0 G' C$ \! ^" @& N0 F* o[size=1em]{ - [8 l  B2 `  |. X9 [% b8 `[size=1em]public: - i4 O6 |5 _* A9 T[size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0;   X* \- o7 ?  a7 ][size=1em]} 3 }: `1 d$ L. W# g# b[size=1em]class & g2 t# c7 z: z) k- U[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ [size=1em]public: / x2 d7 `. x, }/ M( q; s+ @* h5 P[size=1em]    virtual InterfaceU1* getInterface1() : @( d; L. @1 ~) Y+ A( e  K; N- v[size=1em]    { 0 x% N7 m1 h* y, X. h[size=1em]        return this; ' C3 e9 f5 e" I1 J3 v1 V[size=1em]    } 5 n1 a! G5 L5 u' U( \[size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { : X/ T2 J. R3 Q" F+ d$ A 0 l. s! D* s9 ]  a5 `# h& m  S[size=1em]        return this; ) B5 k9 I8 J+ Q" K# Q- I[size=1em]    } [size=1em]    virtual void func1() [size=1em]    { [size=1em]        printf("%s", "func1"); [size=1em]    } 2 B* X. s2 u' D0 c  V [size=1em]    virtual void func2() ) L! x5 Z" v. }" @- C' q[size=1em]    { [size=1em]        printf("%s", "func2"); - a( F8 }5 y. c[size=1em]    } / h' x) W& W4 Z[size=1em]}

( u- ~9 W2 j+ c7 _5 u$ K, ]9 j
  J8 O. p1 E/ `; V: i假设有如下代码：
" q# `5 g7 ]9 V[backcolor=white !important][size=1em]PHP code
* X# X4 ?4 e5 U' ?( j  C: O

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

% E4 T3 L; ~; Q9 U. g. Z$ m9 U5 U

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

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1();

5 }+ B' ]( r- }! ~5 G5 v
其实以上代码等于：
# A. A/ u& B1 U% y  y) D[backcolor=white !important][size=1em]PHP code
3 ~. |1 D6 K. ~8 ~) `

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

0 ~. Z! D0 m# L& f

[size=1em]1 [size=1em]2   @. I0 ~. ?0 u+ D# Y1 U [size=1em]3 % p! V" m, E$ L& y/ \5 T( r$ {& o2 o& J

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1();

  u0 R( T: f& ^. n1 j' c
6 P6 `4 j6 Q6 P) C5 ?# x

' ^' U, ~0 O/ M8 \* ^C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
8 Y: E6 a0 Y* R; z

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

+ [- Q% O' q+ H+ M

[size=1em]1 [size=1em]2 [size=1em]3 - q; Y( z9 c+ P" Q2 k [size=1em]4

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 0 ^  t- M' a8 s4 k[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| ! l! H% e7 b) {$ h9 Q6 S  @0 t( w8 s % G5 _/ q/ J- S+ Y- H! }

) o% ?* o, G3 g+ ?9 B
4 W# E. _" C# |0 p9 {3 f# k; B
3 `# E4 @$ c( a, J5 |如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
2 K, z9 i$ P/ }/ C" L  t) fC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
  s+ M; ?! f, A4 E
' v3 v' s/ @. T/ Y