数学建模社区-数学中国

标题: C++中的虚函数(virtual function) [打印本页]

作者: rashige    时间: 2004-4-29 10:06
标题: C++中的虚函数(virtual function)
<TABLE cellSpacing=1 cellPadding=4 width="100%" border=0># f4 V$ C# M. U  _, B

; D" ~& N3 K/ P7 [<TR>5 K, A+ N% p: ]' Y, {
<TD vAlign=top>
$ P& V1 u& U& {4 ]<DIV class=subhead><B>C++中的虚函数(virtual function)</B></DIV></TD></TR>
  J; K/ ]' o5 ?3 `+ A  S2 b0 \<TR>7 Z( k" }, z% Q: q# j5 ?3 U; A8 [
<TD class=content vAlign=top><A><FONT color=#163498>1.简介</FONT></A>
$ o2 Y2 ]1 V1 r# U8 K" }5 m& `& U5 Y<>    虚函数是C++中用于实现多态(polymorphism)的机制。核心理念就是通过基类访问派生类定义的函数。假设我们有下面的类层次:</P>
) J" P! g8 R& E0 ^" A<>class A
  c. A+ Z6 b, P" @- R' T$ }$ f{
* ^5 a8 L) {: ~$ f% M( o  Hpublic:5 ?& i+ }, G  N  _( ^" L
    virtual void foo() { cout &lt;&lt; "A::foo() is called" &lt;&lt; endl;}
' [3 V" y( y" C8 D" o! S* i- |};7 c9 K( k/ H3 w

6 P% P& F  E' u, i, i. wclass B: public A/ T+ d1 D( h5 }& }1 n% h
{% Q/ L+ o5 a4 g3 b+ N
public:) Z9 h. O6 @' j( b4 a& y' b# }
    virtual void foo() { cout &lt;&lt; "B::foo() is called" &lt;&lt; endl;}1 _  {) z/ G" z" @* U
};</P>
- d* f5 V2 ]+ z: {( e( k<>那么,在使用的时候,我们可以:</P>7 [; t" {# }0 ?
<>A * a = new B();/ r# u2 `5 j$ S$ z: F& Z5 ^0 D
a-&gt;foo();       // 在这里,a虽然是指向A的指针,但是被调用的函数(foo)却是B的!</P>; o8 u3 P; B- _6 s  F/ L
<>    这个例子是虚函数的一个典型应用,通过这个例子,也许你就对虚函数有了一些概念。它虚就虚在所谓“推迟联编”或者“动态联编”上,一个类函数的调用并不是在编译时刻被确定的,而是在运行时刻被确定的。由于编写代码的时候并不能确定被调用的是基类的函数还是哪个派生类的函数,所以被成为“虚”函数。</P>
* P9 q/ d. Z9 O" l5 N. L<>    虚函数只能借助于指针或者引用来达到多态的效果,如果是下面这样的代码,则虽然是虚函数,但它不是多态的:</P>
$ T( J) T( v  d# t. |2 G<>class A& T4 ~. f2 `4 F* m8 |; C
{5 K4 P4 l; W' M
public:
/ O) y' m8 ^8 b% K9 m    virtual void foo();
1 g2 z! \7 F" H* M; z. u};1 Q/ H( X" [4 I3 G# r

2 U4 U& B# e3 A/ v/ K7 wclass B: public A
$ X7 _: s: w; d0 x$ o{
- q" G1 L- z6 |. S    virtual void foo();; U7 b( ?/ [% R: A- h9 V& w
};  d/ R' X+ h, J7 h0 ?9 \
% Z5 Q7 U" j: q2 \
void bar()
5 }: z/ I0 `1 u7 i: d{5 Y4 ?4 O/ t0 V$ s
    A a;
) s# f6 g- T. C7 d) ^$ e2 U    a.foo();   // A::foo()被调用
$ C3 Q  \3 C- m9 {0 W}</P><A><FONT color=#163498>1.1 多态</FONT></A> 7 j% |/ i: N: @) j3 D! S# D) m4 u
<>    在了解了虚函数的意思之后,再考虑什么是多态就很容易了。仍然针对上面的类层次,但是使用的方法变的复杂了一些:</P>
" f2 S: ?) v+ u6 K% }$ X8 L7 t<>void bar(A * a)- C7 V; Z; X! w4 I
{0 @# h+ v1 O7 v' Q) Y* g* H8 W
    a-&gt;foo();  // 被调用的是A::foo() 还是B::foo()?/ r* z9 E. Q% G- p3 ?0 q
}8 V6 V) ], G9 }

: @' \) K0 w% z) u) \7 E- Z因为foo()是个虚函数,所以在bar这个函数中,只根据这段代码,无从确定这里被调用的是A::foo()还是B::foo(),但是可以肯定的说:如果a指向的是A类的实例,则A::foo()被调用,如果a指向的是B类的实例,则B::foo()被调用。</P>& X4 n2 ~" d8 F/ N
<>这种同一代码可以产生不同效果的特点,被称为“多态”。</P><A><FONT color=#163498>1.2 多态有什么用?</FONT></A>
, I( }& [. v+ c5 ]2 S2 e<>    多态这么神奇,但是能用来做什么呢?这个命题我难以用一两句话概括,一般的C++教程(或者其它面向对象语言的教程)都用一个画图的例子来展示多态的用途,我就不再重复这个例子了,如果你不知道这个例子,随便找本书应该都有介绍。我试图从一个抽象的角度描述一下,回头再结合那个画图的例子,也许你就更容易理解。</P>
: |; C% O  t4 R$ j, r6 H<>    在面向对象的编程中,首先会针对数据进行抽象(确定基类)和继承(确定派生类),构成类层次。这个类层次的使用者在使用它们的时候,如果仍然在需要基类的时候写针对基类的代码,在需要派生类的时候写针对派生类的代码,就等于类层次完全暴露在使用者面前。如果这个类层次有任何的改变(增加了新类),都需要使用者“知道”(针对新类写代码)。这样就增加了类层次与其使用者之间的耦合,有人把这种情况列为程序中的“bad smell”之一。</P>
' ^: @) f( U, z( I5 @& R3 c4 v; `. u. @<>    多态可以使程序员脱离这种窘境。再回头看看1.1中的例子,bar()作为A-B这个类层次的使用者,它并不知道这个类层次中有多少个类,每个类都叫什么,但是一样可以很好的工作,当有一个C类从A类派生出来后,bar()也不需要“知道”(修改)。这完全归功于多态--编译器针对虚函数产生了可以在运行时刻确定被调用函数的代码。</P><A><FONT color=#163498>1.3 如何“动态联编”</FONT></A>
& p& a5 P; y6 I3 N<>    编译器是如何针对虚函数产生可以再运行时刻确定被调用函数的代码呢?也就是说,虚函数实际上是如何被编译器处理的呢?Lippman在深度探索C++对象模型[1]中的不同章节讲到了几种方式,这里把“标准的”方式简单介绍一下。</P>. h- z4 F9 L4 D% w
<>    我所说的“标准”方式,也就是所谓的“VTABLE”机制。编译器发现一个类中有被声明为virtual的函数,就会为其搞一个虚函数表,也就是VTABLE。VTABLE实际上是一个函数指针的数组,每个虚函数占用这个数组的一个slot。一个类只有一个VTABLE,不管它有多少个实例。派生类有自己的VTABLE,但是派生类的VTABLE与基类的VTABLE有相同的函数排列顺序,同名的虚函数被放在两个数组的相同位置上。在创建类实例的时候,编译器还会在每个实例的内存布局中增加一个vptr字段,该字段指向本类的VTABLE。通过这些手段,编译器在看到一个虚函数调用的时候,就会将这个调用改写,针对1.1中的例子:</P>3 H1 P1 I( L7 c
<>void bar(A * a)  \6 I7 \( M. x* i, p. o
{
- w4 ^- t* a3 S    a-&gt;foo();
6 s. B/ p3 B/ ]& z}
+ F) K0 M4 F) {% ?8 l2 u+ L2 n; t# k! m  y% X4 h! ~, I/ g
会被改写为:</P>
9 O4 z; \# {! n<>void bar(A * a)
( `- ^) U; g& O) U{
; ^% r3 V% i0 v. N) J6 t" S5 A    (a-&gt;vptr[1])();
0 k/ C: i, _& G( A: s1 W}7 \5 Y2 t1 T/ z' ]( q! U

3 M, L- z1 c7 ^; W: ^    因为派生类和基类的foo()函数具有相同的VTABLE索引,而他们的vptr又指向不同的VTABLE,因此通过这样的方法可以在运行时刻决定调用哪个foo()函数。</P>
) x/ ?# B/ z$ O9 R8 t<>    虽然实际情况远非这么简单,但是基本原理大致如此。</P><A><FONT color=#163498>1.4 overload和override</FONT></A>
; _, K5 s; _& i( W" E<>    虚函数总是在派生类中被改写,这种改写被称为“override”。我经常混淆“overload”和“override”这两个单词。但是随着各类C++的书越来越多,后来的程序员也许不会再犯我犯过的错误了。但是我打算澄清一下:</P>
: [) n+ A9 B( K1 m; l' Y, g: I<UL># A) {. n+ a, z: V$ z- X$ l
<LI>override是指派生类重写基类的虚函数,就象我们前面B类中重写了A类中的foo()函数。重写的函数必须有一致的参数表和返回值(C++标准允许返回值不同的情况,这个我会在“语法”部分简单介绍,但是很少编译器支持这个feature)。这个单词好象一直没有什么合适的中文词汇来对应,有人译为“覆盖”,还贴切一些。
5 V* Z6 g5 c% K5 {. l% h6 X<LI>overload约定成俗的被翻译为“重载”。是指编写一个与已有函数同名但是参数表不同的函数。例如一个函数即可以接受整型数作为参数,也可以接受浮点数作为参数。 </LI></UL><A><FONT color=#163498>2. 虚函数的语法</FONT></A> 5 V" L+ L0 m8 R! {+ T
<>    虚函数的标志是“virtual”关键字。</P><A><FONT color=#163498>2.1 使用virtual关键字</FONT></A> + W8 C4 |, I8 N3 `$ t
<>    考虑下面的类层次:</P>+ S) v6 Y: c/ j  G( s+ W! y
<>class A2 m# G2 H- B$ H/ o' U
{
2 |/ ~& \9 h8 l  {% p& o) `/ ~public:4 N  W( X/ V) h
    virtual void foo();
8 C+ W9 f9 W# r  g};
, \7 a) x# [2 x1 p* }, b. o4 Y/ ^
% e: e  U1 M& c# qclass B: public A4 }, d& t: V; s! f- R+ x: E
{
8 Z% v2 q# T" u$ V- z9 l. I9 ^public:
% @' A* n3 X  \$ w. [0 b    void foo();    // 没有virtual关键字!
0 {: R# `$ ~2 t};& O/ r, m9 N9 I' [+ }4 L

+ q3 `% \# i# m& o: `+ k) xclass C: public B  // 从B继承,不是从A继承!
* @: M; \: ~& k/ H* l{5 C* w  R9 L/ Q% G# _
public:0 S$ E" ^( P- H
    void foo();    // 也没有virtual关键字!
5 w$ l* H( W6 p* i8 W/ V2 o};</P>
& v- ^" u0 e; Z<>    这种情况下,B::foo()是虚函数,C::foo()也同样是虚函数。因此,可以说,基类声明的虚函数,在派生类中也是虚函数,即使不再使用virtual关键字。</P><A><FONT color=#163498>2.2 纯虚函数</FONT></A>
) X! \# t7 O6 W8 W<>    如下声明表示一个函数为纯虚函数:</P>& \' y) K- s/ @; @" P/ P* N# p0 d
<>class A
: G# o+ _% E6 Q5 `+ G5 Q7 j{
4 X, u8 }8 `" ?* `public:
5 b0 x1 V# p; u' g; R    virtual void foo()=0;   // =0标志一个虚函数为纯虚函数
: H5 f/ O* M: ]};</P>1 f, U9 t, j+ X1 c/ M2 O; ?
<>    一个函数声明为纯虚后,纯虚函数的意思是:我是一个抽象类!不要把我实例化!纯虚函数用来规范派生类的行为,实际上就是所谓的“接口”。它告诉使用者,我的派生类都会有这个函数。</P><A><FONT color=#163498>2.3 虚析构函数</FONT></A> % }1 V1 S" R. _; J
<>    析构函数也可以是虚的,甚至是纯虚的。例如:</P>
  F, Z+ h+ D5 r7 `8 e<>class A
0 J& \% U& j* x0 k{
& E$ D  g9 J: z; P" Z" {, \, o; \public:1 r& [  h6 e) P- N6 c$ T
    virtual ~A()=0;   // 纯虚析构函数, n  {- M! f" u: P/ }
};</P>3 Y! z3 q3 x9 c- P1 ~
<>    当一个类打算被用作其它类的基类时,它的析构函数必须是虚的。考虑下面的例子:</P>
0 i+ {" V& p# u  P- B# {<>class A8 S; A8 U" S( i0 N
{# p$ }+ {, O, `4 j! ]9 `
public:3 H/ s3 O  H: U/ |
    A() { ptra_ = new char[10];}
; ^9 z6 J7 ~- f9 ~1 }$ ~4 f    ~A() { delete[] ptra_;}        // 非虚析构函数2 u6 k3 P+ Z$ U& y# K
private:
! r& u: P6 \: ~9 N    char * ptra_;: I5 t4 M& q0 U; y: g# U. Z. v
};
* M2 ]1 V  z. c- f/ X$ J1 n2 A' G( Z- `
class B: public A
4 E9 z- y5 g) {: a+ \{5 l( P7 J5 w1 m: M
public:4 j" i) q! v. i
    B() { ptrb_ = new char[20];}
. m8 M) U' W# }4 L    ~B() { delete[] ptrb_;}
; A5 M" W1 I% |* qprivate:
& ^. v. m9 g2 ^$ x1 h    char * ptrb_;8 n4 Z  f# w8 T6 \! J! h; E* s
};
  {2 i6 N, O& ]. m2 E* t
* ^3 S, S3 R: a5 kvoid foo()
: @7 s2 n/ N! Q) X3 K  p* A{- @; ]* Z/ X! Y  Y* ~5 K1 p& L1 E6 V
    A * a = new B;
