第13章虚函数.pptVIP

* 说明： 1、在定义纯虚函数时，不能定义虚函数的实现部分。 2、把函数名赋于0，本质上是将指向函数体的指针值赋为初值0。与定义空函数不一样，空函数的函数体为空，即调用该函数时，不执行任何动作。在没有重新定义这种纯虚函数之前，是不能调用这种函数的。 3、把至少包含一个纯虚函数的类，称为抽象类。这种类只能作为派生类的基类，不能用来说明这种类的对象。 其理由是明显的：因为虚函数没有实现部分，所以不能产生对象。但可以定义指向抽象类的指针，即指向这种基类的指针。当用这种基类指针指向其派生类的对象时，必须在派生类中重载纯虚函数，否则会产生程序的运行错误。 * 4、在以抽象类作为基类的派生类中必须有纯虚函数的实现部分，即必须有重载纯虚函数的函数体。否则，这样的派生类也是不能产生对象的,因而该派生类也是一个抽象类。 5、抽象基类与普通基类不同，它一般并不是现实存在的对象的抽象，它可以没有任何物理上的或其他实际意义方面的含义。 6、抽象基类体现了本类族中各类的共性，把各类中共有的成员函数集中在抽象基类中声明。 抽象基类是本类族的公共接口。 综上所述，可把纯虚函数归结为：抽象类的唯一用途是为派生类提供基类，纯虚函数的作用是作为派生类中的成员函数的基础，并实现动态多态性。 虚函数表 C++编译器编译含有一个或几个虚函数的类及其派生类时，对该类建立虚函数表（Virtual function table，vtable）。 虚函数表使执行程序正确选择每次执行时应使用的虚函数。 多态是由复杂的数据结构实现的，图中列出了基类和各派生类的虚函数表，这些表是由指向函数的指针组成的。 还有第二层指针，在实例化带虚函数的类（创建对象）时，编译器在对象前加上一个指向该类的虚函数表的指针。 第三层指针是链表结点类对象中指向抽象基类Object的指针（这也可以是引用，但本例是指针）。 虚函数的调用是这样进行的，考虑虚函数Compare()，则看含“cat”的结点。由该结点的info指针找到含“cat”的无名对象，再由对象前的指针找到StringObject虚函数表，移动4个字节（一个指针占4个字节）找到比较函数指针，进入串比较函数。 “dog” StringObject 动态无名对象 StringObject 动态无名对象 “cat” 指向Object类指针 指向结点类指针 指向Object类指针 指向结点类指针 指向Object类指针 Λ指向结点类指针 StringObject 动态无名对象 “cock” · · · 析构函数指针 0比较函数指针 0输出函数指针 StringObject虚函数表 抽象类Object虚函数表 析构函数指针 比较函数指针 输出函数指针 ComplexObject虚函数 析构函数指针 比较函数指针 输出函数指针 · · · 缺省析构函数 释放动态串析构函数 串比较函数 打印串函数 缺省析构 函数 复数模大小比较函数 打印复数函数 虚函数调用的控制流程 * 【例13.9】 抽象宠物类的实现 #include iostream #include cstring using namespace std; class Pet //基类 { char Name[20]; int Age; char Color[12]; public: char Type[10]; Pet(char *,int ,char *); char* GetName() { return Name; } int GetAge() { return Age; } char* GetColor() { return Color; } virtual void Speak() = 0; //纯虚函数 virtual void GetInfo() {} }; Pet::Pet(char *name,int age,char *color) { strcpy(Name,name); Age=age; strcpy(Color,color); strcpy(Type,pet); } * class Cat : public Pet //派生类 {public: Cat(char *name,int age, char *color):Pet(name,age,color) {} void Speak() { cout Sound of speak : miao!miao!endlendl; } void GetInfo(); }; void Cat::GetInfo() { cout The cats name : GetName()endl; cout The cats a