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

蕾欧娜

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

[size=1em][size=1em]class : a* v0 h5 b3 e6 \[size=1em]    InterfaceU1 7 {4 j8 K5 O2 l8 ~, p! S6 n7 ~6 z* s% s[size=1em]{ [size=1em]public: ! E( w% |% A( \0 M: v" p) {[size=1em]    virtual void func1() = 0; , [) g8 J" h  T. \: E[size=1em]} . i* Y/ P1 b! g& }: ]7 }4 } . n- j" M5 \. [- W: w8 T[size=1em]class & u0 ~! G7 g2 x; T[size=1em]    InterfaceU2 [size=1em]{ * \: Y& L2 N9 P5 X: D4 Y8 c[size=1em]public: % ]5 s6 O0 b2 }- K[size=1em]    virtual void func2() = 0; 0 \  q' d3 _# C  V: r, I! m$ X( T$ v[size=1em]} 0 l' F: |* g/ ]% G3 {0 ^ , W- C4 V. b7 P$ {9 S5 s[size=1em]class + R! z  M2 B3 _7 V! ^[size=1em]    Wrapper 6 X9 V" N- z2 K[size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; # G# M2 {; v, c[size=1em]} $ s: c$ ^+ n. z; X4 a2 W 0 E$ _  V5 P# a' U% d: l[size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ [size=1em]public: 0 t5 E: i' o. ?7 c[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; [size=1em]    } 7 d5 s/ C# C! R! L' C  R9 D[size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { [size=1em]        return this; " v6 K5 H1 x0 N! e/ F/ B* A[size=1em]    } [size=1em]    virtual void func1() [size=1em]    { 7 K% P$ \! \' H0 F7 F* @5 l[size=1em]        printf("%s", "func1"); [size=1em]    } [size=1em]    virtual void func2() 1 x* V% U. d9 x- R+ i# ]8 L' |[size=1em]    { 0 s9 y; j6 r. l% E4 b1 S[size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]} 9 w0 ?) {2 Q" ^$ |. w

  d% C- v* f9 J1 X% j3 T1 I8 y

1 X# Y& p: j2 C- ~$ W5 ]5 U2 K假设有如下代码：
0 O& f0 ^% A2 u- W[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 8 S7 Q4 D! ]) ]/ U! U3 U [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); , h& f6 [! W4 l% l2 G$ k

  z; `+ b# F) B6 h! x1 J
+ F1 |; V5 {1 _5 J其实以上代码等于：
/ x4 @' G0 p1 g4 q# _[backcolor=white !important][size=1em]PHP code

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

' G# A% V+ `- |$ ?

[size=1em]1 ) W! n4 l' T) q5 m4 \ [size=1em]2 [size=1em]3 1 ^  j/ |9 Q4 k' k

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); 6 y, ^3 e1 g/ v& E4 p

! M. g. S/ m# J; d


" a6 b3 }! v5 S) a1 g- D2 y8 L
C++编译后，Base类的虚函数表如下：
8 a/ X1 l0 z4 W& z) v3 z[backcolor=white !important][size=1em]PHP code
. c  D, v9 {6 o/ G3 ?9 V: T! u

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

[size=1em]1 [size=1em]2 " Y; E& l( T3 g$ x2 z [size=1em]3 [size=1em]4 $ Q1 f* K. u% M% k

[size=1em][size=1em]   9 T2 H+ l! ?" m7 |* P6 `8 f7 E[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| + G/ D8 Y% N6 I9 ~: j6 n. u) ?3 H[size=1em]vTable:InterfaceU2 |Base::func2()| ( s$ \% D3 w7 t+ A - p# e, d) {" b! ~$ K4 Z

" v6 I1 c' k4 `( l- @: V9 ~
- U$ K8 V7 \, g
# j; a7 F5 q4 S9 v& `9 N+ }
如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
5 ~2 z( N5 f. A8 f5 Y7 h6 n0 F但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
4 k& F6 L4 g1 \/ c4 I- q3 k' b1 e
: ?6 m4 i% ~! c5 V# v% Q- t