数学建模社区-数学中国

标题: C++ 中多继承情况下 如何确定某个类型的方法，在虚函数表中的位置？ [打印本页]

---

作者: 蕾欧娜    时间: 2015-4-17 09:51
标题: C++ 中多继承情况下 如何确定某个类型的方法，在虚函数表中的位置？
[backcolor=white !important][size=1em]

[size=1em][size=1em]  class [size=1em]      InterfaceU1 [size=1em]  { . p9 ]. i6 z8 L) @( c* S[size=1em]  public: [size=1em]      virtual void func1() = 0; [size=1em]  } 8 q7 |  w: }3 r, ~[size=1em]  class ( s, Y4 [9 m! v  B, u5 M$ U[size=1em]      InterfaceU2 - M. v! r9 b/ T, ^, `[size=1em]  { [size=1em]  public: [size=1em]      virtual void func2() = 0; [size=1em]  } # `/ t' z: O: r+ k1 ]% w[size=1em]  class 0 T5 P& u5 H+ ]/ A! f[size=1em]    Wrapper 6 @6 }3 S" y; q[size=1em]  { # B/ z8 N# S- Y7 W! R( ^[size=1em]  public: 5 b9 F" Q6 k0 s# J[size=1em]      virtual InterfaceU1* getInterface1() = 0; 8 n; x: ~; t4 s, r; Y* X: C* X[size=1em]      virtual InterfaceU2* getInterface2() = 0; [size=1em]  } ( b7 }3 K' i0 I [size=1em]  class   N, i  N* a4 s9 U* ][size=1em]      Base : public Wrapper, public InterfaceU1, public InterfaceU2 ' D. V  u9 D/ \4 a; j2 R  w* b[size=1em]  { [size=1em]  public: " T8 m+ A; N9 L  R- V+ G% ]) X0 b6 O[size=1em]      virtual InterfaceU1* getInterface1() [size=1em]      { [size=1em]          return this; 1 O$ u% `& p) x[size=1em]      } [size=1em]      virtual InterfaceU2* getInterface2() / a+ u  G$ x, N% w* `[size=1em]      { [size=1em]          return this; [size=1em]     } [size=1em]     virtual void func1() : Z# c. ?9 v* g/ V[size=1em]     { [size=1em]         printf("%s", "func1"); ' M5 t% I/ q% }; B% e; V5 U[size=1em]     } 7 m: G, ~# i* v [size=1em]     virtual void func2() [size=1em]     { / [# ^) ?  F9 f# Z2 H. z[size=1em]        printf("%s", "func2"); [size=1em]     } [size=1em] } 3 M1 E6 P: Q9 P

, C3 q) A5 S0 y6 \, Q

- o' a6 p/ [, Q假设有如下代码：
[backcolor=white !important][size=1em]PHP code
( j; d& ~* c  M# G

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

) M) F0 [4 F) k" K" F8 T

[size=1em]1 [size=1em]2

[size=1em][size=1em]Base* pBase = new Base(); [size=1em]pBase->getInterface1()->func1(); - Z* h! Z  z2 m" y6 m" g 1 J* A) e4 M( r& |! I

0 ^  s  O' T$ C5 }; Q( T2 L7 ]
其实以上代码等于：
- M# o+ P" V* `$ L# j5 K4 M8 w[backcolor=white !important][size=1em]PHP code

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

[size=1em]1 - \9 J6 a. s2 C- z; D [size=1em]2 [size=1em]3

[size=1em][size=1em] Base* pBase = new Base(); ) O& b" W2 V$ L% W: W3 v[size=1em] InterfaceU1* pInterface1 = pBase->getInterface1(); [size=1em] pInterface1->func1(); & c* c: q% _5 ]% Q. B

9 H! I# f' P8 m& z6 ^

) ?: w0 X3 c  w- w3 ]; a0 m" V
4 D  ]$ J& U& e2 N+ H
! c. y, [0 g7 J0 j! r1 L              C++编译后，Base类的虚函数表如下：
9 C6 V; p: B3 B% D! A$ |[backcolor=white !important][size=1em]         PHP code

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

/ x8 u7 s$ J% k5 [) [

[size=1em]1 [size=1em]2 [size=1em]3 * `2 w0 L6 ~- x3 U [size=1em]4

[size=1em][size=1em]   [size=1em]  vTable:Wrapper     |Base::getInterface1()|Base::getInterface2()|Base::func1()|Base::func2()| [size=1em]  vTable:InterfaceU1 |Base::func1()| [size=1em]  vTable:InterfaceU2 |Base::func2()| ) D' q+ A; t' K$ R8 M! a  V 4 ^2 z1 \. q* {; O8 ^8 H, ~( |

, F9 L( y# p$ ?( h8 ]* B
& u0 p  ~- [( J) R: ^) N
     如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
" {3 A' R  d! A7 y    但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
    C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
    C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

% P; J- d3 c( @# S" b

---

欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)

Powered by Discuz! X2.5