* F$ o4 i9 \! F$ G; P" g& ~    delete a;
' y3 t# F! u+ u6 v* ?: E}</P>3 d1 a- P. r5 M5 i$ ~
<P>    在这个例子中,程序也许不会象你想象的那样运行,在执行delete a的时候,实际上只有A::~A()被调用了,而B类的析构函数并没有被调用!这是否有点儿可怕?</P>2 w6 O& B' `8 Y! A: `8 W9 [) U) h( B
<P>    如果将上面A::~A()改为virtual,就可以保证B::~B()也在delete a的时候被调用了。因此基类的析构函数都必须是virtual的。</P>
0 U3 h1 ^9 l2 e6 z) p) [<P>    纯虚的析构函数并没有什么作用,是虚的就够了。通常只有在希望将一个类变成抽象类(不能实例化的类),而这个类又没有合适的函数可以被纯虚化的时候,可以使用纯虚的析构函数来达到目的。</P><A><FONT color=#163498>2.4 虚构造函数?</FONT></A> * W, p3 I; K  b. l% Q  @
<P>    构造函数不能是虚的。</P><A><FONT color=#163498>3. 虚函数使用技巧</FONT></A> <A><FONT color=#163498>3.1 private的虚函数</FONT></A> ! {! W, W1 [0 D" ^$ i9 G1 a: `
<P>    考虑下面的例子:</P>, Y) M6 W* e; |" P5 I# n" u
<P>class A
' H, X* n( N6 w6 u; d; u; x{
# G& w! j9 K; h- o% n5 V- lpublic:
. Q* X4 e0 x, Z    void foo() { bar();}4 P) H3 u$ M0 K' W, J0 [
private:) K; ^" Y# V  ]& M' |! h
    virtual void bar() { ...}
