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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 . `9 L. @7 E9 E' S& _  U[size=1em]  { [size=1em]  public: [size=1em]      virtual void func1() = 0; [size=1em]  } [size=1em]  class 4 m; |: j6 U& @' U/ P2 v+ o- ?4 n[size=1em]      InterfaceU2 [size=1em]  { [size=1em]  public: ) I& D- O1 A! ^' D% n' r8 }[size=1em]      virtual void func2() = 0; [size=1em]  } * E# [6 A. |6 A( W 7 b3 ]( O" \" V- l  ^- U[size=1em]  class - K5 Y. m. u3 L: {( h( x; g[size=1em]    Wrapper [size=1em]  { ' U. L% T. g1 V, Y3 ~[size=1em]  public: # {1 X: I: U( z[size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } . D2 _+ L# @: \5 S3 J: H8 P! k [size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 " f3 x) {! m) J9 U[size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { 9 R) Y, ~! ?1 t. [/ ^) L2 A' L[size=1em]          return this; 5 ]' G0 h3 t0 [' I; z. O1 h[size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() / _. S( H! k8 A  U* g7 F[size=1em]      { , t1 b9 R6 _. o$ K% x+ U[size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() # a' s/ B' x' W, C! J: M[size=1em]     { [size=1em]         printf("%s", "func1"); % P( j, G4 H1 l& t. k7 [/ ^2 g* |[size=1em]     } + I& o6 [$ y* V/ y 2 w5 s4 ~  K7 b& O8 _4 g4 i3 y6 J. W6 h[size=1em]     virtual void func2() ) k1 d& a  u! _[size=1em]     { 6 r$ c1 k& @1 Y4 D[size=1em]        printf("%s", "func2"); 6 z8 B) u' l9 @/ j[size=1em]     } ! {0 T1 O. H, @1 P+ E: u[size=1em] }

5 e2 o" l. X; @3 A; `假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

9 |7 h3 g( U9 P. u2 m* t$ @/ _6 \

[size=1em]1 8 f  D4 K+ k# N# v  w [size=1em]2 ) Q% f  `0 k' p, ^

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); ! _9 a4 Z5 I! _1 r

9 y* @  Y' T7 m3 X+ n/ m

2 y3 i& B; i, ~  B1 k2 k2 p6 i其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 4 a" g( _6 u# b5 _5 D% m% d. \ [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); - y& k; ]0 n* h* D+ `- E3 I7 d[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1(); . `9 i8 ^8 p* W; L1 f9 n. `2 s - Q; E: F" m7 n( T: u- F1 S

7 b, p9 z/ N- Y
- U- S5 v" Y3 V: e# w

              C++编译后，Base类的虚函数表如下：
( s0 A& v( e5 \3 _/ b5 t( b[backcolor=white !important][size=1em]         PHP code

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

6 y' y1 ^8 v5 y$ K- F" C' W

[size=1em]1 [size=1em]2 7 c3 p- ?) N* ]0 }2 E/ O0 P: i [size=1em]3 0 h# |2 }0 u" i% @  D% G# X [size=1em]4 1 G  ?: `, Z+ W6 J, r5 ?

[size=1em][size=1em]   0 D# b4 s9 V- K( j[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| : `. o8 s  H- g' B4 M4 m[size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()|

( h8 a) z' \' }2 e! F* L
/ ^* g8 ~. w6 }# k* N  T/ n6 e
     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
& ~& y4 u1 G+ ]+ R" h1 W  A% _8 N2 c    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）