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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 4 k/ j% S2 Q0 t" [1 N; l[size=1em]{ ! [2 J% S6 R: T* |5 i  R[size=1em]public: ' ]$ S3 n! [* K9 p3 T9 ]: U[size=1em]    virtual void func1() = 0; [size=1em]} [size=1em]class 2 ^# L; X0 Y7 w1 u1 c3 k2 y[size=1em]    InterfaceU2 ( C5 P" \0 v6 H% S[size=1em]{ [size=1em]public: ; M7 s! ]+ l; P. l: b[size=1em]    virtual void func2() = 0; [size=1em]} # O2 }! Y! S4 V: z / F1 d$ A6 C8 ~. A- \4 b: u[size=1em]class 1 E% r; p( c% W# C( J6 |[size=1em]    Wrapper 9 J" m8 y$ K6 z+ [( T/ O8 Y: i) k$ E[size=1em]{ ( V* n/ W  _! ?' Z* Q6 F  v8 n7 F[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; ( W( N8 ~1 r2 [. m; }; s[size=1em]    virtual InterfaceU2* getInterface2() = 0; 1 f# C7 E) G; r) {! q; K, O2 E[size=1em]} ! Y% s# v$ g2 Y1 C+ R( | [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]{ . ~0 y$ j8 @3 J. w+ ^4 N. f& e' u[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() 6 G' A+ U5 ~7 H# `[size=1em]    { [size=1em]        return this; 5 v2 N! J' p. Z7 g- c[size=1em]    } - W& o: s9 B; G& Z( T[size=1em]    virtual InterfaceU2* getInterface2() 4 {! W) j* ]# M3 a[size=1em]    { 7 f( _% g8 {" o, c$ a4 ^[size=1em]        return this; [size=1em]    } ' G- c; A# Z, x% s7 Z- Q[size=1em]    virtual void func1() 1 t$ `# h* o* T/ c5 C[size=1em]    { 6 r9 W3 w. P( O* @7 i6 M5 }[size=1em]        printf("%s", "func1"); 8 }" {8 H; Y6 n1 ]% B[size=1em]    } : @. C, x  r+ c" v4 n [size=1em]    virtual void func2() - y( `# B8 ~7 t6 `  h1 O[size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } 2 o( B1 B) V! d7 K& L  ^' [[size=1em]} . `& V5 V; R' ]

+ T1 a* i3 k' l7 ?
& O, E; ?: i# b& a
假设有如下代码：
# u# T5 k( K7 A/ ]2 H[backcolor=white !important][size=1em]PHP code
$ B4 j2 B4 u3 I6 ?

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

, l& S& g6 x0 U1 H, G7 `8 P$ S

[size=1em]1 [size=1em]2 5 F: z; ~9 @" ^. y

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

( q2 r9 y+ ~* U, ~& u, ]. M  B+ f

% D7 @& w  x8 V; E1 G7 Z& {其实以上代码等于：
& |, ?; W" p5 ]4 @/ w2 I[backcolor=white !important][size=1em]PHP code
3 T* k$ z, V' `6 K) E

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

[size=1em]1 ; k3 m" Q: k' B/ D/ a; }+ Q [size=1em]2 ) u. e. ]) ?: q+ D [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); 7 O0 \- w$ O2 X" N5 g[size=1em]pInterface1->func1();

& k0 M* P% `8 d7 G$ [
/ k/ a# {& i0 e8 ~C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code

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

* h+ U* q8 I0 ^! q# V& X, ?

[size=1em]1 - ?# L7 [1 H7 X2 @! {) o! o2 e [size=1em]2 ( I% Z/ [& t3 g) Q [size=1em]3 [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()| 1 g3 W3 I5 F- D% T9 K* J5 C+ T[size=1em]vTable:InterfaceU2 |Base::func2()|

2 P/ s. J, s% I+ I
4 z5 I, F' O7 M( Y, x6 H  ~/ j) |
. t+ s) ?  U6 w' D8 F8 K+ n* \如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
& T  K8 A; |! ?+ {5 [( L" Q5 `& }, l0 |但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

) `. m; Y$ z  b* t1 L