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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} [size=1em]class ' ]0 P& L' T* v[size=1em]    InterfaceU2 6 _' d& i2 t& e) g[size=1em]{ [size=1em]public: 7 p5 T2 O& |5 V( K6 x& `0 U[size=1em]    virtual void func2() = 0; . \- J3 p( m8 V8 U2 T* ?6 V/ g[size=1em]} [size=1em]class - l) G( \! n) U. l* U4 S[size=1em]    Wrapper [size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; & t  H8 y$ d0 O4 I' }[size=1em]    virtual InterfaceU2* getInterface2() = 0; 9 d: ~- I* J4 r) b* g[size=1em]} 1 F8 O. o& Q  k' n; ]- ?* } 9 M+ t5 l$ a. o$ _[size=1em]class : r! }) H7 E3 Q) w6 S) x+ w% d6 \1 ~, G[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ / ^0 t- A; g' K/ V  H- V0 a[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1()   \* D; G' g. M2 V0 G  A0 i[size=1em]    { [size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() / p. V8 h8 a( c[size=1em]    { [size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1()   H/ [& ~! R7 H, ~% ?[size=1em]    { [size=1em]        printf("%s", "func1"); 8 x8 S- Q- _" U5 r0 }[size=1em]    } 2 g8 u/ |2 E: E. H2 x" G7 s" e5 A3 N+ ^ ) e$ A( f; {% C[size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]} + i9 F4 p+ v, A& {/ n% a5 q

# R+ I! l; Y7 Q0 N9 M8 ~! Q

- ?% p6 G3 w+ |* K假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 + E' n) Y# J- C. F8 n( t [size=1em]2 # W' ?5 h  Y# E' U/ {' k

[size=1em][size=1em]Base* pBase = new Base(); ! D) F; k7 N0 n+ H  c1 w[size=1em]pBase->getInterface1()->func1();

# A5 d! ^3 ~9 z

其实以上代码等于：
. ^' L" [1 f  U2 f[backcolor=white !important][size=1em]PHP code
8 {& \! a. J3 S! f: z

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

6 p5 ^& F: c5 l6 Y& F& g# C; s4 e

[size=1em]1 [size=1em]2 + ~- n4 O% i% f& ]0 \5 x# _ [size=1em]3 ! g0 ~6 |6 M# \8 V1 D

[size=1em][size=1em]Base* pBase = new Base(); 7 O& h- l  p: `- Z6 l[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); # i" w7 f0 q2 W3 W2 y[size=1em]pInterface1->func1(); * G2 t) [" b! `* Y( @

7 j8 ~; {9 @$ s$ n/ q9 C
+ v0 x& a- W4 T
7 z& N3 M8 |7 M! q

C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
9 F- M1 `+ S# {( Y2 ^7 B$ s

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

[size=1em]1 [size=1em]2 [size=1em]3 [size=1em]4 , K' U# z0 X' ?7 Q. e5 u, T

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 9 ]: c7 d* f0 R8 d$ u" H3 b[size=1em]vTable:InterfaceU1 |Base::func1()| 5 c/ b3 x7 u2 Z" h- S; n* G[size=1em]vTable:InterfaceU2 |Base::func2()| 0 x& v5 J  I* @5 A2 ]

9 Z; c0 f6 g. S
+ r7 a' g) R# G& o

如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
. W" j% \3 @6 ?0 [" QC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
$ a3 R9 V: \* K9 D; V$ VC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）