c语言第七章 多态

C++程序设计宋存利第七章多态知识点：虚函数纯虚函数7.1虚函数多态是面向对象程序设计的重要特征之一。所谓多态（polymorphism），就是一个函数名，有多个函数体，不同的语境，对应的函数体则不同。在C++中多态的实现有两种形式，一种是静态多态，一种是动态多态。静态多态通过函数重载和运算符重载来实现（详见第3章和第5章），静态多态的特点是在编译阶段编译器根据相应函数的参数个数和类型来确定对应函数的函数体。动态多态则指函数在编译阶段无法确定它与函数体之间的联系，只有当执行到相应的语句时才能确定函数名对应的函数体，因此叫动态多态。7.1虚函数实现动态多态，一个关键的步骤是定义类的某个成员函数是虚函数，虚函数的定义格式为：

virtual返回值类型

函数名(参数列表){函数体}

其中，virtual是关键字，它用来声明类的某个函数为虚函数，函数的其他部分的说明与普通函数说明没有区别。说明：虚函数必须为类的成员函数，且不能是静态成员函数和构造函数。【例7-1】为了说明虚函数的意义，请看一个案例，然后引出虚函数的必要性，本例是一个典型的点和圆的继承关系。Seventh_1_1.cpp(非虚函数)

Seventh_1_2.cpp(虚函数)请比较这两的与逆行结果的不同，总结虚函数的特点7.1虚函数1、动态多态实现的基础条件：动态多态通过虚函数实现。动态多态要在继承的基础上才能实现。动态多态要利用基类的指针（引用）指向（引用）派生类对象，最后，通过该指针（引用）访问的是虚函数。7.1虚函数2、对虚函数的几点说明：（1）在基类中的成员函数可以声明为虚函数，不能是全局函数、类的友元函数、静态成员函数或构造函数。（2）如果在派生类中要对基类中声明的某个函数进行重写，建议将基类中相应的函数定义为虚函数，在派生类中重写的函数若要保持虚函数的特性，关键字virtual可省略。（3）在派生类中重写虚函数时，函数原型与基类中的函数原型要完全相同才能保持器虚函数的特性，即函数的返回值类型、函数名、函数的参数个数及类型都要和基类中的完全一样，否则，在派生类中该函数将自动丧失虚函数的特性。（4）一个虚函数无论被公有继承多少次，它仍然保持虚函数的特性。（5）动态多态是通过基类的指针或引用来访问虚函数，如果用对象名的形式来访问虚函数，将采用静态编译，即编译器将根据对象的类型就可确定访问的是哪个函数。7.1虚函数提示：基类的指针或引用指向派生类对象时，要实现多态，其访问的函数需要在基类和派生类中均为虚函数，否则不能实现多态。【例7-2】验证要实现多态，访问的函数必须在基类和派生类中同为虚函数。Seventh_2.cpp，比较该程序结果与Seventh_1_2.cpp的结果提示：C++中不能定义虚构造函数，因为开始调用构造函数时对象还没有实例化，但可以定义虚析构函数，而且通常把析构函数声明成虚析构函数。虚析构函数的定义格式如下：

seventh_3.cpp（非虚析析构案例）virtual~类名（）{...}：seventh_3_2.cpp（虚析构案例）请对比以上两个程序的运行结果。7.1虚函数【例7-4】动态多态综合案例。一个虚函数，不管被子孙后代继承多少次，只要保持函数原型不变，则它的虚函数特性不变。Seventh_4.cpp提示：虚函数只要在基类的子孙后代中保持函数原型不变，则它的虚函数的特性将一直遗传下去。7.2纯虚函数

有时，定义一个类的目的只是想要为它的子孙后代提供一个统一的接口，这种类中声明的一些函数可能无法给出具体的函数实现，具体的函数实现往往需要留给它的子孙辈的类去实现，这时就可以定义相关函数为纯虚函数，纯虚函数定义的一般语法为：

virtual返回值类型

函数名(函数参数列表)=0；包含有纯虚函数的类叫做抽象类。若一个类的所有成员函数都是纯虚函数，则这个类叫纯抽象类。7.2纯虚函数-抽象类抽象类的说明：（1）抽象类只能作为其它类的基类，不能建立抽象类的对象。因为它的纯虚函数没有实现。（2）抽象类的对象不能作为函数的参数、函数的返