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

蕾欧娜

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

[size=1em][size=1em]class # [$ I! k* ~6 }' c6 C[size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} ) |2 m; u/ ^1 B+ x ! [- m; d2 _8 N, c  P[size=1em]class [size=1em]    InterfaceU2 [size=1em]{ 8 [" ^; n5 ^# F2 t% v: b' E[size=1em]public: [size=1em]    virtual void func2() = 0; & {5 R# o0 E1 y+ ]! [' g[size=1em]} * v0 {: C5 H# }& }1 V [size=1em]class 0 }6 f# b2 i  N1 K9 \4 N[size=1em]    Wrapper $ o( Z0 x6 g; e3 D# y[size=1em]{ [size=1em]public: 7 T: W' c* T! e' s: ?9 j  Q, ?& m' n[size=1em]    virtual InterfaceU1* getInterface1() = 0; 7 Z9 a- M( O! g, a6 J[size=1em]    virtual InterfaceU2* getInterface2() = 0; : r8 c: q. I+ M6 `# _% m( E& n[size=1em]} [size=1em]class ( f4 a5 q5 O! H9 i( B# L3 f[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 2 u4 _. r4 h6 f# h[size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { 4 P9 b7 z8 l/ @5 Y$ w[size=1em]        return this; ( r. r" X* _3 l[size=1em]    } 1 C1 r  n; P# _# E+ u[size=1em]    virtual InterfaceU2* getInterface2() 5 s/ S; }3 o/ k  y6 F7 w[size=1em]    { 7 U0 b5 w2 w4 |7 L: p[size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() [size=1em]    { 8 X% M4 P. J, m, _2 L. C[size=1em]        printf("%s", "func1"); [size=1em]    } 3 E$ ]- F5 h) ~. [, H& E3 ]3 p9 V* S [size=1em]    virtual void func2() 7 @& e. X% p7 O& U[size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]} 4 G* g$ y) h' `, S7 ?; e

假设有如下代码：
! X4 k+ A- s$ t[backcolor=white !important][size=1em]PHP code

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

2 O. V( A% `( V: o

[size=1em]1 [size=1em]2 ' i" W! f  p6 M0 e

[size=1em][size=1em]Base* pBase = new Base(); ! J( L" d" W* ~. b4 ^8 b: l& O[size=1em]pBase->getInterface1()->func1(); " w4 N3 ^: O; J9 X1 j7 z- z * S# E+ a9 U6 \

2 x; Q# i7 h( @" A3 Q# i2 g其实以上代码等于：
! U8 k9 M8 N% l( ~. j6 Z+ k[backcolor=white !important][size=1em]PHP code

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

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

[size=1em][size=1em]Base* pBase = new Base(); 2 P& h9 \% b7 {  ][size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); # \" B& z( n6 d; N[size=1em]pInterface1->func1(); 0 {4 A4 x5 h. {* h7 ~

8 y3 a5 o6 {  ^, X2 P& X" n/ o% u

C++编译后，Base类的虚函数表如下：
3 H* u8 T2 |2 O+ M7 G0 f* s[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 & {6 C8 q$ t! h4 F5 v [size=1em]2 [size=1em]3 9 x% Q$ x# Y7 Z2 Y. R" | [size=1em]4

[size=1em][size=1em]   0 H$ \' U% j5 u[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| , p0 Y- J% [3 M! Q. F) P[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| 7 ^6 x: ]: u6 n2 m; }! {

" b8 p& N/ v+ U2 K8 }$ [& ?

( w( k  A, W: A' N, p
如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
2 \7 _% d0 X5 E3 `但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
; z  m& l, X% f# |1 {5 MC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
& B6 q- t8 T( [4 h2 MC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

: I- x& ?& Y0 k7 R