一、概念:

在某基类中声明为 virtual 并在一个或多个派生类中被重新定义的成员函数，用法格式为：virtual 函数返回类型 函数名（参数表） {函数体}；实现多态性，通过指向派生类的基类指针或引用，访问派生类中同名覆盖成员函数。

二、定义:

简单地说，那些被virtual关键字修饰的成员函数，就是虚函数。虚函数的作用，用专业术语来解释就是实现多态性（Polymorphism），多态性是将接口与实现进行分离；用形象的语言来解释就是实现以共同的方法，但因个体差异，而采用不同的策略。

#include<iostream>
using namespace std;
class A
{
    public:
        void print()
        {
            cout<<"This is A"<<endl;
        }
};
 
class B : public A
{
    public:
        void print()
        {
            cout<<"This is B"<<endl;
        }
};
 
int main()
{
    //main1
    A a;
    B b;
    a.print();
    b.print();
    return 0;
}

运行结果：
分别是“This is A”、“This is B”。
通过class A和class B的print（）这个接口，可以看出这两个class因个体的差异而采用了不同的策略，但这并不是多态性行为（使用的是不同类型的指针），没有用到虚函数的功能。为了实现多态，现在把main()函数改一改

int main()
{
    //main2
    A a;
    B b;
    A *p1 = &a;
    A *p2 = &b;
    p1->print();
    p2->print();
    return 0;
}

运行的结果却是两个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;}
};

现在class A的成员函数print（）已经设成了虚函数，同时class B的print（）也相应成了虚函数，我们只需在把基类的成员函数设为virtual，其派生类的相应的函数也会自动变为虚函数。所以，class B的print()也成了虚函数。对于在派生类的相应函数前是否需要用virtual关键字修饰，语法上可加可不加，不加的话编译器会自动加上，但为了阅读方便和规范性，建议加上。
现在重新运行main2的代码，这样输出的结果就是This is A和This is B了。

三、 总结:

指向基类的指针在操作它的多态类对象时，会根据不同的类对象，调用其相应的函数，这个函数就是虚函数。