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

蕾欧娜

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

[size=1em][size=1em]class 2 y' K- `  v5 p# \. Y5 |[size=1em]    InterfaceU1 / a& {- ]0 D0 r2 {[size=1em]{ [size=1em]public: 9 N3 O4 E+ n; Y) w4 D4 _- O[size=1em]    virtual void func1() = 0; [size=1em]} [size=1em]class ; c) F6 p% c8 v[size=1em]    InterfaceU2 7 r- m% K& {& X) a[size=1em]{ [size=1em]public: [size=1em]    virtual void func2() = 0; 2 i! l5 C0 e- ~- H[size=1em]} [size=1em]class [size=1em]    Wrapper [size=1em]{ 9 y# H8 U6 m6 m; v4 A# c( r[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} : X, v' G7 _) K" L4 p[size=1em]class ; B3 Y2 x! R! r# y1 \[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 ( U" D% c1 g7 i# |( N; V[size=1em]{ 9 A" o% r' R7 M) N, V[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { / V  c( T7 Z# u4 u/ w9 G6 f$ w3 F[size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() # s% H# [* D! r[size=1em]    { 4 l# _6 |' J/ s  [   c& `4 g* s9 l; w; L+ b$ Q* M[size=1em]        return this; % r/ R9 r% Z9 L  Y2 z$ u0 o* o[size=1em]    } [size=1em]    virtual void func1() : U; A- f4 ?2 g! J& x) T" R[size=1em]    { $ X; U0 V2 m4 |! c, s) n& e; i[size=1em]        printf("%s", "func1"); 9 d, @9 K1 n+ y. K; b[size=1em]    } 0 ]  d! {& {& a# Z' B" N  x [size=1em]    virtual void func2() & \' K, U3 r9 V% h[size=1em]    { [size=1em]        printf("%s", "func2"); * r) o8 [  ?& N; s( A' J[size=1em]    } " [' c! @/ F8 @. X/ H. N[size=1em]} 7 ]* }% R* b9 [. `4 q8 N

  g* x. Z9 b3 d6 h+ p
/ s( C9 n! m- g0 i2 J
假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 / b: c4 c/ A) m: m. i

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1();

6 [# [* ^, m, V. Q8 ^

其实以上代码等于：
- A# n9 R- \$ P- {[backcolor=white !important][size=1em]PHP code

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

6 {: P( L: s! X9 j8 ]$ g3 K

[size=1em]1 % K" K# F% s( a' `# A [size=1em]2 1 P2 t  d+ o  o# W [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); * J! ^. @& L1 d, J[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); . R1 W- v" D# j3 d  X[size=1em]pInterface1->func1(); ! x2 y! S( \& w+ x8 A9 i! h

3 a) j' J8 l0 ^/ Q! X. W  |& l


& s0 i4 l+ ~( ^4 c5 v% c6 _4 `: A: CC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
' f2 F) R9 X( {

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

[size=1em]1 8 ~, X' m3 ^, [" Y" C! T [size=1em]2 [size=1em]3 * [9 u2 A" T9 ~ [size=1em]4

[size=1em][size=1em]   + c3 a2 H0 k- C* P[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| , e9 L7 l8 u# _& M[size=1em]vTable:InterfaceU2 |Base::func2()| 9 T* f8 A* x7 v, N# U3 x

8 Q, F: n! U3 E5 a5 ^2 T; S! n; Z" D如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
4 {2 |' {3 P% [5 H3 a: G& m( V+ P- W, Y但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
7 ^2 Z* J: h1 [3 J  fC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
9 m0 O' z6 m5 h& c; @; }4 q: @C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

* s5 Z8 _, s& R3 y6 o