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

蕾欧娜

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

[size=1em][size=1em]  class / D0 Q+ H' V$ f! Q! }[size=1em]      InterfaceU1 [size=1em]  { & `: s! M8 E! y[size=1em]  public: 1 t6 q' S- z; K! s, r' B- H' j[size=1em]      virtual void func1() = 0; , S1 S% V6 k# C0 P[size=1em]  } 1 u0 g5 \6 ]9 |( X6 H[size=1em]  class 4 o( y1 G4 r& g- Q[size=1em]      InterfaceU2 : `/ h- d% G# i) i5 o* O[size=1em]  { [size=1em]  public: [size=1em]      virtual void func2() = 0; [size=1em]  } [size=1em]  class [size=1em]    Wrapper [size=1em]  { & m8 i+ P  y  U6 k; P[size=1em]  public: . {0 N: M& X2 t) I8 k; R$ X% b4 g[size=1em]      virtual InterfaceU1* getInterface1() = 0; + K0 D/ g- R  H6 U[size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } [size=1em]  class [size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { " O) Y2 h: |7 M0 x5 X- N[size=1em]          return this; 7 V* x0 ?" r9 |9 n8 V. Y[size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { * B/ T/ G. h9 P7 e8 A+ y9 H% L [size=1em]          return this; 9 U. }/ x# `* v' S. C3 X1 D9 o) u[size=1em]     } [size=1em]     virtual void func1() ' n: a* A1 w; _[size=1em]     { [size=1em]         printf("%s", "func1"); [size=1em]     } & @; x' N! E! P; l% n( i* e [size=1em]     virtual void func2() [size=1em]     { [size=1em]        printf("%s", "func2"); - n8 e  P3 R. J9 j; m[size=1em]     } 6 {0 d3 O- {, Y/ V3 W; u[size=1em] } + l, ~( f5 N+ }( t) K+ f ( f4 E, l, H" }

* a( S# L5 M5 g; ?
% _+ s, `" {; U) Q; l
假设有如下代码：
3 n: k9 n2 x# D0 G' D4 o1 y[backcolor=white !important][size=1em]PHP code

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

( N" V; I0 J# v1 D. S, Y5 P: e9 O

[size=1em]1 [size=1em]2 ' d7 \" @1 d' h# A. L

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); " A9 E, h/ b" i! k2 p7 ] ( e* d* D' C; c

( k* E) U% k  B$ S9 Z) v

: G/ K* W  E( y& k4 ?其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
* ]- P- ^& @" U; _6 V  g8 w0 z/ \

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

[size=1em]1 4 I9 B& d! P" q! S [size=1em]2 [size=1em]3 $ ~  W) W1 Y% R/ V7 m7 B: {" W8 U

[size=1em][size=1em] Base* pBase = new Base(); . ~  x$ h' b* T) h[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); 5 O+ l# d4 e/ A2 B4 B[size=1em] pInterface1->func1();

, e; K: `- j: x0 [: X; o0 @7 Z% Z/ D

; ~5 g: s$ ^3 o
$ Z( n1 b4 }7 g6 b              C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]         PHP code
* s' G/ W( K% b) }7 z3 k

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

8 d9 M3 K5 ^) ?) _; y( @+ C8 H

[size=1em]1 [size=1em]2 * h8 Q  C7 {" L$ {+ |1 V [size=1em]3 0 Z( u9 ^- l+ [% P) ] [size=1em]4

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 1 y7 }# I* r8 c) n8 o, v: o6 ~[size=1em]  vTable:InterfaceU1 |Base::func1()| 3 {) W! D# a' k# t; u[size=1em]  vTable:InterfaceU2 |Base::func2()| 7 @' Y5 }3 p, c+ D

4 H1 k, j! W2 L+ s1 W6 O" L1 t- `
+ L! z# o' x7 C: ^( U: t5 y, C

8 b5 X+ J  v+ ~5 Z' g5 x     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
8 n# O1 ~  E& S( E! L8 V    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）