4 W0 R: m  |& ^8 m& f  _( j};
/ x  r9 S2 ?5 W: }- K' p4 y5 K9 Q$ ~1 f' w
class B: public A
5 R# X* C0 A& W1 h- J{
. Q8 Y& G/ P! ~private:
+ y# e2 j( ?/ [; p( P3 \* ?    virtual void bar() { ...}2 X$ e2 \2 s& _) x! W# y2 M
};
5 p. N9 u$ X3 a1 g: V, e
' ^" M# M9 w1 Q" W    在这个例子中,虽然bar()在A类中是private的,但是仍然可以出现在派生类中,并仍然可以与public或者protected的虚函数一样产生多态的效果。并不会因为它是private的,就发生A::foo()不能访问B::bar()的情况,也不会发生B::bar()对A::bar()的override不起作用的情况。</P>
5 @" |" ~+ H2 K+ y<P>    这种写法的语意是:A告诉B,你最好override我的bar()函数,但是你不要管它如何使用,也不要自己调用这个函数。</P><A><FONT color=#163498>3.2 构造函数和析构函数中的虚函数调用</FONT></A> 2 S& Q* t* K) a: o$ q; q% J
<P>    一个类的虚函数在它自己的构造函数和析构函数中被调用的时候,它们就变成普通函数了,不“虚”了。也就是说不能在构造函数和析构函数中让自己“多态”。例如:</P>7 T1 K  p; j3 [: }' B( {7 D, p
<P>class A
5 ]5 v' n/ y9 b! J{
! |1 i' \# d5 C7 H: e) xpublic:, u2 }8 ^; h: d- U
    A() { foo();}        // 在这里,无论如何都是A::foo()被调用!
