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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 : g! |( q4 u9 X$ w[size=1em]  { [size=1em]  public:   c, c3 v- [3 m/ I2 w% U[size=1em]      virtual void func1() = 0; 4 w9 }, A) H/ P' D[size=1em]  } , [: k* J/ V# A  E" T+ a [size=1em]  class [size=1em]      InterfaceU2 [size=1em]  { [size=1em]  public: [size=1em]      virtual void func2() = 0; . D& g. z0 k8 H; Q9 h  \[size=1em]  } 4 b3 T& K& q7 D5 R1 n" n( [ [size=1em]  class 1 }4 ?9 W- X: s% H, E, N[size=1em]    Wrapper [size=1em]  { : J, J' [4 n: L[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } , E% W1 t& N* s8 t [size=1em]  class ' G! g1 ^  x& o, }0 E4 U/ t[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { # R$ V# K4 t! |, G[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() 5 e& q7 w, \* l# N( P' h" t, F[size=1em]      { . Z# L& {. A1 i7 V" H9 s8 M; q[size=1em]          return this; ) R, Z, Z+ x6 P$ q" {8 U[size=1em]      } & Y1 J" j0 c+ z& D; r+ N% O* w; G- Y" P[size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { / `' p; o, B/ R ( n  d, C, V  Q[size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() ) K, K6 w- r% M* C[size=1em]     { ) t  ~! l5 z" t# }[size=1em]         printf("%s", "func1"); [size=1em]     } ' n* k2 q* u" R' W 1 O: E: B# h( o/ f6 e: @* F[size=1em]     virtual void func2() 9 s& Z$ i" l9 f. q! R[size=1em]     { ; a! v. j8 ?6 x: v1 v( y[size=1em]        printf("%s", "func2"); # I+ E0 f% C# I4 d7 ?- a  N- [$ W[size=1em]     } [size=1em] } ! ]3 [6 H- D- w& }, X& | / a- q. t: T; _2 }6 f* m

- u2 l! p1 F' P( t! j% J
1 v2 S$ _4 T4 o3 o! m
假设有如下代码：
1 @! s, W( [: n' u/ t; @[backcolor=white !important][size=1em]PHP code
3 o" D5 D% l- ]' o

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

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

[size=1em][size=1em]Base* pBase = new Base(); ! v; m( R7 ^: k1 n1 x[size=1em]pBase->getInterface1()->func1(); : j) Q) `( c7 n. h

  n: ~! \5 J' c5 u
其实以上代码等于：
! _; c1 W% I- K  o5 Z[backcolor=white !important][size=1em]PHP code
4 h- D; G+ w/ B3 v6 t

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

: P( Y/ e6 R4 k1 J0 R% W+ S7 V9 k

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

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

  B: H8 f- R% Q0 n; M4 v' G

# F* f7 ]5 p% \9 a

- b, h/ V* _0 ?: D3 ?1 p  D/ n( V              C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]         PHP code

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

3 \5 ]7 Q8 e. F0 f" R/ ~. W4 G, f

[size=1em]1 [size=1em]2 - S7 Q! ~9 z7 x/ }1 h% h [size=1em]3 ! s2 c  J: J. t) x8 ] [size=1em]4

[size=1em][size=1em]   " B& Z# e/ U, O[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 7 J( q" G/ L  r; z* S8 N- S- ][size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()|

) ~1 b% J8 M. o+ k  n4 Z
" E" S4 ?2 r- o     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
- N* Y# a- X+ f4 n: ]' F    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
6 D. s/ d3 N  w0 Y    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
0 E4 u3 y) y$ q! x% T$ l7 y" R    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
6 Q, h9 [' F+ t/ T9 Y. k