虚函数是一个类中的成员函数,定义格式为:

virtual 返回类型 函数名(参数表).

关键字virtual指明该成员函数为虚函数。virtual仅用于类定义中,如虚函数在类外定义,不可加virtual。

当某个类的一个类成员函数被定义为虚函数,则由该类派生出来的所有派生类中,该函数始终保持虚函数的特征。当在派生类中重写虚函数时,不必加关键字virtual。但重写时不仅要同名,而且它的参数表和返回类型全部与基类中的虚函数一样,否则联编时出错。

一个类中将所有的成员函数尽可能地设置为虚函数总是有好处的,但必须注意以下几条:

1.派生类中定义虚函数必须与基类中的虚函数同名,必须同参数表,同返回类型。否则被认为是重载,而不是虚函数。如基类中返回基类指针,则派生类中返回派生类指针是允许的,这是一个例外。

2.只有类的成员函数才能说明为虚函数。因为虚函数仅适用于有继承关系的类对象。

3.静态成员函数为所有同一类对象共有,不受限于某个对象,不能作为虚函数。

4.一个类对象的静态和动态类型是相同的,实现动态多态性时,必须使用基类类型的指针变量或引用,使该指针指向该基类的不同派生类的对象,并通过该指针指向虚函数,才能实现动态的多态性

5.内联函数每个对象是一个副本,无映射关系,不能作为虚函数。

6.析构函数可定义为虚函数,构造函数不能定义为虚函数,因为在构造函数时对象还没有完成实例化。在基类中及其派生类中都动态地分配内存空间时,必须把析构函数定义为虚函数,以实现撤销对象时的多态性。

7.虚函数执行速度要稍慢一些。为了实现多态性,每一个派生类中均要保存相应虚函数的入口地址表,函数的调用机制也是间接实现。所以多态性总是要付出一定代价,但通用性是一个更高的目标。

8.如果定义放在类外,virtual只能加在函数申明前面,不能加在函数定义前面。正确的定义必须不包括virtual。

纯虚函数是指被标明为不具体实现的虚成员函数。它用于下列情况:定义一个基类时,会遇到无法定义基类中虚函数的具体实现,其实现依赖于不同的派生类。定义纯虚函数的一般格式为:

virtual 返回类型 函数名(参数表)=0;

含有纯虚函数的基类不能用来定义对象。纯虚函数没有实现部分。不能产生对象,所以,含有纯虚函数的类是抽象类。

定义纯虚函数必须注意:

1.定义纯虚函数时,不能定义虚函数的实现部分。即使是函数体为空也不行,函数体为空就可以执行,只是什么也不做就返回。而纯虚函数不能被调用。

2.“=0”标明程序员将不定义该函数,函数声明是为派生类保留一个位置。“=0”本质上是将指向函数体的指针定为NULL。

3.在派生类中必须有重新定义的纯虚函数的函数体,这样的派生类才能用来定义对象。

虚函数通常和动态联编相关。联编是指计算机程序自身彼此关联的过程,是把一个标示符名和一个存储地址联系在一起的过程,也就是把一条消息和一个对象的操作相结合的过程。如果使用基类指针或引用指明派生类对象并使用该指针调用虚函数(成员选择符用箭头号“->”),则程序动态地(运行时)选择该派生类的虚函数,称为动态联编。动态联编亦称滞后联编,对应于静态联编。

如果使用对象名和点成员选择运算符“.”引用特定的一个对象来调用虚函数,则被调用的虚函数是在编译时确定的(称为静态联编)。

C++编译器编译含有一个或几个虚函数的类及其派生类时,对该类建立虚函数表。虚函数表使执行程序正确选择每次执行时应使用的虚函数。

posted on 2014-11-29 18:56  文森博客  阅读(1421)  评论(0编辑  收藏  举报