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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 [size=1em]  { * T8 a# [! T- `[size=1em]  public: : ?( j+ ?. L+ n$ H( U# b[size=1em]      virtual void func1() = 0; [size=1em]  } [size=1em]  class [size=1em]      InterfaceU2 6 W( _7 m" L$ z- X, x. ?- V[size=1em]  { [size=1em]  public: # @9 [, }' j! o# g6 R. Y[size=1em]      virtual void func2() = 0; 8 w; M' w2 G+ w/ W0 Z+ U) M% S[size=1em]  }   b; ?$ s2 Q+ _ [size=1em]  class [size=1em]    Wrapper [size=1em]  { [size=1em]  public: 4 J- }( ^8 _& |6 j) f4 o" i[size=1em]      virtual InterfaceU1* getInterface1() = 0; . L6 B0 U; U3 t[size=1em]      virtual InterfaceU2* getInterface2() = 0; $ ^4 P2 d0 ^  v( w" c[size=1em]  } - C" U. [& ?6 j: |) a+ N [size=1em]  class * z) E- Y1 y: R; d6 ^% W! _# y[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  {   n0 P/ q6 [) ?[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { ) v( Y5 U7 G) N/ a* E[size=1em]          return this; [size=1em]      } 4 s/ w3 c/ i4 M[size=1em]      virtual InterfaceU2* getInterface2() ) G- e0 ~$ z5 L( @! W[size=1em]      { 3 ]* ]' |& ~0 k& _7 t % N7 q$ v0 G. m6 u/ [[size=1em]          return this; : n1 F  }, j6 b9 o- o: l+ j[size=1em]     } [size=1em]     virtual void func1() [size=1em]     { [size=1em]         printf("%s", "func1"); [size=1em]     } : W4 I6 P6 `, c2 @ ; B/ G6 K/ |; v6 K7 _! q6 o[size=1em]     virtual void func2() 6 O6 J. U' ^# [# K& l[size=1em]     { * B* Q3 Q- T. ?7 \3 l7 T" o+ J: a8 \) \[size=1em]        printf("%s", "func2"); [size=1em]     } ; Y; z8 m5 F2 P# J2 _! l[size=1em] } , V5 z9 G4 r2 C" z( f7 Q

9 }* N" H2 \  T, Z; r  E

假设有如下代码：
( _& n  Y( t) T9 Y[backcolor=white !important][size=1em]PHP code
  @/ |  [8 r' N: K1 [

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

5 h3 U  g* \* X7 ^8 h/ q

[size=1em]1 ' z& {4 w9 W$ `  u: W; ? [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); ( e$ L/ A, B# H3 H[size=1em]pBase->getInterface1()->func1(); 3 `! H0 l0 V; Y, z; x$ V# q* A/ P / m' X8 V9 t# k) p0 g

: q( a% B/ o" z' Z& N; N其实以上代码等于：
, {7 \( z' ^; \+ i  \[backcolor=white !important][size=1em]PHP code
6 b9 ?$ l. L; p1 [6 O* P3 m

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

/ K  p2 h# ?+ l7 A1 d

[size=1em]1 7 D& P2 ?* x- g! I) b [size=1em]2 [size=1em]3 # u% N  y+ x6 G# p

[size=1em][size=1em] Base* pBase = new Base(); 3 u9 w( ~" a, x) Z[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1(); ' K8 o2 R1 S6 A, p$ S

3 c5 n/ e8 |, i5 Q$ E
5 L9 ?) R5 I4 {: d              C++编译后，Base类的虚函数表如下：
2 L% z# Q$ W3 E  L+ j+ }2 n7 Y6 n[backcolor=white !important][size=1em]         PHP code

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

* Z+ f( Z- w$ C5 e/ h

[size=1em]1 [size=1em]2 [size=1em]3 * W  W9 s7 J9 o, j! b! q [size=1em]4 , E5 N( U0 S7 o0 B. c% K5 Y% z

[size=1em][size=1em]   / {' J9 n5 h: R8 d% y3 ^& w[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| ! R# h: z  A8 y3 o3 H, D[size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()|

' D/ E7 Y1 D6 _" W1 s" Q# J0 ~* }


$ T" A; Y' J8 X" X6 n% [8 H  w     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

  ~. ?/ b# i; N