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

蕾欧娜

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

[size=1em][size=1em]  class [size=1em]      InterfaceU1 [size=1em]  { : @  d+ T0 V4 }[size=1em]  public: - c% C2 d2 m& I4 M: [; ][size=1em]      virtual void func1() = 0; ( Q+ |/ W: r; C8 p[size=1em]  } 6 W" l1 z- j& X7 e/ {* h 0 {: J; Y9 q6 C) p7 _[size=1em]  class [size=1em]      InterfaceU2 [size=1em]  { 6 K9 o: G3 ?* `3 u& g/ u[size=1em]  public: 7 g' p3 z$ y/ q; O% q3 M) g: @[size=1em]      virtual void func2() = 0; # b" J# R# M8 \( V" b[size=1em]  } ' s2 H2 W% [, x. J: P# v; c8 S# S [size=1em]  class [size=1em]    Wrapper [size=1em]  { [size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() = 0; - @/ X, |+ j% }1 b* K3 Z; I[size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } [size=1em]  class 3 f( s! k7 L/ R[size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 [size=1em]  { ; @/ W# p$ u# C9 U& n" N[size=1em]  public: [size=1em]      virtual InterfaceU1* getInterface1() / ]5 n9 V5 P% \# @7 o& ]# I[size=1em]      { 5 o- b6 Q% N. Z! n[size=1em]          return this; [size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() [size=1em]      { : g, C( M# `$ P. R2 D# c [size=1em]          return this; [size=1em]     } , E$ |/ p! c$ r: j5 N9 |9 i, k$ F[size=1em]     virtual void func1() [size=1em]     { [size=1em]         printf("%s", "func1"); 0 k0 I- i$ m% V+ U[size=1em]     } + b9 c' n3 a/ Z  o9 C[size=1em]     virtual void func2() [size=1em]     { [size=1em]        printf("%s", "func2"); [size=1em]     } 3 l  [2 b' T( G' c[size=1em] } % Y. {! {  a- D4 X! R- z2 o

0 q! d  j0 c8 e1 h& o
) W) e" p4 i# a4 [6 [1 x
9 O2 f2 I7 [! t假设有如下代码：
[backcolor=white !important][size=1em]PHP code
( @  J  R9 v4 S# Q2 J) \

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

. N9 G8 W" T3 V& j  I

[size=1em]1 [size=1em]2 , h% f# c& W. B5 l8 C

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

' _# W' |8 g! l6 }! i

其实以上代码等于：
- {5 w- R* h9 \1 X& q/ M[backcolor=white !important][size=1em]PHP code

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

/ b/ Q) A1 q  x5 N9 b

[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(); 1 l8 f, P1 ~# s/ G

              C++编译后，Base类的虚函数表如下：
& e) A4 E0 Q  }4 ^3 Y[backcolor=white !important][size=1em]         PHP code

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

[size=1em]1 # Z6 Y* M- W1 v5 l [size=1em]2 [size=1em]3 [size=1em]4

[size=1em][size=1em]   3 L/ z( [: g3 P" _* S2 e[size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| % E6 t- o7 p1 U) H3 i[size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()| : I' o" S: R  g

4 g  P2 U0 R  c; L% @

2 \$ w; F! M# H- t, \
     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
% y$ n* z! F3 `0 E0 Q7 s& N    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）