虚函数与联编

虚函数

虚函数必须是基类的非静态成员函数，其访问权限可以是private或protected或public，在基类的类定义中定义虚函数的一般形式。在某基类中声明为 virtual 并在一个或多个派生类中被重新定义的成员函数，实现多态性。

语法：

virtual 函数返回类型 函数名（参数表） {函数体}

虚函数必须是基类的非静态成员函数，其访问权限可以是private或protected或public，在基类的类定义中定义虚函数的一般形式：

class基类名{
…
　 virtual 返回值类型 将要在派生类中重载的函数名（参数列表）；
}；

虚函数的作用是实现动态联编，也就是在程序的运行阶段动态地选择合适的成员函数，在定义了虚函数后，可以在基类的派生类中对虚函数重新定义，在派生类中重新定义的函数应与虚函数具有相同的形参个数和形参类型。以实现统一的接口，不同定义过程。如果在派生类中没有对虚函数重新定义，则它继承其基类的虚函数。

当程序发现虚函数名前的关键字virtual后，会自动将其作为动态联编处理，即在程序运行时动态地选择合适的成员函数。虚函数是C++多态的一种表现。
纯虚函数：是一种特殊的虚函数，使用virtual关键字，并且在其后面加上=0。
当类中存在动态内存分配时，经常将类的析构函数声明为虚函数。

静态联编

静态联编又称静态绑定，指在调用同名函数（即重载函数）时编译器将根据调用时所使用的实参在编译时就确定下来应该调用的函数实现。它是在程序编译连接阶段进行联编的，这种联编又称为早期联编，这是因为这种联编工作是在程序运行之前完成的。
它的优点是速度快，效率高，但灵活性不够。
如果是通过对象名调用虚函数，在编译阶段就能确定调用的是哪一个类的虚函数，所以属于静态联编。
编译时所进行的联编又称为静态束定。束定是指确定所调用的函数与执行该函数代码之间的关系。

动态联编

动态联编也称动态绑定，是指在程序运行时，根据当时的情况来确定调用的同名函数的实现，实际上就是在运行时选择虚函数的实现。这种联编又称为晚期联编或动态束定。它的优点是灵活性强，但效率较低。
实现条件：①要有继承性且要求创建子类型关系；②要有虚函数；③通过基类的对象指针或引用访问虚函数。
如果是通过基类指针调用虚函数，在编译阶段无法从语句本身确定调用哪一个类的虚函数，只有在运行时，指针指向某一类的对象后，才能确定是哪一个类的虚函数，故为动态联编。
C++中一般情况下的联编是静态联编，但是当涉及到多态性和虚函数时应该使用动态联编。
继承是动态联编的基础，虚函数是动态联编的关键，虚函数经过派生之后，在类族中就可以实现运行过程中的多态。动态联编要求在运行时解决程序中的函数调用与执行该函数代码间的关系，调用虚函数的对象是在运行时确定的。对于同一个对象的引用，采用不同的联编方式将会被联编到不同类的对象上。即不同联编可以选择不同的实现，这便是多态性。