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

蕾欧娜

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ 0 k7 E1 @; }! e# G[size=1em]public: [size=1em]    virtual void func1() = 0; ' I9 O1 A8 M* w# z) l[size=1em]} * n4 [6 q- u: a/ C  B* |1 e ' b) x6 [4 d& n4 D[size=1em]class ' S" y5 g- e4 S- x: A1 \; u[size=1em]    InterfaceU2 % x6 Q4 h  t* y: Y& [[size=1em]{ [size=1em]public: - M  h8 D6 y7 ]% i; n+ R5 n. [' j$ m[size=1em]    virtual void func2() = 0; + q. K0 m* M( V  J  }' n* j7 [; ?[size=1em]} ( E; g* l! J4 E: z6 [4 @ " R" s. P2 W, M5 ^- q: F[size=1em]class [size=1em]    Wrapper [size=1em]{ [size=1em]public: # A1 `! g* c+ p6 T( ?! _7 l[size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} # p/ ?+ L" U* G' L9 G$ s7 [* a [size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 2 B; t/ ^& P9 ?/ C$ {[size=1em]{ [size=1em]public: & u) x& z6 I( _' v( F% q4 Y) _[size=1em]    virtual InterfaceU1* getInterface1() [size=1em]    { # R) j7 x) W# c9 J[size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { [size=1em]        return this; [size=1em]    } * _. t( ^( a7 |6 u: I[size=1em]    virtual void func1() [size=1em]    { [size=1em]        printf("%s", "func1"); [size=1em]    } 1 J5 `. b$ ?! ~[size=1em]    virtual void func2() 0 H' z8 ]  `, k' P[size=1em]    { $ C/ x! k4 }5 A8 ?[size=1em]        printf("%s", "func2"); $ ~' P6 B' D& n1 d+ T[size=1em]    } ( ^8 g7 }+ u) @  h5 d6 K[size=1em]}

, \( `/ c; z; X. g
* |4 x7 G+ @8 ^, D( f6 e% j& b! f
; M# k7 M' |& Z2 ?- X假设有如下代码：
5 o3 |* T% W5 ~8 W5 D& }  r( T[backcolor=white !important][size=1em]PHP code
" [1 T5 b# b: g; v& _

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

) D) F( P  S' n% g+ }# d" c. h  ]

[size=1em]1 ; v' [' C5 F6 l5 d: i$ ?% ] [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); 3 l% Y+ l/ u, S$ a: C* Q

( h3 Q, F: j& F; ^( \2 _

其实以上代码等于：
$ b8 l+ v5 P, p2 W4 ~[backcolor=white !important][size=1em]PHP code
6 |" H0 z1 p- Z( B/ b. E/ a" Y

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

[size=1em]1 [size=1em]2 [size=1em]3 * D. T9 r; W! b( ?9 h( e

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em]pInterface1->func1(); + ^' r! N* d% c$ f+ h; `5 U

8 I  `/ U5 U6 X0 M: C: V+ C& v4 d+ ~! W


0 L2 N4 D% v+ L/ {5 v
$ M- Q$ E' O  o0 HC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
: i* r5 o" P1 J: M4 k

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

[size=1em]1 ( _0 j0 f( I/ z+ J; D$ i8 e [size=1em]2 [size=1em]3 [size=1em]4 $ Z# U3 e& T* Z# ]- a- s

[size=1em][size=1em]   [size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]vTable:InterfaceU1 |Base::func1()| & s2 z/ N$ c/ W" R) _% @. p[size=1em]vTable:InterfaceU2 |Base::func2()| 0 N" J9 r5 D  s+ N1 _5 _  l) L: w) A

0 O. ^7 B) Z9 D$ @. D0 P
如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
8 M' B7 J) O. i2 j3 S但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）