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

蕾欧娜

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

[size=1em][size=1em]  class 2 Q  C' Y  }9 m/ ?[size=1em]      InterfaceU1 4 w4 `+ u; m: O8 v  j[size=1em]  { ; n% s  q9 l2 [. G8 q[size=1em]  public: : S6 i% }. L. w) U[size=1em]      virtual void func1() = 0; [size=1em]  } 1 M* X) s. C- R0 s$ b[size=1em]  class / X2 [, @" v) V[size=1em]      InterfaceU2 : L+ F; A& _3 O" g2 }[size=1em]  { 2 c5 c3 P: {/ t" W- {& ]0 J[size=1em]  public: [size=1em]      virtual void func2() = 0; 7 s5 }+ U' L7 e1 h; X[size=1em]  } : v1 g6 a: b8 X0 \1 E+ }& }) b" ^ [size=1em]  class 9 H( h7 C+ p/ m[size=1em]    Wrapper % q& s7 a- H) G- h. w$ ~! _[size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; [size=1em]      virtual InterfaceU2* getInterface2() = 0; 4 g' S) i* k6 u% Q) L& e[size=1em]  } [size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { [size=1em]  public: 4 j% ?# R% |# z$ t2 y[size=1em]      virtual InterfaceU1* getInterface1() 0 j% o$ `- _/ n% h4 a1 x) Y[size=1em]      { 2 @0 R- ?" F) C4 u( |. W+ S[size=1em]          return this; [size=1em]      } 0 ]. T8 N4 u* h8 L[size=1em]      virtual InterfaceU2* getInterface2() 5 W4 |0 N0 \0 M+ d: t0 j[size=1em]      { # q! I) Y/ H6 L7 d- l& } 2 A. L" D) m$ w" A# [[size=1em]          return this; [size=1em]     } $ b/ e* C& ]& m+ y9 B[size=1em]     virtual void func1() [size=1em]     { [size=1em]         printf("%s", "func1"); : s# n7 B4 i1 ~9 ][size=1em]     } [size=1em]     virtual void func2() ! s6 F: X! L5 J5 f& B5 h+ ][size=1em]     { 3 Q) y9 k. w7 }& m, i[size=1em]        printf("%s", "func2"); 9 d) {: N( f# e5 L8 ]9 B) ~[size=1em]     } ! j6 p( B5 ^( M& E9 v- u[size=1em] } / w& u9 X) U. C/ x9 g0 x 1 k* N  e) D+ M& ~3 n1 y

4 \5 Z' L" u$ s/ k! ^+ ^
  G: a9 O1 W* c0 c. @
假设有如下代码：
[backcolor=white !important][size=1em]PHP code
& Z# z. h! l' Y1 G3 Q+ X6 ]6 p

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

[size=1em]1 ) ^5 K$ k" g" b [size=1em]2 2 [, h4 {) f2 d! x, b1 |4 X0 B8 S: D

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); 2 [3 Z, ~- P7 C2 o% D

其实以上代码等于：
' e6 v) ?; Q* _" Z[backcolor=white !important][size=1em]PHP code
( O8 L/ Z/ s) P% \; ?

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

' y& O# x( F% B' c5 D8 ~' M# ^

[size=1em]1 9 q4 ]0 O# X; _1 r [size=1em]2 [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1(); ! r: L' G; B4 P) g' f2 y+ M' q

+ c2 r  o8 N* D$ S9 ?3 b



              C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]         PHP code

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

- ~% `) K' s- t/ d

[size=1em]1 [size=1em]2 [size=1em]3 [size=1em]4 8 v+ V. I9 ], T2 h, r

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 2 }2 c+ |2 `! M7 n$ `[size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()|

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