C++中的虚函数

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

virtual 返回类型 函数名（参数表）.

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

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

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

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

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

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

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

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

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

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

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

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

virtual 返回类型 函数名（参数表）=0；

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

定义纯虚函数必须注意：

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

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

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

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

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

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

原文：http://www.cnblogs.com/919czzl/p/4131721.html