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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: 2 M* V4 b: S4 H[size=1em]    virtual void func1() = 0; [size=1em]} ! J5 ^/ k4 d* K. v: G3 u[size=1em]class [size=1em]    InterfaceU2 [size=1em]{ ' W, _8 t2 n. _7 f) t8 @' q[size=1em]public: [size=1em]    virtual void func2() = 0; # Y7 d+ w0 \# A5 e9 t9 M* {; k[size=1em]} [size=1em]class [size=1em]    Wrapper . `1 U/ d  Z% _8 o  g[size=1em]{ [size=1em]public: % v* d& a0 U! G" j* L[size=1em]    virtual InterfaceU1* getInterface1() = 0; ( Q' Z2 q/ `9 C% W! @* f, o[size=1em]    virtual InterfaceU2* getInterface2() = 0; 5 k( n6 F" W4 G! C4 q, \[size=1em]} - G6 k2 ]/ ]- ?1 s/ L- Z( J[size=1em]class , F% N1 `7 B5 k1 W# O[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 & I2 W) f. ?2 B/ T# P1 ~[size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { ) h6 D# p3 p) L! A1 a7 t1 w! t[size=1em]        return this; [size=1em]    } : @. o% G9 i$ c[size=1em]    virtual InterfaceU2* getInterface2() ( B# F( O5 O' ^" G[size=1em]    {   Y. p: ]( k/ s+ R% K# q. k[size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() [size=1em]    { [size=1em]        printf("%s", "func1"); [size=1em]    } 7 w# J0 e# B5 p' }[size=1em]    virtual void func2() 7 p  k$ g( ~- [6 |* X[size=1em]    { ! e) Q' B* g; }[size=1em]        printf("%s", "func2"); [size=1em]    } ( d7 W1 [+ L8 Q( `; L[size=1em]}

$ D4 S& ~1 y8 E% {4 P: \6 Q0 z假设有如下代码：
[backcolor=white !important][size=1em]PHP code
/ |6 ?1 i* q; y' c; J

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

2 D, p$ Q! M% Y: n" m4 E/ B

[size=1em]1 [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); , s& G' F! j  E/ X7 d% r * `% f8 U* N) `

, @8 _6 f9 U. N
9 H( d6 n6 R5 q& c6 u. o5 R其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

# I* F' F: n. G' i% x

[size=1em]1 3 O* a3 l5 G6 V# E [size=1em]2 [size=1em]3

[size=1em][size=1em]Base* pBase = new Base();   y% [' l* d/ ^+ z[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); % N$ c  z2 r0 j& j- I ( z6 d' l# `8 \7 `5 |* C' k

+ `( C) h# f/ A2 k


C++编译后，Base类的虚函数表如下：
" W8 I- _% A# s$ M% I[backcolor=white !important][size=1em]PHP code

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

; I! @  V( l4 I* L% K

[size=1em]1 & _, m) P/ G  s% f& ^! U; y& o [size=1em]2 ! }& y3 \! u' S* e [size=1em]3 - T" j8 e- r: `) J! _# p [size=1em]4

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()|

7 P' l8 I$ I7 P- H

' B/ b" }' l3 A5 l$ e2 v
5 `! E* X" l- t" X. Z4 q* M) k如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
  \1 I1 @, w. R. V/ \3 f& m但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
" D) x3 ~/ [: M* h# AC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

  P# K) e$ P- @- Y