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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 [size=1em]  { + z1 r7 P; s' ?; c2 S[size=1em]  public: [size=1em]      virtual void func1() = 0; [size=1em]  }   P2 I4 P7 ?8 I7 [5 k[size=1em]  class [size=1em]      InterfaceU2 [size=1em]  { ! ]' M; Y: J8 `) Z  a" h0 H6 B0 w% x[size=1em]  public: [size=1em]      virtual void func2() = 0; [size=1em]  } # l% @1 c% X5 n  [/ s[size=1em]  class [size=1em]    Wrapper   z# T% c" r2 o9 [% W[size=1em]  { 2 r) J- \& d# W4 D[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; $ Y+ c& T, x0 R* Q[size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  }   p: E6 d' O$ v: o. v [size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 ( U+ G1 f9 i. Y6 B7 c[size=1em]  { $ ]% I  }" A) b$ p6 h9 [[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() # H$ K: W0 o8 E( o* U: ][size=1em]      { 3 }- r2 x8 O6 S% _$ c& c[size=1em]          return this; 3 W$ E: r% t& x- m1 [[size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { ' v3 e: `6 Y' h2 L/ g. H; O7 F [size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() ; N& h1 ~+ J2 z; `" _[size=1em]     {   ]5 b/ P( l2 `[size=1em]         printf("%s", "func1"); 9 k7 [# o/ \2 i) z[size=1em]     } [size=1em]     virtual void func2() [size=1em]     { [size=1em]        printf("%s", "func2"); ! Y4 C) \8 d9 p- E[size=1em]     } [size=1em] } 1 i* n: a- h5 Z& y7 J3 ~9 V0 E 0 H6 u3 l2 M+ x0 f4 q: U4 V

假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

' \3 i8 z( q2 `8 j9 m/ }/ o* Y

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

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

: M0 `1 ^" C7 W8 C) d

- Q, }% U0 m$ b1 D- }9 U* A) \其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
7 I2 B. ?9 V) T! U9 D8 x

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

; g7 j. h" i' ^' `' i# @

[size=1em]1 [size=1em]2 ) A* b9 z; y" s3 j" M! I [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); + g/ Z4 P& {' y: M, Y[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1();

; u9 \* y/ e* [  Y7 G+ X" ~# V* f



              C++编译后，Base类的虚函数表如下：
5 c& y3 t$ A! a" k[backcolor=white !important][size=1em]         PHP code

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

/ \2 e! s, E$ p; M; O: K

[size=1em]1 [size=1em]2 0 L! ~- W8 V4 R" @5 e5 Z9 v [size=1em]3 [size=1em]4 ' v  _! ]5 N/ r1 W" E2 H1 E

[size=1em][size=1em]   7 Z  L. z4 |* A# t9 ~" S[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()| 1 e8 a" ?% a, k1 z0 u0 [

4 n! j: G: a0 l; e, H) Y


     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
# B( s' m6 S) C; Y; k) E    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
0 T6 m% K1 K# p6 B4 r" y    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
8 h7 v* z- o  r% d: s9 W    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）