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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 " E* ]1 {) ], x" G& {6 l+ U[size=1em]  { : V" g) Q- Q6 z4 Y& b3 `4 W0 O[size=1em]  public: 9 P; p( n$ i, u6 a[size=1em]      virtual void func1() = 0; [size=1em]  } * P2 e# a9 P9 y, f$ u   S. l  {) Z1 @[size=1em]  class [size=1em]      InterfaceU2 ) W1 [% f( M9 b- y[size=1em]  { [size=1em]  public: / |1 Y1 y3 [/ ~4 _1 T8 m[size=1em]      virtual void func2() = 0; - T! w2 E- o" P[size=1em]  } - f6 X" O8 K# e& ?- E+ u$ M9 Y; B [size=1em]  class 9 x' j' X0 f7 @& i+ a[size=1em]    Wrapper ) `+ \" R6 w9 o; p8 K[size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; 3 K2 d8 f0 n% U& i. B3 e; G9 x- w* J3 a[size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } ' T$ e0 V3 m% I% z! g2 x1 _9 O5 _[size=1em]  class 3 v' |' Q  x5 l0 [[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 & U1 d. b+ Q8 u* s5 Y[size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { [size=1em]          return this; [size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { 5 V+ g; K1 L1 o( C! ^% P[size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() 3 o7 g$ V% G$ B7 [8 d[size=1em]     { [size=1em]         printf("%s", "func1"); % v. k; J# }; c& }: E1 {* w( i% P  H[size=1em]     } 4 ]; J, n8 @, [! I( ` 9 |; }2 p* \3 @$ q9 f. p) `[size=1em]     virtual void func2() ! Q; ]# T* M( h( |7 s[size=1em]     { ; w; g/ J* M0 c+ c[size=1em]        printf("%s", "func2"); [size=1em]     } ) f; K/ U8 ?% ?1 F[size=1em] } 9 Z7 T3 F! }. h' N" X

4 L: ?$ o8 v7 T/ P( J
假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

% Y. W4 p" w2 R" }- B7 X6 k

[size=1em]1 ; B7 W2 S5 A1 n: ~ [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); 5 y$ Q' \2 A. K& h/ G) f8 n[size=1em]pBase->getInterface1()->func1(); ! ?0 J7 B3 R1 @: b  U4 m* x2 @& o

* a4 c8 t! r7 ~7 y. x

) h3 p0 l6 z6 \/ ^1 G8 D- h0 K( J其实以上代码等于：
/ y4 H( [# \, s" k/ Z' ~[backcolor=white !important][size=1em]PHP code

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

4 ~$ _( t; ~$ d; X

[size=1em]1 3 ~) }0 F% \7 |% _9 `& { [size=1em]2 [size=1em]3   A  ^% A: J, [3 F) r0 T3 F

[size=1em][size=1em] Base* pBase = new Base(); . r; o( P+ m5 ?5 `' S[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1();

# i  y# l3 J6 [$ x+ u2 E



              C++编译后，Base类的虚函数表如下：
  c8 g+ e4 V8 s8 Z+ s2 p# v[backcolor=white !important][size=1em]         PHP code

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

[size=1em]1 [size=1em]2 [size=1em]3 [size=1em]4 3 s1 G# d' {* p$ [( S  B

[size=1em][size=1em]   9 W. P# J1 v4 x- J7 `+ g; 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()| 6 G" j: M* x& K/ p0 w# Z2 x

  e6 _1 y7 C5 q
: ^; _8 p/ B; l1 K( M: `

. ^3 M# h# K& w# u! @. ^% N1 c     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
5 t: @" @( e' ?* J    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
. {) j9 z' y3 R- `' e1 X
* O/ M0 h# }6 R" l( O+ ?