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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ [size=1em]public: $ m% U/ y% y( M+ [9 b6 D' a# H1 r[size=1em]    virtual void func1() = 0; [size=1em]} [size=1em]class ) w0 M# E" x. n6 t[size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: 2 o) u8 t. Z- w; o[size=1em]    virtual void func2() = 0; [size=1em]} ) A+ K. A' B3 R( H! j 0 E( |, J- w2 K7 U0 U/ [) Z  ^[size=1em]class [size=1em]    Wrapper [size=1em]{ [size=1em]public: ' e4 d2 C3 r# z; H6 t6 A) X/ E" }9 W[size=1em]    virtual InterfaceU1* getInterface1() = 0; * \1 B. k# B1 ?[size=1em]    virtual InterfaceU2* getInterface2() = 0; ( v0 {* |% Q/ z[size=1em]} . |6 {1 a$ h2 a! _- |1 w* Z# k% L [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 ! \$ R& K" I4 S% a% p[size=1em]{ . p  B. L) S5 z- v[size=1em]public: % H3 T4 {* g- f# {- H$ M[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { 5 \  {! C% _; k* ~& _+ V" F[size=1em]        return this; 4 @( v9 k6 c: [! ~# G[size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() - }( F8 {  I2 h- @[size=1em]    { 1 [' z: Z) m  e: q[size=1em]        return this; [size=1em]    } ) k- n2 D" ?- U# I2 h4 {" F6 E1 a# S: u[size=1em]    virtual void func1() [size=1em]    { 2 ~# n0 N& `/ r) }# n) N7 W[size=1em]        printf("%s", "func1"); 2 a; t4 @6 d; w; i8 f[size=1em]    } [size=1em]    virtual void func2() - f7 r: H  `) b  O: ]6 b+ `[size=1em]    { [size=1em]        printf("%s", "func2"); [size=1em]    } [size=1em]} - S* H* `' r+ `+ x 5 \8 b# y0 e1 d* q

$ y  ?6 N8 Y' f) K  ]6 j3 a* n
* @, [/ V" }  V. ?5 p( ~& j# k
* v; s2 |' w% m3 N假设有如下代码：
[backcolor=white !important][size=1em]PHP code
* ?9 y8 r. g4 ]7 N) ?' W. A

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

[size=1em]1 * y0 E9 ~" E0 v [size=1em]2 ! q: V9 ^9 G/ t* G+ ]

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); ) I' }, A$ b1 B# N! ^1 g' u 0 F; J* E) P+ x( I5 a

/ {& r1 T; P  U: u5 t9 i* S

其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

. x( ]8 \, z$ r: {  j  K1 z6 c# K' Y

[size=1em]1 5 X& K, S  t5 m% {) w [size=1em]2 [size=1em]3

[size=1em][size=1em]Base* pBase = new Base(); $ G, i& a2 [  R" `* i" t[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); $ t& n5 S$ T" D( V7 T3 p! a* S  k[size=1em]pInterface1->func1(); * O; I2 H. n- h7 x# x4 K & v0 s% ~. E" M' S; z6 T1 m  V

* b3 }/ |# e7 \8 h2 Q& Z9 F: Z

) b, i, b% U( J' A' {" _; V

: ~, ], t  t2 i) m1 q) KC++编译后，Base类的虚函数表如下：
0 o  Y# \  B( d8 e: I& K7 ?5 T  a1 T  w[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 [size=1em]2 # {  G: i9 t3 h( h [size=1em]3 [size=1em]4 0 K, N$ S. w# P- W

[size=1em][size=1em]   6 P3 ~0 O0 O& `0 e- N[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| ; ]2 _2 N' R  B" Q  ~* ]& j[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| 3 N( u+ z1 G! a7 ^6 S. G ( i) z# P6 p' i0 O- r  Z

! u: ?) O7 u) Y. T0 a; _. U
+ x; l, f$ j: }; I% Z: B. k如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
4 @. e; S3 r2 s7 C1 u4 PC++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）