简单地说，那些被virtual关键字修饰的成员函数，就是虚函数。虚函数的作用，用专业术语来解释就是实现多态性（Polymorphism），多态性是将接口与实现进行分离；用形象的语言来解释就是实现以共同的方法，但因个体差异而采用不同的策略。下面来看一段简单的代码
公司主营业务：网站制作、成都网站建设、移动网站开发等业务。帮助企业客户真正实现互联网宣传，提高企业的竞争能力。创新互联是一支青春激扬、勤奋敬业、活力青春激扬、勤奋敬业、活力澎湃、和谐高效的团队。公司秉承以“开放、自由、严谨、自律”为核心的企业文化，感谢他们对我们的高要求，感谢他们从不同领域给我们带来的挑战，让我们激情的团队有机会用头脑与智慧不断的给客户带来惊喜。创新互联推出代县免费做网站回馈大家。
class A{
public:
void print(){ cout”This is A”endl;}
};
class B:public A{
public:
void print(){ cout”This is B”endl;}
};
int main(){ //为了在以后便于区分，我这段main()代码叫做main1
A a;
B b;
a.print();
b.print();
}
通过class A和class B的print()这个接口，可以看出这两个class因个体的差异而采用了不同的策略，输出的结果也是我们预料中的，分别是This is A和This is B。但这是否真正做到了多态性呢？No，多态还有个关键之处就是一切用指向基类的指针或引用来操作对象。那现在就把main()处的代码改一改。
int main(){ //main2
A a;
B b;
A* p1=a;
A* p2=b;
p1-print();
p2-print();
}
运行一下看看结果，结果却是两个This is A。问题来了，p2明明指向的是class B的对象但却是调用的class A的print()函数，这不是我们所期望的结果，那么解决这个问题就需要用到虚函数
class A{
public:
virtual void print(){ cout”This is A”endl;}//现在成了虚函数了
};
class B:public A{
public:
void print(){ cout”This is B”endl;}//这里需要在前面加上关键字virtual吗？
};
毫无疑问，class A的成员函数print()已经成了虚函数，那么class B的print()成了虚函数了吗？回答是Yes，我们只需在把基类的成员函数设为virtual，其派生类的相应的函数也会自动变为虚函数。所以，class B的print()也成了虚函数。那么对于在派生类的相应函数前是否需要用virtual关键字修饰，那就是你自己的问题了。
现在重新运行main2的代码，这样输出的结果就是This is A和This is B了。
现在来消化一下，我作个简单的总结，指向基类的指针在操作它的多态类对象时，会根据不同的类对象，调用其相应的函数，这个函数就是虚函数。
虚函数是指一个类中你希望重载的成员函数，当你用一个基类指针或引用指向一个继承类对象的时候，你调用一个虚函数，实际调用的是继承类的版本。
有纯虚函数的类是抽象类，不能生成对象，只能派生。他派生的类的纯虚函数没有被改写，那么，它的派生类还是个抽象类。
定义纯虚函数就是为了让基类不可实例化化,
C++中虚函数的作用：
1、为了方便使用多态特性，我们常常需要在基类中定义虚拟函数。
2、在很多情况下，基类本身生成对象是不合情理的。例如，动物作为一个基类可以派生出老虎、孔雀等子类，但动物本身生成对象明显不合常理。
为了解决上述问题，引入了纯虚函数的概念，将函数定义为纯虚函数（方法：virtual ReturnType Function()= 0;），则编译器要求在派生类中必须予以重写以实现多态性。
同时含有纯虚拟函数的类称为抽象类，它不能生成对象。这样就很好地解决了上述两个问题。
C++中虚函数的用法：
比如你有个游戏，游戏里有个虚基类叫「怪物」，有纯虚函数 「攻击」。然后派生出了三个子类「狼」「蜘蛛」「蟒蛇」，都实现了自己不同的「攻击」函数，比如狼是咬人，蜘蛛是吐丝，蟒蛇把你缠起来。
然后出现好多怪物的时候就可以定义一个 虚基类指针数组，把各种怪物的指针给它，然后迭代循环的时候直接 monster[i]-attack() 攻击玩家就行了，大概见下图：
扩展资料：
使用虚函数的注意事项：
一、包含虚函数的类指针列表会增大。
二、虚析构函数
析构函数的作用是在对象撤销之前做必要的“清理现场”的工作。当派生类的对象从内存中撤销的时候，会先先调用派生类的析构函数然后再调用基类的析构函数。
当我们new一个临时对象时，若基类中包含析构函数，并且定义了一个指向该基类的指针变量。
三、构造函数不能声明为虚函数
构造函数不能声明为虚函数。如果声明为虚函数，编译器会自动报出。
四、不在析构或者构造过程中调用虚函数
在析构函数或者是构造函数中，我们绝对不能调用虚函数。即使，我们在构造函数或者析构函数中调用虚函数，也不会下降至派生类中调用函数。
知道继承不？就是一个类中的某个函数该类也许并不需要，子类继承的时候才需要，于是就有了虚函数的概念。虚函数的关键字是virtual。举个例子：
class father
{
public:
virtual void show(){cout1endl;}
};
class son:public father
{
void show(){cout2endl;}
};
现在我在main()函数中定义一个指向基类的指针。
father *pf;
然后让它指向子类：
pf=new son;
现在我调用函数show():
pf-show();
这时会掉用子类的show（）函数，输出2。
也就是说指向基类的指针指向子类时，如果调用的函数是虚函数时，且子类有同名函数，此时会调用子类的函数。
虚函数是指一个类中你希望重载的成员函数，当你用一个基类指针或引用指向一个继承类对象的时候，你调用一个虚函数，实际调用的是继承类的版本。
有纯虚函数的类是抽象类，不能生成对象，只能派生。他派生的类的纯虚函数没有被改写，那么，它的派生类还是个抽象类。
定义纯虚函数就是为了让基类不可实例化化,
因为实例化这样的抽象数据结构本身并没有意义.
或者给出实现也没有意义
实际上我个人认为纯虚函数的引入,是出于两个目的,
1.为了安全.因为避免任何需要明确但是因为不小心而导致的未知的结果.
提醒子类去做应做的实现.
2.为了效率,不是程序执行的效率,而是为了编码的效率.
虚函数必须是基类的非静态成员函数，其访问权限可以是protected或public，在基类的类定义中定义虚函数的一般形式：
virtual 函数返回值类型 虚函数名（形参表）
{ 函数体 }
虚函数的作用是实现动态联编，也就是在程序的运行阶段动态地选择合适的成员函数，在定义了虚函数后，可以在基类的派生类中对虚函数重新定义，在派生类中重新定义的函数应与虚函数具有相同的形参个数和形参类型。以实现统一的接口，不同定义过程。如果在派生类中没有对虚函数重新定义，则它继承其基类的虚函数。
当程序发现虚函数名前的关键字virtual后，会自动将其作为动态联编处理，即在程序运行时动态地选择合适的成员函数。
（[2010.10.28] 注：下行语义容易使人产生理解上的偏差，实际效果应为：
如存在：Base - Derive1 - Derive2 及它们所拥有的虚函数func()
则在访问派生类Derive1的实例时，使用其基类Base及本身类型Derive1，或被静态转换的后续派生类Derive2的指针或引用，均可访问到Derive1所实现的func()。）
动态联编规定，只能通过指向基类的指针或基类对象的引用来调用虚函数，其格式：
指向基类的指针变量名-虚函数名（实参表）
或 基类对象的引用名. 虚函数名（实参表）
虚函数是C++多态的一种表现
例如：子类继承了父类的一个函数（方法），而我们把父类的指针指向子类，则必须把父类的该函数（方法）设为virtual（虚函数)。
使用虚函数，我们可以灵活的进行动态绑定，当然是以一定的开销为代价。 如果父类的函数（方法）根本没有必要或者无法实现，完全要依赖子类去实现的话，可以把此函数（方法）设为virtual 函数名=0 我们把这样的函数（方法）称为纯虚函数。
如果一个类包含了纯虚函数，称此类为抽象类 。
虚函数的实例
#includeiostream.h
class Cshape
{ public: void SetColor( int color) { m_nColor=color;}
void virtual Display( void) { cout"Cshape"endl; }
private:
int m_nColor;
};
class Crectangle: public Cshape
{
public:
void virtual Display( void) { cout"Crectangle"endl; }
};
class Ctriangle: public Cshape
{
void virtual Display( void) { cout"Ctriangle"endl; }
};
class Cellipse :public Cshape
{
public: void virtual Display(void) { cout"Cellipse"endl;}
};
void main()
{
Cshape obShape;
Cellipse obEllipse;
Ctriangle obTriangle;
Crectangle obRectangle;
Cshape * pShape[4]=
{ obShape, obEllipse,obTriangle, obRectangle };
for( int I= 0; I 4; I++)
pShape[I]-Display( );
}
本程序运行结果：
Cshape
Cellipse
Ctriangle
Crectangle
条件
所以，从以上程序分析，实现动态联编需要三个条件：
1、 必须把动态联编的行为定义为类的虚函数。
2、 类之间存在子类型关系，一般表现为一个类从另一个类公有派生而来。
3、 必须先使用基类指针指向子类型的对象，然后直接或者间接使用基类指针调用虚函数。
