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

蕾欧娜

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

[size=1em][size=1em]  class + S' o0 B/ q& c' [[size=1em]      InterfaceU1 ' }3 I8 u4 A+ ?$ U- E( a# M[size=1em]  {   ?9 T' l0 M1 Y* {' l" S1 }[size=1em]  public: [size=1em]      virtual void func1() = 0; [size=1em]  } [size=1em]  class [size=1em]      InterfaceU2 [size=1em]  { [size=1em]  public: [size=1em]      virtual void func2() = 0; * @! S: p$ p" a1 f3 p/ R1 b[size=1em]  } [size=1em]  class [size=1em]    Wrapper [size=1em]  { [size=1em]  public: : ?% M5 `# ?9 @3 e" O7 @* o[size=1em]      virtual InterfaceU1* getInterface1() = 0;   Z4 q0 c6 \" @9 d[size=1em]      virtual InterfaceU2* getInterface2() = 0; * l+ T1 t) D) F3 B# v; V1 c5 j( C[size=1em]  } [size=1em]  class ' d- v" c" i; i& d2 `# k' n[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 * T8 a/ L: v1 ]! _7 q[size=1em]  { [size=1em]  public: " x& u( `0 p- Y9 ?5 D& e[size=1em]      virtual InterfaceU1* getInterface1() ( L0 `7 T( K: [. N2 w- R) j' R" L[size=1em]      {   h. a3 R6 W  v[size=1em]          return this; ' Z. ^4 c3 o0 l+ v, ]" j[size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() ) S% I9 E! K/ m: l[size=1em]      { - ~  H. K7 X; C' x0 }' ?0 \9 v : q: y; G, F, \* m+ z, o* ]7 h[size=1em]          return this; # q. Q3 F: S8 E$ i" r& w' g6 x[size=1em]     } [size=1em]     virtual void func1() [size=1em]     { [size=1em]         printf("%s", "func1"); [size=1em]     } [size=1em]     virtual void func2() 4 O1 S& |$ Q6 o" u# B; `+ F& j[size=1em]     { 7 w! G5 T4 W* l. W; ]( t/ v[size=1em]        printf("%s", "func2"); [size=1em]     } ; T8 ~, r& R+ F% d[size=1em] }

! j( E9 b' k) p
3 N  h/ z/ {  {. |# o9 N
假设有如下代码：
6 J- x+ t! ^/ t[backcolor=white !important][size=1em]PHP code
$ T5 d3 U  s3 K, t! r

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

[size=1em]1 % u% x) @- {8 _; I- Y [size=1em]2 + }0 v" I% y" o9 d: g+ k

[size=1em][size=1em]Base* pBase = new Base(); # r) i3 }* R, z[size=1em]pBase->getInterface1()->func1(); 0 ^- _# ^" a0 w. B' o

; H' y- E8 l+ N6 W# D其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 * b8 A1 ]; t& W$ S2 c5 H  q [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); [size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1(); 3 Z: ^& U6 ]0 P7 N. ] 1 H/ n9 Q3 \6 W1 [% E. g3 a3 l

( E; p+ P% Q( y6 F

: A  \, [; O; L6 Z. C5 E2 y

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

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

8 B/ q5 M1 }, ?* t5 k

[size=1em]1   B& Y3 t9 @2 t0 {; I( y# u- h* r [size=1em]2 [size=1em]3 [size=1em]4

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 2 `. o$ z. |' {9 I[size=1em]  vTable:InterfaceU1 |Base::func1()| . _1 O7 p" z. H" }# A[size=1em]  vTable:InterfaceU2 |Base::func2()| 5 p! Y6 V: {& O+ p6 w

# U0 Q0 K2 q, f


  w" F/ Z3 x9 l1 w3 s7 M     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
7 _& |% a" c$ l% N1 U& \0 k% y3 O    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
+ S( k. o- @& Z9 s& C3 |    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）