6 u  z/ `* m9 c/ K  v& O    ~A() { foo();}       // 同上! D, X& |8 `' J% @
    virtual void foo();9 r8 I3 ]' D" j9 j5 Q% Z5 K
};
0 ]( l; l& a" ]7 K3 `: u1 h; R" Z
. O- D( l5 D- q2 S* g$ cclass B: public A! m: C* [* i9 y
{, L7 \: w6 M/ P0 d9 P9 Y# p( y
public:* \% `  _% ^8 z) C. a8 v. r3 r# \
    virtual void foo();5 N6 V, i1 U' a: c+ _
};
8 k$ g3 A4 C4 |/ R9 V& i" r% _2 @% X8 U5 ?
void bar()3 b5 \1 ]: \7 S' |8 T4 k; S
{  N; T9 u4 o1 v" }
    A * a = new B;
3 o) P4 ], ~9 O  C! S8 D4 f4 u    delete a;
$ K. k! R( ?' P8 l1 e( \; q% N}. o8 v  \; z. n; o  t" \' n

5 |. u9 F7 s. C( P2 Q2 T" B    如果你希望delete a的时候,会导致B::foo()被调用,那么你就错了。同样,在new B的时候,A的构造函数被调用,但是在A的构造函数中,被调用的是A::foo()而不是B::foo()。</P><A><FONT color=#163498>3.3 多继承中的虚函数</FONT></A> <A><FONT color=#163498>3.4 什么时候使用虚函数</FONT></A> + V# y; [8 @' E/ L( o+ ?
<P>    在你设计一个基类的时候,如果发现一个函数需要在派生类里有不同的表现,那么它就应该是虚的。从设计的角度讲,出现在基类中的虚函数是接口,出现在派生类中的虚函数是接口的具体实现。通过这样的方法,就可以将对象的行为抽象化。</P>
' X1 `- y  i7 ]<P align=left>    以设计模式[2]中Factory Method模式为例,Creator的factoryMethod()就是虚函数,派生类override这个函数后,产生不同的Product类,被产生的Product类被基类的AnOperation()函数使用。基类的AnOperation()函数针对Product类进行操作,当然Product类一定也有多态(虚函数)。</P>: ?6 p% O) f8 q( J( N- u* G9 A: k+ Y
<P align=left>    另外一个例子就是集合操作,假设你有一个以A类为基类的类层次,又用了一个std::vector&lt;A *&gt;来保存这个类层次中不同类的实例指针,那么你一定希望在对这个集合中的类进行操作的时候,不要把每个指针再cast回到它原来的类型(派生类),而是希望对他们进行同样的操作。那么就应该将这个“一样的操作”声明为virtual。</P>1 r0 m- l( R9 j# U7 ]/ r
<P align=left>    现实中,远不只我举的这两个例子,但是大的原则都是我前面说到的“如果发现一个函数需要在派生类里有不同的表现,那么它就应该是虚的”。这句话也可以反过来说:“如果你发现基类提供了虚函数,那么你最好override它”。</P><A><FONT color=#163498>4.参考资料</FONT></A>
" ^* J, w- N, I( ^0 c. R<P>[1] 深度探索C++对象模型,Stanley B.Lippman,侯捷译</P>
, d3 V9 w; C! T1 \( {<P>[2] Design Patterns, Elements of Reusable Object-Oriented Software, GOF</P></TD></TR></TABLE>
作者: xShandow    时间: 2004-10-18 15:29
<>COM技术就是基于虚函数来实现的。</P>




欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5