1、从实现的角度看，多态可以划分为两种情况：编译期多态和运行时多态。
前者是在编译过程中，确定同名操作的具体操作对象，从而确定同名函数的具体实现；
后者是在程序运行过程中，动态确定具体的操作对象，从而确定同名函数的具体实现。
这种确定操作具体对象的过程成为联编或联合。联编就是将一个标识符和一个存储地址联系在一起的过程，是计算机程序自身彼此相关联的过程。
从联编进行的不同阶段，可以将联编分为静态联编和动态联编。
(1)静态联编是指联编工作在程序编译和连接阶段完成的联编过程。静态联编是程序编译之前进行的，也称为早期联编，前联编等。在有的多态类型中，程序在编译、连接的阶段就可以确定同名操作的具体操作对象。系统就可以根据类型匹配来确定某一个同名标识符调用的具体代码，如对于重载多态，强制多态、参数多态都可以通过静态联编来实现。
(2)动态联编就是指联编工作在程序运行阶段完成的联编过程。如果静态联编无法解决联编问题，则只能等到程序运行时再进行联编操作。例如，包含多态就是通过动态联编完成的。
2、虚函数是重载函数的另外一种表现形式。C++规定：基类的对象指针可以指向它公有派生的对象，但是当其指向共有派生类对象时，它只能访问从基类继承来的成员，而不鞥访问共有派生类中定义的成员。那么使用对象指针的目的就是为了表达动态的性质，即当指针指向不同对象时执行不同的操作。编译器采用的静态绑定的原则。此时就需要虚函数。
虚函数首先是基类中的成员函数，在这个成员函数前面加上关键字virtual,并在派生类中被重载。
对虚函数的定义有以下几点：
(1)由于虚函数使用的基础是赋值兼容规则，而赋值兼容规则成立的前提条件是派生类从其基类共有派生。因此，通过定义虚函数来使用多态性机制时，派生类必须从它的基类公有派生。
(2)必须首先在基类中定义虚函数。由于“基类”与“派生类”是相对的，因此，这项说明并不表明必须在类等级的最高层类中声明虚函数。在实际应用中，应该在类等级内需要具有动态多态性的几个层次中的最高类内首先声明为虚函数。
(3)在派生类对基类中声明的虚函数进行重新定义时，关键字virtual可以写也可以不写，但在容易引起混乱的情况下，最好在对派生类的虚函数进行重新定义时也加上关键字virtual。
(4)虽然使用对象名和点运算符也可以调用虚函数，但是这种调用是在编译时进行的静态联编，它没有充分利用虚函数的特性，只有通过基类指针访问虚函数时才能获得运行时的多态性。
(5)一个虚函数无论被公有继承多少次，它仍然保持虚函数的特性。
(6)虚函数必须是其所在类的成员函数，而不能是友元函数，也不能是静态成员函数，因为虚函数调用要靠特定的对象来决定该哪个函数。
(7)内联函数不能是虚函数，因为内联函数是不能在运行中动态确定其位置的。即使虚函数在类的内部定义，编译时仍将其看作是非内联的。
(8)构造函数不能是虚函数，但是析构函数可以是虚函数，而且通常说明为虚函数。
3、虚析构函数，当派生类对象撤销时，一般先调用派生类的析构函数，然后再调用基类的析构函数。
#include<iostream>
using namespace std;
class base
{
public:
~base()
{
cout << "调用基类的base的析构函数" << endl;
}
};
class derived:public base
{
public:
~derived()
{
cout <<" 调用派生类derived的析构函数" << endl;
}
};
int main()
{
base *p;
// p = &a;
p = new derived;
delete p;
}
运行结果表示，本程序只执行了基类base|的析构函数，而没有执行派生类derived的析构函数。原因是在撤销指针p所指的派生类的无名对象，而调用析构函数时，采用了静态联编的方式，只调用了基类base的析构函数。
如果采用动态联编方式，子啊用delete运算符撤销派生类的无名对象时，先调用派生类的析构函数，再调用基类的析构函数，可以将基类的析构函数声明为虚析构函数。
4、虚函数与重载函数的关系。在一个派生类中重新定义基类的虚函数是函数重载的另外一种形式，但它不同与一般的函数重载。普通的函数重载时，其函数的参数或参数类型必须有所不同，其返回类型也可以不同。但是在重载一个虚函数时，也就是说在派生类中重新定义虚函数时，要求，函数名，返回类型，参数个数，参数的类型和顺序与基类中的虚函数原型完全相同。
5、纯虚函数和抽象类。
有时，基类往往表示一种抽象的概念，在基类中将某一成员函数定义为虚函数，并不是类本身的要求，而是考虑到派生类的需要，在基类中预留了一个函数名，具体功能留给派生类根据需要去定义。
纯虚函数是在声明虚函数时被“初始化”为0的函数。
纯虚函数的作用是在基类中为其派生类保留一个函数的名字，以便派生类根据需要对它进行重新定义。纯虚函数没有函数体，它最后的“=0”并不表示函数的返回值为0，它只是起形式上的作用，告诉编译系统“这是纯虚函数”。纯虚函数不具备函数的功能，不能被调用。
如果一个类至少有一个纯虚函数，那么就称该类为抽象类。定义抽象类的唯一目的就是用它作为基类去建立派生类抽象类作为一种基本类型提供给用户，用户在这个基础上根据自己的需要定义出功能各异的派生类，用用这些派生类去建立对象。对于抽象类的使用有以下几点规定：
(1)由于抽象类中至少包含一个没有定义功能的纯虚函数。因此，抽象类只能作为其他类的基类来使用，不能建立抽象类对象。
(2)不允许从具体类派生出抽象类。所谓具体类，就是不包含纯虚函数的普通类。
(3)抽象类不能用做函数的参数类型、函数的返回类型或显式转换的类型。
(4)可以声明指向抽象类的指针或引用，此指针可以指向它的派生类，进而实现多态性。
(5)如果派生类中没有定义纯虚函数的实现，而派生类中给出了基类纯虚函数的实现，则该派生类就不再是抽象类了，它是一个可以建立对象的具体类了。
抽象类是不能够实例化的，通常用于实现接口的定义。抽象类通常用作于其他类的父类，从抽象类派生的子类如果不是抽象类，则子类必须实现父类中的所有纯虚函数。