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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ / s/ y: ]( q" i, }, u[size=1em]public: [size=1em]    virtual void func1() = 0; 5 M' R1 g. r; a7 t[size=1em]} [size=1em]class [size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: . E4 G/ b' Q- `; T6 K  r* g' r/ V[size=1em]    virtual void func2() = 0; # q; q) y+ P" j$ N8 ?[size=1em]} [size=1em]class [size=1em]    Wrapper [size=1em]{ : c/ e7 K% F4 X% B- r1 F[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; . K- E5 r; B7 S' Z' j0 [6 a[size=1em]} ' m4 ?7 A' ]% ~" H9 O[size=1em]class % a5 Q$ L6 F% ]) U- p" }  D9 E: `[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 / M) A  K( ]* O1 m- Q4 z[size=1em]{ 8 Q, Q. E4 M" T4 |) ][size=1em]public: 3 j2 J  k( Y2 ]' i, T[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { 0 M1 W% Y. w: P8 W6 @[size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() " b. k; m2 y& b0 W[size=1em]    { 3 z, r# ?. ~6 Q( f  o5 e; \1 w, n ! w; l5 Z% N7 N9 U: m; X[size=1em]        return this; [size=1em]    } ' k, I: n' ]( \5 B! S; U. ~[size=1em]    virtual void func1() [size=1em]    { ; _# g" T/ |! N4 \[size=1em]        printf("%s", "func1"); 0 a6 I2 z$ [) a/ @( f+ u! G[size=1em]    } [size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } + q/ ^  o& T/ Z4 X0 _[size=1em]} : A2 T( h7 Y. `* i

, u$ K5 v  n& c. N$ E# M
假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

' F" R* b0 d* X) P7 y- i8 G

[size=1em]1 * M" r$ P- ~% b! Q/ Q [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); " b% \6 ]9 `' O& {6 k# |+ x% e

  Y: `3 v9 f9 O9 C
4 d; n  j" M1 s% S, v其实以上代码等于：
8 ]$ ?, E2 h* B1 V4 `6 Z[backcolor=white !important][size=1em]PHP code
4 o/ e8 v1 c0 f, }) Z

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

8 q! L/ z) p- a; J7 v

[size=1em]1 7 x% n# X3 w2 P4 p: G [size=1em]2 [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); : x, a3 V- s& X$ i[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); # V9 V0 X. H7 L1 f; E) K1 {  s

" j6 I9 l% x' l0 k

2 B5 H# ^$ }, T% Q) d, ?! k

C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
+ d& H  l; [5 O# W3 [2 b7 ~

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

[size=1em]1 [size=1em]2 ! W6 j5 {- V* {; ~/ X# u# a [size=1em]3 ! q. d" F5 h( ]7 H! I" e" M [size=1em]4

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| ( d$ f8 ~9 r2 w7 B  x* N6 o[size=1em]vTable:InterfaceU2 |Base::func2()| # R9 G5 u# ~7 B/ s( f7 }" q

0 _4 r* Y7 K1 J7 Z

; y6 _/ P1 g9 h4 Z- m# Z) ^
4 {9 D9 A+ ~1 @/ L/ Q如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
6 p+ U$ x$ n: A$ r' |