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; [size=1em]} " ?- a& d- }! \# m' m) S. d [size=1em]class [size=1em]    InterfaceU2 [size=1em]{ " z9 ~2 }3 ?+ L2 a, D3 q; J! G[size=1em]public: [size=1em]    virtual void func2() = 0; * Z0 @4 {9 f9 a4 A3 w[size=1em]} % z  }8 C7 L$ D4 w3 E[size=1em]class [size=1em]    Wrapper [size=1em]{ [size=1em]public:   ^4 @" z& o* M) ?3 A3 z[size=1em]    virtual InterfaceU1* getInterface1() = 0; [size=1em]    virtual InterfaceU2* getInterface2() = 0; [size=1em]} [size=1em]class 9 r1 w6 h# G  S. d2 U[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 + n' N2 j% J8 f0 b/ E2 g9 o$ m[size=1em]{ [size=1em]public: 0 l& s0 Q+ W; d0 D8 ^5 G- P[size=1em]    virtual InterfaceU1* getInterface1() - h5 [7 M; F% _# X( ^% u[size=1em]    { " X) K5 |+ p9 O[size=1em]        return this; [size=1em]    } [size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { [size=1em]        return this; & {- N, u& v2 ~[size=1em]    } [size=1em]    virtual void func1() 5 h  Z% }+ @# L8 d+ R[size=1em]    { ; f- ?3 V+ O5 g[size=1em]        printf("%s", "func1"); [size=1em]    } $ w# h$ m, g7 K5 @[size=1em]    virtual void func2() [size=1em]    { [size=1em]        printf("%s", "func2"); * h' i( d: h5 R1 ^& f# [3 B[size=1em]    } 4 x& G: g0 t/ `( j; U: W7 w1 m/ q[size=1em]} " }9 L6 ?7 J9 [: V1 a" ~' |

- Y! \) T2 X% f: k# k+ a

8 {# s+ {' ?9 n假设有如下代码：
4 @9 \% a% t3 [# C[backcolor=white !important][size=1em]PHP code

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

* r  A2 t7 H% s

[size=1em]1 [size=1em]2 " W/ j8 H2 W* O

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

4 v) Y' ~2 y; C# z/ e
5 J8 J4 z& y  ]8 K1 i; C' ?其实以上代码等于：
+ R6 R- ~. @2 S3 o: R) A+ _% D; b[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 # A# I, ]* `$ F# u% T" ?& w [size=1em]2 [size=1em]3 % ^& _' X/ f" B+ t* g+ [& l

[size=1em][size=1em]Base* pBase = new Base(); 3 Z8 y# @' ], Y- C# p/ g[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); ' \/ g% {  Q3 I0 c; ^& }" \6 O[size=1em]pInterface1->func1(); 1 K" v6 k5 {! s' ] 6 ^3 B! N" k5 m! P3 L

3 }3 c" z" T) u
4 ^- j) \; C8 O; ~

C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code

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

# o6 V4 s# q5 p, r6 g5 s8 l# B0 h

[size=1em]1 & \, U& D: s' q8 e$ j; o. s& `" i/ Z [size=1em]2 [size=1em]3 , j  h/ v5 K# | [size=1em]4

[size=1em][size=1em]   - N( `* j* v0 E* T5 ~. j( a* \+ f[size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 7 H' g  r9 W- \, s[size=1em]vTable:InterfaceU1 |Base::func1()| ! Y# N, B1 `% @[size=1em]vTable:InterfaceU2 |Base::func2()| 5 [. ~& ?6 m- ?! {3 Q! C: d$ _# Q

7 L& E' R. k( N+ [

% P- o$ R; t/ O( s1 g; r如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
1 A6 v$ e& h5 |4 }8 z! a/ u但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
5 _9 v! q6 a0 bC++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
2 y5 b0 @7 m" ~& ~5 }% s9 i
3 E" o8 B' s9 E4 i  e