C++虚函数

语法说来也不复杂，概括起来就这么几条：

 

1. 在类成员方法的声明（不是定义）语句前面加个单词：virtual，她就会摇身一变成为虚函数。

2. 在虚函数的声明语句末尾中加个 =0 ，她就会摇身一变成为纯虚函数。

3. 子类可以重新定义基类的虚函数，我们把这个行为称之为复写（override）。

4. 不管是虚函数还是纯虚函数，基类均可为其提供实现代码（implementation），在这种情况下子类可以调用基类的这些实现。

5. 子类自主选择是否要提供一份属于自己的个性化虚函数实现。

6. 子类必须提供一份属于自己的个性化纯虚函数实现。

 

第一，当基类的某个成员方法，在大多数情形下都应该由子类提供个性化实现，但基类也可以提供一个备选方案的时候，请将其设计为虚函数。例如飞行器的加油动作，每种不同的飞行器原则上都应该有自己的个性化的加充燃油的方式，但也不免可以有一种通用的燃油及其加充方式。

 

第二，当基类的某个成员方法，必须由子类提供个性化实现的时候，请将其设计为纯虚函数。例如飞行器的飞行动作，逻辑上每种飞行器都必须提供为其特殊设计的个性化飞行行为，而不应该有任何一种“通用的飞行方式”。

 

第三，使用一个基类类型的指针或者引用，来指向子类对象，进而调用经由子类复写了的个性化的虚函数，这是C++实现多态性的一个最经典的场景。

 

第四，基类提供的纯虚函数的实现版本，并非为了多态性考虑，因为指向子类对象的基类指针和引用无法调用该版本。纯虚函数在基类中的实现跟多态性无关，它只是提供了一种语法上的便利，在变化多端的应用场景中留有后路。

 

第五，虚函数和普通的函数实际上是存储在不同的区域的，虚函数所在的区域是可被覆盖（也称复写override）的，每当子类定义相同名称的虚函数时就将原来基类的版本给覆盖了，另一侧面也说明了为什么基类中声明的虚函数在后代类中不需要另加声明一律自动为虚函数，因为它所存储的位置不会发生改变。而普通函数的存储区域不会覆盖，每个类都有自己独立的区域互不相干。