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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 $ A; |% E* p) ^' L[size=1em]{ [size=1em]public: 2 k- o$ b( x+ ?# t- L7 p% M- i[size=1em]    virtual void func1() = 0; [size=1em]} [size=1em]class 1 {3 @8 `% E4 z% s[size=1em]    InterfaceU2 # k+ i+ X2 K. M[size=1em]{ 1 W/ u( w$ ~) H, }' r; p  i8 r9 q[size=1em]public: [size=1em]    virtual void func2() = 0; [size=1em]} 7 f$ k) `" z; M) T [size=1em]class . ~9 x' `: {+ f" h[size=1em]    Wrapper ' [/ W3 o* z1 e) |: O% ^& \  W[size=1em]{ [size=1em]public: $ w5 i. Z- g8 p4 f9 B) P. `- M4 }[size=1em]    virtual InterfaceU1* getInterface1() = 0; 3 X$ i( p! L. o4 F[size=1em]    virtual InterfaceU2* getInterface2() = 0; * Y/ _7 N! Z7 ~2 i( U2 t/ ][size=1em]} [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1()   F) _( z2 ^% `3 [# B& x5 a4 _[size=1em]    { 9 B/ X. A5 p( q/ m8 S[size=1em]        return this; [size=1em]    } ; Z! d2 D, \) k( X+ u[size=1em]    virtual InterfaceU2* getInterface2() 5 }( M) s" S0 B  ~# Z' x0 I) Y[size=1em]    { [size=1em]        return this; [size=1em]    } ; Z0 e. r$ d1 G# p0 i. L) ?" V' f[size=1em]    virtual void func1() . o! E: p1 h/ f" {1 C0 }[size=1em]    { 2 ^* R, I8 n) x; }+ e. ^[size=1em]        printf("%s", "func1"); [size=1em]    } 7 }( u0 }* g( C! L2 i[size=1em]    virtual void func2() ' \6 J/ D; `9 ^' x' J. E; @% }" S[size=1em]    { [size=1em]        printf("%s", "func2"); 9 x  k5 ]! {( {9 p( N. @0 X[size=1em]    } [size=1em]} / D5 @3 \: y0 g5 a. g- q1 L7 a 2 Z. @! ?  q" S! P3 w; s. c& T

假设有如下代码：
[backcolor=white !important][size=1em]PHP code

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

# `0 p7 V0 Y1 j" j& Y* ~

[size=1em]1 [size=1em]2 3 P+ _; A9 f  [  j% D, S

[size=1em][size=1em]Base* pBase = new Base(); ( D: [5 R! L' |: Z! A+ E7 C" u0 u[size=1em]pBase->getInterface1()->func1(); 1 T3 n' V! p: K $ J2 A; b' y3 d4 `* C0 Y

2 X! {1 \0 }7 O, {$ Q1 `其实以上代码等于：
[backcolor=white !important][size=1em]PHP code
. f0 ~' @2 c  k) A( ~. [

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

[size=1em]1 ) ], @- E  h! ^) C* Z; Z [size=1em]2 & k' l% K) t0 \0 G+ C [size=1em]3

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

* D4 p! t3 J4 |9 K# F4 ]


C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 [size=1em]3 % R9 i6 ^- t" [( b [size=1em]4

[size=1em][size=1em]   " f7 m8 f( W6 ?2 c( s1 s& s[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| : C: f# i* e0 S3 r

( e) I7 _3 d8 _, c9 N; w6 W" f

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