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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 + z( C# k8 w8 ^% m[size=1em]{ " k# R& e  y$ S+ I7 y/ I" k[size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} : a% `8 {6 }$ B1 z [size=1em]class # E. D( V& B0 t# \; k[size=1em]    InterfaceU2 ( G( D) @, `: [0 m$ V0 p8 X[size=1em]{ ' |- q. g+ W7 O- x[size=1em]public: : i8 C. W, R0 x. {% ]. H[size=1em]    virtual void func2() = 0; [size=1em]} 2 d* F- z. h. l) T [size=1em]class * ]& ]( J! z5 @! p* F6 _" m[size=1em]    Wrapper [size=1em]{ 2 Z/ a. f& U1 E7 i$ M1 F[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} ; v6 `" \6 A  B+ c# ` [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 # K7 l9 s$ T( `! l  x) F( h[size=1em]{ * w( v$ Z* M, r1 m5 H[size=1em]public: 0 V. v8 X$ p! k1 T[size=1em]    virtual InterfaceU1* getInterface1() , k) z' w- ^) t' D5 \; c# f2 a) Z; J[size=1em]    { [size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() ) `, u# t$ x: C[size=1em]    { 5 g) m; j7 A( S! k [size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() [size=1em]    { [size=1em]        printf("%s", "func1"); [size=1em]    } 7 F3 d! G; t& d# \2 V/ v4 }7 H[size=1em]    virtual void func2() * x- i5 K& @! x! S+ Y. t[size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]}

. s8 q* X8 m* N6 p假设有如下代码：
" E9 r1 b8 H. I; M. A4 X6 u[backcolor=white !important][size=1em]PHP code

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

% ?6 I' \! k1 c

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

[size=1em][size=1em]Base* pBase = new Base(); 7 ], c; S% J# ?- ?3 F[size=1em]pBase->getInterface1()->func1(); 6 B+ c/ V/ t* [- _7 E+ h1 Z

# \* [, J% t# ]; T+ C( j
其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

& D9 z  P- b' l& Y

[size=1em]1 + x$ E6 k% s! } [size=1em]2 [size=1em]3 . X% W7 p$ h* ?( b6 }: V( Y

[size=1em][size=1em]Base* pBase = new Base(); 6 j; f" v) Z$ _$ |4 ][size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1();

1 r$ v, L' E$ e( \


% Y% v7 [& M0 [( M% @0 _; ]: x
4 H" D: t' V6 v) ^; B) K1 L$ mC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
& g. z5 `" P9 U

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

7 j4 D. {0 O" j5 g: j/ R

[size=1em]1 [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()| ! ~0 }$ G) z3 @% F+ d[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()|

) F9 z* C$ ~; U
0 [6 w' h( P. p: c

如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
/ c7 @1 g; j2 W3 N' x5 sC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

0 E; Y3 t& B* H  k4 |  d1 w; _; |1 V