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

蕾欧娜

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

[size=1em][size=1em]  class 4 ~* Z- Z4 |  ]% \[size=1em]      InterfaceU1 . S# V  m  O! n) k[size=1em]  { [size=1em]  public: [size=1em]      virtual void func1() = 0; - N, Z) A2 r% e: R8 o[size=1em]  } . X8 O  E9 v+ t" F3 e[size=1em]  class [size=1em]      InterfaceU2 5 G* @* \8 M+ W) B, T% E[size=1em]  { [size=1em]  public: 1 i% p3 G7 B" b& B5 A[size=1em]      virtual void func2() = 0; [size=1em]  } 6 a6 Y5 h  F5 i- I, O ! S- e8 |/ Q/ q) N" T7 b. T% N[size=1em]  class 2 }: V+ l; f9 J9 N/ k. A[size=1em]    Wrapper [size=1em]  { ! @9 V3 w' M; V, v7 F[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; ! _2 `# |3 m8 a[size=1em]  } - b- A) D4 z, l+ V" ? 0 |2 \- u& X' g& z- ]( T[size=1em]  class & D" r9 t% |9 E* B3 [) q[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { 3 m' g1 I/ X: {+ b; q[size=1em]          return this; [size=1em]      } 1 t: m  A/ F6 e/ ~9 n. q[size=1em]      virtual InterfaceU2* getInterface2() , F$ t# w$ m/ g+ b# U$ H7 x) ~[size=1em]      { 7 @6 x' A3 u9 O7 l' f3 P [size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1()   l2 B2 P% R6 a+ ?4 v[size=1em]     { - f1 d* ~) s* ]. `4 S5 x[size=1em]         printf("%s", "func1"); [size=1em]     } * X# H, q; t8 L3 |5 f+ O$ F9 R [size=1em]     virtual void func2() [size=1em]     { * U1 i  [1 r) h/ s; q3 ]; O8 a[size=1em]        printf("%s", "func2"); [size=1em]     } [size=1em] }

假设有如下代码：
[backcolor=white !important][size=1em]PHP code
* s0 C( F  [  z. n

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

[size=1em]1 ! {2 v6 l& F$ s  z* W$ M [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); * ^' Y* J" d+ b# S, C/ x# j

  k+ y" _/ }, }( P! [# r
5 m, E( b, _' Z4 l# t
其实以上代码等于：
& I+ m; h, a7 F! c/ |/ w[backcolor=white !important][size=1em]PHP code

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

: p$ U$ W1 O2 U' s) v: h

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

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); 3 f  z9 q6 b( B* [; ]+ K[size=1em] pInterface1->func1(); 6 S( Z& ]2 w. v7 V" X* s

5 R  G! E# r( p$ M
. d5 I% m: p$ q# j6 Y, P5 }7 ?! \
  _! c5 I& f' l

              C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]         PHP code
3 _7 v3 e6 ~  e) @/ s

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

[size=1em]1 [size=1em]2 3 I1 u6 j; S3 v: d9 K [size=1em]3 0 f1 G# J6 Q5 f2 ^: ~) G [size=1em]4 ) W0 a& F8 O  W( e

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 4 ]$ L7 U- \2 ]+ w& h! K* u! [[size=1em]  vTable:InterfaceU1 |Base::func1()| $ m1 @/ ^% n+ V' r[size=1em]  vTable:InterfaceU2 |Base::func2()| + U) C/ L. F- N/ { 0 I4 u3 T3 F2 j% j4 e5 o

9 K; J$ u( G, i6 m8 g  W1 O& U


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