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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 4 I. t% G6 w# h" \) j0 R[size=1em]{ [size=1em]public: [size=1em]    virtual void func1() = 0; / G+ K) ]7 V4 e[size=1em]} [size=1em]class - U, I5 H0 D0 d' Q" |! Y[size=1em]    InterfaceU2 5 B' E: _  b) {! F# a4 X' H[size=1em]{ [size=1em]public: 1 f& L; d6 E5 k, n, m% i[size=1em]    virtual void func2() = 0; [size=1em]} [size=1em]class [size=1em]    Wrapper [size=1em]{ [size=1em]public: $ N& q7 C( b$ J  }4 p: o8 h[size=1em]    virtual InterfaceU1* getInterface1() = 0; * v) T/ \" M- H[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 9 x- w9 W; J' s7 Y[size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { 3 J$ t1 i& L% {" e9 i4 g& J[size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() ! W6 A0 j  z2 d# i* G3 O4 B: p[size=1em]    { [size=1em]        return this; , r7 J6 X' r" ~4 Z% O' t[size=1em]    } [size=1em]    virtual void func1() [size=1em]    { [size=1em]        printf("%s", "func1"); [size=1em]    } # J4 `9 j, N; [) b% V 6 Z8 z0 Z0 b$ K/ c' [[size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); 6 ~% h$ l( {- O[size=1em]    } [size=1em]} 0 Q0 o- O, Y) I7 z6 ^

3 J8 k- c; l4 X
假设有如下代码：
[backcolor=white !important][size=1em]PHP code
  l+ R' V2 U$ }  t8 c) K" a

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

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

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); ( L) H2 D) H, b* n+ ^7 i3 @ 2 X' o4 p' Y, ], g

, I2 P6 U) B% q9 Z8 n5 S& l/ B
( P; S- I- b2 {/ d
3 Q( e. u# p% e0 V& P, o其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
6 T7 ?# M' T/ k1 E- M

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

[size=1em]1 6 B% N2 f4 ~/ Y! \5 F7 V [size=1em]2 1 m/ h1 P& I/ ` [size=1em]3 $ h% G5 D# t6 }

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); $ r! L& G; W3 d0 n" j[size=1em]pInterface1->func1(); " a$ I( o" }- h0 ]  G' R + c2 B5 k! U2 ^; l

- C; M: M. z( ~5 K( P+ r2 {

$ c& j1 V& t* y) l8 _) [' l2 c6 T
2 \! T- X9 _' {* ], WC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
& g6 R/ C! H% M; ^# u: D- `4 Z

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

) D. B5 i6 Q( ]9 x8 ?; L

[size=1em]1 4 ~. @& X. m& N  i [size=1em]2 * W" z. W8 D8 l: z [size=1em]3 9 |& k3 x' l* H/ s( Y [size=1em]4

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 2 T3 ^$ [% |! }9 I2 O[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()|

如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
# J; R9 t. v! ]; C+ ^& x' pC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
1 C- T# R& ?( n, i! ]# RC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
  q8 {( d9 b& K: `" e# v
4 H- @8 j0 Q/ ^3 q- B1 J