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

蕾欧娜

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

[size=1em][size=1em]class 5 x4 ]) Z& K) `2 R0 w[size=1em]    InterfaceU1 : K) L: h. j% B) r1 Y[size=1em]{ 5 O: t- ^* E; @; k6 [) }( D[size=1em]public: " i6 S% j) _! @4 F[size=1em]    virtual void func1() = 0; [size=1em]} [size=1em]class , U- o+ G3 z% _& d9 r6 g! G3 c[size=1em]    InterfaceU2 7 h% t+ k. e2 L$ U9 R" ~) B[size=1em]{ # ]5 p; B7 T5 {# q[size=1em]public: ! P  a( Q' \! f2 ]+ ]* i$ Q[size=1em]    virtual void func2() = 0; [size=1em]} * [: J/ B! V: [' C1 _+ n" O* U [size=1em]class [size=1em]    Wrapper [size=1em]{ [size=1em]public: , y' Y6 ?0 X0 a2 l$ M5 y: s[size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} , O! T. F+ u2 Y) q [size=1em]class . M1 L/ ^% R4 j6 P  P! S[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ , i' p; o" k6 j4 |% c7 d[size=1em]public: , Y1 x* }/ O  C' D, o[size=1em]    virtual InterfaceU1* getInterface1() 7 G0 Y- S( s, r- }, r& M, \. \1 u[size=1em]    { 8 v, [" C( B: B3 i4 _: }8 W[size=1em]        return this; $ \$ ?0 H$ m: [" a[size=1em]    } " k) U. q7 n2 j8 ]+ [0 @[size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { 2 B  H+ f( H& g( a+ I$ D [size=1em]        return this; [size=1em]    } 0 x& G) P( ^# x/ ?/ x( g8 y[size=1em]    virtual void func1() & k4 v, r" y( I) d( M[size=1em]    { 0 G. s6 i: G. I! a$ \[size=1em]        printf("%s", "func1"); [size=1em]    } % b- T, Z* i8 k% X8 U! n 6 V+ d0 K# X8 A, C% u[size=1em]    virtual void func2() [size=1em]    { 6 X* X' d4 ], Z+ _$ R[size=1em]        printf("%s", "func2"); % z8 k+ H9 R1 \[size=1em]    } [size=1em]}

) T: W7 M0 y3 D' a; V8 b% ]
6 S4 [2 s6 s  N. M4 f& Y* |4 C$ C
9 g; L# T% P" h8 j, g- q假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 - c: a2 P4 H6 y1 b& Y

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); ; S" V  Z# j( J! T8 G- K' g9 a

, @- s8 A& j7 w2 X其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
$ L% T) @& o0 w& k6 X! Y: D

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

' }' E6 V/ ^7 l) E. T# o

[size=1em]1 [size=1em]2 + H4 b1 @7 ]& c# S' G" f. ?3 Q- | [size=1em]3 * |/ B9 B& i; Z: I/ [; ~

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); 0 _3 ?/ r' V6 V

. w- C  {  n% J$ }9 M; T8 }


/ j  }4 B! p; _. Y
C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code

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

# X9 q$ Z* A( j  H3 T0 o* T3 M5 {

[size=1em]1   Y0 d3 G! C& V  _, h [size=1em]2 [size=1em]3 ' K& X" K, C% h' h% k: d4 P [size=1em]4

[size=1em][size=1em]   $ ^5 U0 f$ `3 p) C! @' F[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| ( F  z; ^# q+ V( ?+ M" u[size=1em]vTable:InterfaceU2 |Base::func2()| % i1 I, ~& G$ D  C# i  I 9 V) F+ e6 t& y& Z0 P: r8 M% k

" J" ^. C- D; ^, {( M6 m6 q


如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
9 G/ ?/ f9 r' g7 |但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
" d, u2 K% ~1 f, Z8 ?0 i; RC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
1 T( {9 F2 m) a0 ^5 Y% A
9 z7 D# O) T" x0 l