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

蕾欧娜

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

[size=1em][size=1em]class 2 V$ w8 M$ v1 v6 d: Z& ^! J[size=1em]    InterfaceU1 [size=1em]{ 3 R3 O+ M; `2 F# p8 X[size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} ( o: u3 D' C4 f[size=1em]class 1 L& V: e5 {9 W+ _3 i[size=1em]    InterfaceU2 3 T7 N/ r& W. `& a[size=1em]{ [size=1em]public: [size=1em]    virtual void func2() = 0; ) n# N( j: J; _8 j7 f+ {6 ?[size=1em]} 7 n2 j, B% a0 I[size=1em]class [size=1em]    Wrapper [size=1em]{ 0 i5 v- P/ `2 S  n) D[size=1em]public: 3 O7 P1 ?' h! c. n" M3 M[size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} " J6 s7 I; E2 I$ w[size=1em]class ! ~2 J6 A/ [6 c" H7 Y[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 4 C2 R: X0 r9 K4 \! h5 |5 \6 l0 L[size=1em]{ ; V2 r5 Y$ ^# s% w  R9 v9 G[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() 2 x- @2 C0 G4 v" @9 ~[size=1em]    { % l. U& J7 |; ~" J( @[size=1em]        return this; $ z- {& u$ \% G[size=1em]    } [size=1em]    virtual void func1() [size=1em]    { / v& L4 `" s5 M0 v[size=1em]        printf("%s", "func1"); * z; f& z. ]0 [$ z[size=1em]    } - J1 c3 Q8 J' ~ [size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } 7 c# f+ U3 R# A$ q$ k[size=1em]} 9 d: K& b+ E# ~" @% N

$ `: Y. I; n& ~

3 j8 w* b0 |8 ~假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

5 E6 u# L' R8 `$ Q' y

[size=1em]1 [size=1em]2 * i) _& y8 A; k1 b2 f

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1();

5 S: _3 M9 R: a6 I7 E
! h& ]5 n6 A8 c4 P: Z$ }# G
1 {' Z5 j; L6 H& d其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 8 k& D! w$ \4 w  H [size=1em]3 . }% e2 q0 S& I: A+ S: Z

[size=1em][size=1em]Base* pBase = new Base(); ( G& z" ~4 o- o2 S$ v0 w[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); 4 D8 ?: C4 ]+ Z9 H[size=1em]pInterface1->func1(); 2 [( N2 x. H# x) W, A' F & t+ r3 N( X; B# r8 s. j. G3 B

: P8 _* G0 u0 f' `
2 X2 R' \& t1 P8 x1 h" A
  L- x: z% G  U1 H  q$ o+ P
( f( h( L3 l+ I' C/ p
C++编译后，Base类的虚函数表如下：
7 D/ F) {# z$ J6 d( ]* [0 v  Q( y[backcolor=white !important][size=1em]PHP code
& O) l- j! Q7 p

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

7 m5 B  o( Z$ V) B8 C

[size=1em]1 [size=1em]2 [size=1em]3 4 Y. D& w" K- h- H6 y* Y0 C [size=1em]4

[size=1em][size=1em]   ; S8 T3 X7 P2 v. ^6 u  @0 B[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| % l/ {! ?* r4 X1 g[size=1em]vTable:InterfaceU1 |Base::func1()| ! o5 F2 n% H: A& R" X! e[size=1em]vTable:InterfaceU2 |Base::func2()| 7 |& k6 G; L: L! u- q' j, s 3 m( [1 v. m9 H' `5 v1 F) ?

8 U$ B  J9 {! i" U" M! E5 J% v0 v8 |
$ ]/ ?4 j* T5 X. S
) W- r8 J- N$ [% I% A- c; d
如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
, x1 V: l% R; P% ?9 p但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
6 `: Z, D# F( X# i7 u* IC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）