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

蕾欧娜

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

[size=1em][size=1em]class , S4 i3 Q$ ?/ x) i* p[size=1em]    InterfaceU1 [size=1em]{ 6 |+ h  ~+ H! L5 \5 B4 ~+ s[size=1em]public:   }5 G! s& V+ g" ~/ g: V& G& J3 p+ o! \[size=1em]    virtual void func1() = 0; [size=1em]} [size=1em]class [size=1em]    InterfaceU2 [size=1em]{ 7 F$ I, G6 J+ f[size=1em]public: [size=1em]    virtual void func2() = 0; ' A7 d- C0 s; T! V[size=1em]} # Q) O2 s* K- y0 a6 N! X; Z8 q 3 A* L! D" O) }) J# N* N3 e[size=1em]class " D# z8 c+ F# |; c. t" a: [5 k: u# c[size=1em]    Wrapper [size=1em]{ [size=1em]public: 5 b( b2 n* c6 i# @[size=1em]    virtual InterfaceU1* getInterface1() = 0; , N, D) f, X; B[size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]}   d0 y7 ^" Y3 ?3 K& t+ b[size=1em]class 7 a* Z$ A, J! r5 U" ~5 P, `* ?[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 : ?1 R( n2 B+ H: V$ N[size=1em]{ [size=1em]public: 3 b, G1 U9 r! ]" ][size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { [size=1em]        return this; 6 C9 C  Q, p( Q[size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { [size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() [size=1em]    { # A% [: R1 j# M- p, H: P3 x[size=1em]        printf("%s", "func1"); [size=1em]    } 1 s5 G& u7 {, I) y! f[size=1em]    virtual void func2() / V% q4 @8 j. e4 N- r- _[size=1em]    { + P6 N% l, \* x: g( I0 p8 {[size=1em]        printf("%s", "func2"); [size=1em]    } 3 ~+ Z1 Y& f+ {* M: A: [+ i[size=1em]} 8 U9 r* [* C3 y7 ]& l( x4 _( u3 ^ 5 \3 R/ ~8 e1 W7 Q" D; H7 ^

/ W' H* v1 G+ O6 ^) N

假设有如下代码：
$ \/ B% S7 _4 t4 b[backcolor=white !important][size=1em]PHP code

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

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

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); . B; ^# [: g5 d! g

" W6 ^; }7 w2 F* ]其实以上代码等于：
( M$ e) s' q3 u5 O0 Q$ V[backcolor=white !important][size=1em]PHP code
' e$ J  w, B1 Y& X0 f$ Q

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

9 q& y) V8 x+ C/ }

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

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); % P6 d6 n# }: `0 }  c6 v

8 O. z3 ?3 J' M8 b" y1 {
  [  \8 h! A  }$ \; V6 d  M
) i! I: M% D. L; ^2 P1 Z7 O% c
- h) w& S& U8 S2 R% U+ jC++编译后，Base类的虚函数表如下：
! t8 K6 X/ g; S, F' I5 E- f[backcolor=white !important][size=1em]PHP code
' y( t. t1 t7 \

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

[size=1em]1 [size=1em]2 / O1 K) y( z  s4 N- T6 z [size=1em]3 : b9 ?/ F) c6 e: `7 a: D& B [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()| [size=1em]vTable:InterfaceU2 |Base::func2()|

$ i% ~# ?  V+ g" T( O9 h2 h
1 Y. D/ C0 G' H- I- c. t  z如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
( f+ h1 }* D# b5 |- _
# Z! T8 X, @8 C$ L* M7 q