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

蕾欧娜

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

[size=1em][size=1em]class & b  M, \# ]; @: L- s[size=1em]    InterfaceU1 0 u: m- H3 ~# C. h$ u$ o[size=1em]{ * l8 ?, }. P1 O9 j+ y[size=1em]public: [size=1em]    virtual void func1() = 0; [size=1em]} [size=1em]class [size=1em]    InterfaceU2 6 [5 F4 y, ?. j% U2 m& u[size=1em]{ [size=1em]public: [size=1em]    virtual void func2() = 0; [size=1em]} 7 G$ {4 ^% U2 L$ a5 |4 Y 2 S9 A$ f; c) e! H* F[size=1em]class * `0 o+ t$ d5 a[size=1em]    Wrapper [size=1em]{ [size=1em]public: 8 I) e' l2 ?$ }; J$ m[size=1em]    virtual InterfaceU1* getInterface1() = 0; ; c1 u( p  v! z+ @' H5 Q2 I* Z0 l( `[size=1em]    virtual InterfaceU2* getInterface2() = 0; ' \0 u$ n5 f, z0 N! e[size=1em]} 5 ]- ]) B  g& }! U 3 ]! D% _& J" Z+ ]3 Q7 I- d  e[size=1em]class ! N- m; U. G" n& f[size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2   Z, e5 t, s: n- @[size=1em]{ [size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() ( N% x+ ~* e1 P. }8 w8 k9 k( f[size=1em]    { # t9 G6 W0 W; x5 J4 i6 Z5 M- W. m% _[size=1em]        return this; [size=1em]    } ' G8 a( k8 Z' X" u* `2 n  u% w/ z[size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { 7 l% x3 V. g/ X5 ^  {/ z [size=1em]        return this; [size=1em]    } $ ?& A3 v1 m1 ]5 g[size=1em]    virtual void func1() 1 b/ t3 P4 y9 C& A[size=1em]    { [size=1em]        printf("%s", "func1"); - k: S: d3 T# J/ s; E! o# a[size=1em]    } 2 K1 e2 T1 k( p( ^' g $ X% A3 g2 k& @# `' i: N; F[size=1em]    virtual void func2() [size=1em]    { 4 W& p3 J1 g# l' x[size=1em]        printf("%s", "func2"); [size=1em]    } : V1 \3 g6 H' j2 o* u[size=1em]}

* _; i# i0 u; b( ~4 h4 V; u% \7 Y/ _
- E# Z. q, M2 P0 k  }  m; y
3 Z1 @# j! E  \. {$ e' G假设有如下代码：
[backcolor=white !important][size=1em]PHP code
2 o) H* l9 l% h, J$ w

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

[size=1em]1 * ]4 {" \: r2 l; u$ A: H- L [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); 0 k( D1 M4 ?( i+ H' q" x# J4 ?, r9 e - k7 s; B  V1 v4 f  |

+ W6 N. A; ?% |

& x( m* B3 Y+ t+ z其实以上代码等于：
[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 : o" E3 F( K4 d6 S3 R5 v" X [size=1em]2 7 ]0 z7 |# n1 w0 H7 P0 y" C [size=1em]3

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

, |& G+ j: J2 V7 M8 {, Y% ?* a

C++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code
, ^+ P& e" I# }

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

7 B+ w& }6 Q. T/ g

[size=1em]1 [size=1em]2 ) S. L7 I; f  M5 B+ ?$ s [size=1em]3 [size=1em]4

[size=1em][size=1em]   + N4 u  X* B3 S" E0 q) k: k6 ][size=1em]vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| 0 M- k1 J$ Q2 {- X; r: ^+ k[size=1em]vTable:InterfaceU1 |Base::func1()| [size=1em]vTable:InterfaceU2 |Base::func2()| & X# j5 I+ e2 A5 W

* R. H" F  r* I( e7 i4 L9 J
' S8 P6 ]9 T  x. A
4 i# c9 s& l3 D7 n: l( I& a
如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）
" e9 ^5 j5 X1 I