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

蕾欧娜

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

[size=1em][size=1em]  class 1 d! R8 y# z2 w& I- C[size=1em]      InterfaceU1 [size=1em]  { [size=1em]  public: [size=1em]      virtual void func1() = 0; ) R4 R) t1 g- N[size=1em]  } [size=1em]  class & V  s$ o; C' c" c7 ?; o9 }[size=1em]      InterfaceU2 7 F# l" n* m) M7 t2 v* h[size=1em]  { [size=1em]  public: [size=1em]      virtual void func2() = 0; ) g* P9 t; O2 A) F[size=1em]  } [size=1em]  class [size=1em]    Wrapper # K8 m( e( _) x; y2 A! h; U9 v  z[size=1em]  { [size=1em]  public: + I  R2 _5 x2 _& J/ P. C, @[size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; ! G, }6 S, `+ b% c% O% t" t[size=1em]  } [size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 , E* n8 R, f- W[size=1em]  { ; x3 W3 Y/ h3 _9 c8 G9 Z; [[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { [size=1em]          return this; [size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { [size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() [size=1em]     { [size=1em]         printf("%s", "func1"); [size=1em]     } # F/ _: \; C( c$ J. K9 m  u$ P [size=1em]     virtual void func2() [size=1em]     { 4 e* X0 Y- W1 l% R[size=1em]        printf("%s", "func2"); [size=1em]     } [size=1em] }

/ s, F7 m$ p: X
9 \2 e( [& Z' g( }& e9 T假设有如下代码：
[backcolor=white !important][size=1em]PHP code
# W7 Y* L) m( r0 \* y1 o* _

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

7 Z( `5 s+ M* M7 v+ M9 X

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

[size=1em][size=1em]Base* pBase = new Base(); # `. I3 T6 T* Z[size=1em]pBase->getInterface1()->func1();

其实以上代码等于：
' A9 W8 z" J8 A* U7 C  _" S5 K[backcolor=white !important][size=1em]PHP code
" d  J9 d  p; w, @+ p/ K0 V& B* b  m' M# }

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

[size=1em]1 [size=1em]2 * M8 h& n) l0 K. _ [size=1em]3

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

4 Z6 r2 ?) c2 F" F4 r
8 e9 N* {' a1 |  x' D: y
( E0 }: `4 R" n# K( U9 k

/ {5 Q% M, ~9 H. g4 _              C++编译后，Base类的虚函数表如下：
0 Z- O0 i7 ^& n# |, m/ P( k' t5 V/ T[backcolor=white !important][size=1em]         PHP code

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

4 a6 n6 e% J! o/ C+ P. E5 S

[size=1em]1 & e3 y" b0 u2 p [size=1em]2 [size=1em]3 6 V/ x5 c0 X& T7 }6 ~# B/ Y [size=1em]4 % K6 O6 ~9 ?7 u+ @

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| , A  p9 v/ T! |  W- u. E[size=1em]  vTable:InterfaceU1 |Base::func1()| & M9 c( c% K+ y[size=1em]  vTable:InterfaceU2 |Base::func2()| , w( Q- O. q2 l9 g& i6 ?1 V8 m

2 s8 T5 }' G; w/ z0 H, O

2 j6 y9 J% z& ]7 m# ]
     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
8 E% J5 Q0 H2 M. H; ^    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
% D$ K! m2 g8 g$ t3 e5 e    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

, Q7 J/ [0 v. e2 p7 k4 t1 x% j, M