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

蕾欧娜

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

[size=1em][size=1em]class 3 F3 S. @, E: L) G0 H[size=1em]    InterfaceU1 7 y& g% H3 h" \[size=1em]{ [size=1em]public: / l  b9 \$ i0 K1 u! O; H[size=1em]    virtual void func1() = 0; [size=1em]} ' n" Q- H1 H2 [ . V- d0 F/ Q/ `5 B: {' N  n9 c[size=1em]class : O& [( L( L* U2 F3 ^/ i  d[size=1em]    InterfaceU2 0 K; U9 e& O" Q" p! l[size=1em]{ [size=1em]public: : r. s9 O4 \8 b; X; e7 a: m' z! {. f[size=1em]    virtual void func2() = 0; [size=1em]} ) S, n- k; S, X4 M[size=1em]class [size=1em]    Wrapper % c$ q0 Z+ A$ W2 ?+ m  L; r[size=1em]{ ; g, z- ^. x: O4 V& H[size=1em]public: 4 c: g) @/ G5 V7 c[size=1em]    virtual InterfaceU1* getInterface1() = 0; / y( }# o  f) G( t  D1 F[size=1em]    virtual InterfaceU2* getInterface2() = 0; 1 L# H5 a- n% ~! E) f5 f[size=1em]} 0 ?3 N8 u3 L0 f; L1 b[size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ ' W8 R3 i* k0 v# U# M[size=1em]public: & K0 A) z! C- v1 Y3 U9 L[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() 4 V) l. q2 P( ~& f[size=1em]    { [size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() [size=1em]    { ) g& f% R) i2 w' D) k$ k[size=1em]        printf("%s", "func1"); 0 ~- E) E7 A0 u$ o4 Y[size=1em]    } 3 L* A$ o3 d5 u4 V$ y+ }[size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); # }, F1 A" H, U  Z9 J6 I[size=1em]    } 6 v( B7 ~/ h! u5 u[size=1em]}   G$ r' O6 _& N' x

  |5 j- T8 D4 Q9 T/ G
% |4 v1 B$ s& ~9 q" ]- l5 G5 `; k假设有如下代码：
" ?( P% k* ^( _[backcolor=white !important][size=1em]PHP code
6 Y1 f. y6 n; ^

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

[size=1em]1 [size=1em]2 ' i, u: t8 l4 M3 x0 m1 T  z9 V$ a* v

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); # I, i+ C6 ]  x# Z$ e' g- S( o : v( E/ f" d, a& o! v2 x

  k& }# i9 `% ]% l/ M6 N3 ~. A" b
8 Z' u, d9 p" p8 g" e% L- O0 P
' v9 U4 Y% l- P/ s, @& F& i* |其实以上代码等于：
# }$ n7 d" n& k9 w3 M+ D8 Q[backcolor=white !important][size=1em]PHP code
# n4 U, L8 ]/ c5 _

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

# {! p8 t' o) {, Y' c( {2 r! ]

[size=1em]1 [size=1em]2 [size=1em]3   l( k. s# Q/ x% \, O* e

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); 3 d6 C1 J! X3 O6 a+ m- d* G0 m

' m9 [  [9 \" U5 Q4 T& k
3 {$ o$ u% l& \/ U) W
  K# g5 U. @' P2 V- C3 s9 b
( w. }5 e1 L* O2 k6 ]$ HC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
7 e+ R) N" \- U

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

) d: H; P4 E! b% @; t

[size=1em]1 [size=1em]2 # q3 k+ Z$ C+ O, `% I: ]  p1 b; V( Y [size=1em]3 [size=1em]4

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| + s) I# j' u/ S- g; T6 S. ~8 V

/ @  ~2 l  Z8 m( F# z
如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
  Z4 n7 i9 Z4 K! I" J/ U, h. GC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）