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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: [size=1em]    virtual void func1() = 0; 0 S5 k: }/ B, a[size=1em]} ) F6 }# u* o- E ) Q5 w3 F8 r) |6 \3 c) \[size=1em]class [size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: 0 u7 |  z* D" n& c' X4 s# I[size=1em]    virtual void func2() = 0; , M5 ~7 m) s& o5 [& k/ N; q* b( O[size=1em]} 2 F9 e% h$ D, V% F' U$ C3 y; _[size=1em]class [size=1em]    Wrapper * z2 i) _4 U9 b& N8 q+ |[size=1em]{ ) g: ~3 C, `! N$ y  B$ U1 y[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; + E8 f* I4 j& M/ x$ I+ b[size=1em]} $ U9 M* Q2 C4 _, t! Q[size=1em]class 8 A+ y7 R2 E" T" u[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 * `6 e9 n  }2 R4 L( X[size=1em]{ 7 Z5 i! C* P- T  {8 w[size=1em]public: . ^3 I6 J* l- n! D9 D[size=1em]    virtual InterfaceU1* getInterface1() " s: A7 b4 t3 B+ _4 T: z* |[size=1em]    { + |2 [  z1 W" o' j[size=1em]        return this; & x: k" n. F% i$ s[size=1em]    } - `) ^# |) z2 l. |6 V  N7 u$ o4 g[size=1em]    virtual InterfaceU2* getInterface2() + a: |' a" P0 M+ I0 g  ]( t6 B[size=1em]    { [size=1em]        return this; 1 G9 ?) Q$ t: B* M0 D: v. ?[size=1em]    } : S7 n0 D( K- N  @0 ^0 D[size=1em]    virtual void func1() ' [" o) J" ~" n3 C+ L0 W8 R& H[size=1em]    { [size=1em]        printf("%s", "func1"); % i" [9 ]+ \8 {" u[size=1em]    } [size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); $ g2 s# l6 T0 w% g' B/ y( P[size=1em]    } [size=1em]} 5 a1 t: s  ^# B& x& K9 A9 n $ H' c" f9 B, F! ^# d3 H

+ \% a8 Z/ n1 u3 q
$ d5 W3 B0 E5 \7 x
假设有如下代码：
[backcolor=white !important][size=1em]PHP code
) \0 ], ~7 `0 M4 q4 h: n

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

[size=1em]1 [size=1em]2 3 Z$ o; H" P& i

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); + m' R4 A$ S- l. Q" c7 O

2 C1 x( O. v  r0 W
( F! H* `/ k5 J# A* u) q' A
- z& D/ l% K9 n& X2 D) `+ \( H其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); 2 a0 ?. y1 X: }; J  ?; }4 E1 v' w[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); ' I& X+ Q) \! U * I1 m% c- S, k% V. r' o

, l7 `7 t; K* d: X2 \
+ Q1 }! J) A) ^6 \7 k5 o

& z8 T; Z) k$ r" t9 |
* R; [8 v4 o5 w. |- _; k' p+ sC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
. ^3 {/ d/ |" x! Y" y8 E% A1 g

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

1 ]: F& k! S% F- P; c' H

[size=1em]1 # B0 ~& r, {2 {2 V [size=1em]2 [size=1em]3 [size=1em]4

[size=1em][size=1em]   ; w& G& |" ~5 N[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 9 B) u! w0 E) y6 T% i* J+ S[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| 4 I) v1 h, U) v3 ^1 p4 V

8 t8 N: H& `9 U- r: J
+ A" ^0 O8 J# g  X0 a+ a如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
8 V& i3 [8 k$ s. {" C$ b2 a+ S但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

0 {! z4 V3 L1 X; B- x: c