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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ % G1 J, A9 r" d/ |[size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} 4 h2 _' v3 F" D7 g' I# c' P6 C [size=1em]class [size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: + l3 \( r1 U) V3 x! o: s[size=1em]    virtual void func2() = 0; , K5 ~) [0 D; |/ Y! c, x[size=1em]} 7 n5 M, p* N1 M+ c7 k: T9 e3 O [size=1em]class 7 K) }4 u  s' v* X8 b[size=1em]    Wrapper + P8 k" Z3 B+ F2 q1 x[size=1em]{ - j8 v$ r$ _8 \! {' W/ ?9 C[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0;   u9 h" q4 @) B: E0 F+ P* B[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} / r" X1 S8 ^( ]# l. C4 z3 H( w; P : h) X3 O: G' k/ t; U% E; X9 i[size=1em]class * J  m% [, q* g1 n; H( P[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 1 Y) D& y& w8 g% B3 M; ]; b+ P  F[size=1em]{ 2 K$ e+ w# o6 t[size=1em]public: 0 N2 T' S, z$ D8 {) v( p/ w( ][size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; [size=1em]    } 8 l+ O: Q; ?2 W% R[size=1em]    virtual InterfaceU2* getInterface2() . d2 G( _7 D" a6 H* v[size=1em]    { $ S" p' y7 z& b+ i. e. W5 U[size=1em]        return this; . X! o# E3 i2 Q% A/ ^+ J[size=1em]    } " B  l  b  x- o2 E2 X[size=1em]    virtual void func1() [size=1em]    { 7 b5 j3 x8 `- b3 S[size=1em]        printf("%s", "func1"); [size=1em]    } % y/ ?" A) j0 c7 |$ o  h [size=1em]    virtual void func2() + L: P. ~- @4 |[size=1em]    { 4 i. w% q! {" v; i& J; ][size=1em]        printf("%s", "func2"); 9 Q/ u) f3 b: V0 n- ^3 H# b5 ^# e8 M[size=1em]    } $ `1 y, d' @* E9 `[size=1em]} & d7 O* u+ I. F ' d9 S; h2 k6 _/ `( M6 k

% u* _& U9 }$ b7 [; L7 a
# f: X5 r- `/ j. o
假设有如下代码：
# y5 G! [2 {* f' C( J9 [[backcolor=white !important][size=1em]PHP code
4 u' W- n- a4 {. Y9 I

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

. p% e: o5 Y8 K( Q+ M

[size=1em]1 7 I0 z. m5 _: k8 L  ~ [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); " W# }3 M# p' o9 U0 [ 3 _  S8 R# m8 N( {  H3 m

1 }% u8 e3 y; G, y
其实以上代码等于：
  d' \6 B7 `* a! ~! Q$ f. l) `[backcolor=white !important][size=1em]PHP code

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

1 {4 X' c2 U& Y

[size=1em]1 [size=1em]2 [size=1em]3 9 H- g) o6 G, x

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); 9 g" ?2 |! ?! y( e: N[size=1em]pInterface1->func1(); ) |; ^0 ?5 A- U, @0 x( Q% a/ }' N6 ?1 D# e / m$ p1 }3 R+ `6 U" x

C++编译后，Base类的虚函数表如下：
* w: D+ M4 l) H0 |, V, [1 _0 F. A[backcolor=white !important][size=1em]PHP code
0 i+ p4 O& {! p. E8 k5 b. Y

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

[size=1em]1 ( Q! K: B  o5 v; D6 ` [size=1em]2 $ A/ U, [; f0 ?9 H [size=1em]3 " ~) H: ?7 u% h& |  `# Y [size=1em]4 8 X& G" K7 x9 {3 u4 ?

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()|   O; d. x/ e/ v) X: p; B

$ v; Y5 l$ ]. v

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

; x* u/ q& H7 }. F3 O% r$ \