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

蕾欧娜

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

[size=1em][size=1em]class % \4 f1 ~8 o+ D( m$ l7 H[size=1em]    InterfaceU1 [size=1em]{ 7 k  H+ c5 T- Y5 ~$ V$ m[size=1em]public:   M6 T: L0 J9 C3 U- `[size=1em]    virtual void func1() = 0; & l6 F) K  F# o% R  B. q8 r; N[size=1em]} + h8 X( `3 Y4 F0 F+ C/ v [size=1em]class [size=1em]    InterfaceU2 $ U) F7 |  f- }' q! x) ^. L" y) y[size=1em]{   c1 x$ A$ h6 M/ @( Q% y[size=1em]public: [size=1em]    virtual void func2() = 0; [size=1em]} % |. P9 l1 L1 i, B, R, t7 y[size=1em]class ; C( p+ q; v4 Q  O[size=1em]    Wrapper [size=1em]{ : j) l1 U% M/ F4 U) M: y/ |[size=1em]public: 3 |' R* X, }2 ^1 b9 u1 s$ S[size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; - S- I! |# r, K5 `7 x0 Z) M[size=1em]} ) S' q% Z1 Y1 \, D) Q+ s 1 u! |  Q4 {$ o[size=1em]class 7 W; o" i  ^0 Y( H0 I[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 ' z/ k, e  j7 u1 ~[size=1em]{ [size=1em]public: 1 d  U: A. d6 x% u[size=1em]    virtual InterfaceU1* getInterface1() # {8 V' Q7 x. L( K$ }4 g, c[size=1em]    { % `5 O# ^1 |$ {. l3 m- s: ?[size=1em]        return this; [size=1em]    } + i* @; Q2 B9 A[size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { [size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() ' @7 M7 x& [/ @. y/ _. L[size=1em]    { 8 u5 ?  @1 V; O2 y2 j1 K; L9 F[size=1em]        printf("%s", "func1"); 6 u+ ?0 u: g6 C3 V# d- w[size=1em]    } - v8 Q- o0 b' ] + t" T% l, r+ r[size=1em]    virtual void func2() [size=1em]    {   Z6 B; O8 D" _# O3 F[size=1em]        printf("%s", "func2"); [size=1em]    } . h) |. O. I. U( T. J; D' f6 e[size=1em]} % b4 {! K" j' D! x8 n6 U  R

8 y/ U3 x2 H) i: U1 L2 _* @* e$ b假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 # \" K. X( O+ o: e  p7 a

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); 9 q9 `* B6 Y& D/ ]# e7 o

8 ~4 T8 {/ u, C4 m3 @2 w+ d
* N- L; v0 e/ d: `" z其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

- `/ \: Q! t- S# y. V0 W1 T8 a7 k9 J

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

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); * d+ q% N  A0 U- V- G7 p

6 I0 U1 K2 R2 ^9 r# c: v
3 }2 s/ S, E" D1 A$ Z+ {
# p: \( z  i) z! U
: j! f% A, o; C3 ~+ E* B4 AC++编译后，Base类的虚函数表如下：
! X& @, ^3 J" s% X4 p& `. s1 I[backcolor=white !important][size=1em]PHP code
# T# u1 Q1 j; o! b6 J, l2 E

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

6 b$ P6 X$ m+ D1 A

[size=1em]1 [size=1em]2 [size=1em]3 ! P8 m- W" W7 g- l [size=1em]4 / v- ?9 }8 ?% {( Z' {% K

[size=1em][size=1em]   " |1 `7 ^- R: T2 s1 `- E[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| : T5 r3 o* c& @# ~3 u! D1 ?[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| % M1 v9 m+ O+ w6 @% t- q% Z # L  v& I4 \: r

& H! z7 M" x/ l+ ?/ Y5 @


7 o/ g) j- L. X4 z8 Y5 v* W: o$ [如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
8 U' h9 z, s+ ~5 L4 q; L+ ]C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
! ^( y* [8 @8 }* K; R% z
& ^+ P/ U) X+ k/ }! _* @$ K; Z4 E4 j! D