数学建模社区-数学中国

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

---

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

[size=1em][size=1em]class [size=1em]    InterfaceU1 [size=1em]{ % P+ x9 ~. `5 V( ?( c[size=1em]public: ; o% e$ ^! w6 W8 `8 B[size=1em]    virtual void func1() = 0; : P; _( ^* e, U7 i; i% t; a[size=1em]} [size=1em]class [size=1em]    InterfaceU2 [size=1em]{ [size=1em]public: - k! e6 ^  d% r' F[size=1em]    virtual void func2() = 0; ! T8 R1 ~# I1 v4 `! V$ e8 J[size=1em]} [size=1em]class 1 N% ^5 }' [8 x[size=1em]    Wrapper 3 Q/ I1 o4 H% \/ [( Z9 ]7 O8 u[size=1em]{ 3 M6 U/ w6 K, r$ c[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() = 0; - F! y0 E* l5 }0 ^: T6 C[size=1em]    virtual InterfaceU2* getInterface2() = 0; * M* j0 l. N! B4 N! e& D9 |0 s[size=1em]} - O* J" s8 i! B5 l[size=1em]class [size=1em]    Base : public Wrapper, public InterfaceU1, public InterfaceU2 ' P3 R5 i* h6 F[size=1em]{ 9 O! p- J, K' O5 \3 y! C( d' s6 u7 m[size=1em]public: [size=1em]    virtual InterfaceU1* getInterface1() + I* o$ z; W+ D+ J[size=1em]    { [size=1em]        return this; [size=1em]    } 8 b2 Q  Y7 U2 c. N; n# x[size=1em]    virtual InterfaceU2* getInterface2() [size=1em]    { 6 v. p8 q! l$ R: o5 X4 h" l0 ? [size=1em]        return this; [size=1em]    } [size=1em]    virtual void func1() [size=1em]    { ( e4 B/ M8 O) R[size=1em]        printf("%s", "func1"); ! e$ R! T+ t5 g' G7 v  |[size=1em]    }   j9 E, f7 n' c# ?- F & z( E+ l, C. V+ a0 o[size=1em]    virtual void func2() + m( n4 _# v' Z& r3 A, K& r( N4 v[size=1em]    { 1 C% V/ H% [' N% ]3 A) X  h[size=1em]        printf("%s", "func2"); ) {, @! |+ ]9 g* J[size=1em]    } [size=1em]} 8 d0 b  y3 i' z: l , H$ j& D* P* k/ l  W& b

& d0 s% j2 }  s- i$ y6 O3 i- J
* h1 J* p6 R8 V1 b3 ]1 t8 N
假设有如下代码：
[backcolor=white !important][size=1em]PHP code
( F5 w6 T3 }! {# _

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

[size=1em]1 ( f* a3 S& ^9 `% Y' q [size=1em]2 * m! X2 n: C8 i% Z- R% A

[size=1em][size=1em]Base* pBase = new Base();   ]/ K1 l: o: i5 u$ A- A[size=1em]pBase->getInterface1()->func1();

' k3 b1 N0 u7 Q- [) ^3 G( L

5 d" l' s6 \# N" h其实以上代码等于：
3 @) d; N$ u& I[backcolor=white !important][size=1em]PHP code
) r+ X; X( q. l5 e/ X; m

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

3 h4 k5 c0 z! }) Z* r

[size=1em]1 [size=1em]2 [size=1em]3 0 C8 C( o) h+ z( v

[size=1em][size=1em]Base* pBase = new Base(); * u& ~6 H% F1 a% ~  g4 Q6 ~* f[size=1em]InterfaceU1* pInterface1 = pBase->getInterface1(); 1 @( z/ x' {/ p6 _& h- a- d7 V9 _( W[size=1em]pInterface1->func1(); : C, t. i. |+ k& i

6 A/ h7 j) K8 u" O4 `. b


6 w! ?* K4 d+ |  t4 f2 U
" b) y- p' g9 N  ~& r8 VC++编译后，Base类的虚函数表如下：
[backcolor=white !important][size=1em]PHP code

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

5 b3 F4 h- p+ M4 Y$ N

[size=1em]1 . V* u3 i( q4 k. Z% ] [size=1em]2 [size=1em]3 [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()| , [& A- T% k3 g# z9 J[size=1em]vTable:InterfaceU2 |Base::func2()| $ U3 Z. F  U8 T0 ~" v$ U

! J3 v- N. R' e

: }6 c4 z& \& ]( [; r% ^: Q如果单继承情况下 ((InterfaceU1*) pObj)->func1() 很好理解，只需要pObj的vptr[0]处的函数地址即可。
2 a' E8 D; }1 x( _# p' {. P/ {3 d但是多继承情况下，返回的指针pObj 如果用 ((InterfaceU1*) pObj)->func1()  如果依旧使用vptr[0] 则完全错误。
5 |3 ~. L7 X" R. M  i$ \C++是如何得到当前应该使用vptr[??]位置的函数地址呢？
C++会动态的根据this的当前类型修改所用的是哪张虚表吗？（或者说，存在这种动态的判断吗。编译器是否无法确定）

---

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

Powered by Discuz! X2.5