第六讲多态虚函数重载技巧.ppt

电子信息学院课程组 武汉大学 多态性 动态编联/静态编联 虚函数/纯虚函数 重载 多态性是指类中同一函数名对应多个具有相似功能的不同函数，可以使用相同的调用方式来调用这些具有不同功能的同名函数的特性。 在C++程序中，多态性表现为同一种调用方式完成不同的处理。 从实现角度来划分，多态可分为编译时多态和运行时多态。 C++通过采用联编技术来支持多态性。 多态性实现过程中，确定调用哪个同名函数的过程就是联编，又称绑定。 联编是指计算机程序自身彼此关联的过程，也就是将函数调用语句与函数代码相关联。 两种联编方式：静态联编和动态联编。 静态联编是指编译器在编译阶段就确定了要调用的函数，即早期绑定。重载采用静态联编方式。 动态联编是指在程序执行过程中根据具体情况再确定要调用的函数，即后期绑定。当通过基类指针调用虚函数时，C++采用动态联编方式。虚函数体现出一种动态多态性或运行时多态性。 在编译阶段完成的联编称为静态联编。在编译过程中，编译系统可根据参数不同来确定哪一个同名函数。 函数重载和运算符重载就是通过静态联编方式实现编译时多态性的体现。 优点：函数调用速度快，效率高。 缺点：编程不够灵活。 #include iostream.h class Student { public: void print() { coutA Studentendl; } }; class GStudent:public Student { public: void print() { coutA graduate Studentendl; } }; 声明一个派生类的对象的同时也自动声明了一个基类的对象。 派生类的对象可以认为是其基类的对象。C++允许一个基类对象的指针指向其派生类的对象 —— 这是实现虚函数的关键 不允许派生类对象的指针指向其基类的对象。 即使将一个基类对象的指针指向其派生类的对象，通过该指针也只能访问派生类中从基类继承的公有成员，不能访问派生类自定义的成员，除非通过强制类型转换将基类指针转换为派生类指针。 有些联编工作无法在编译阶段准确完成 ，只有在运行程序时才能确定将要调用的函数。这种在运行阶段进行的联编称为动态联编。 C++规定，动态联编通过继承和虚函数来实现。 优点：提供了更好的编程灵活性、问题抽象性和程序易维护性。 缺点：与静态联编相比，函数调用速度慢。 虚函数是动态联编的基础，是非静态的成员函数，经过派生之后，虚函数在类族中可以实现运行时多态。 虚函数是在某一个基类中声明为virtual，并在一个或多个派生类中被重新定义的成员函数。 声明虚函数的格式： virtual 返回值类型 函数名 (参数表); 一个函数一旦被声明为虚函数，则无论声明它的类被继承了多少层，在每一层派生类中该函数都保持虚函数特性。因此在派生类中重新定义该函数时，可省略关键字virtual。但是为了提高程序的可读性，往往不省略。 class A { public: virtual void Show() { coutA::show\n; }; }; class B : public A { public: void Show() { coutB::show\n; }; }; 在派生类中重新定义虚函数时，必须保证函数的返回值类型和参数与基类中的声明完全一致。否则不具备多态性。 如果在派生类中没重新定义虚函数，则派生类的对象将使用基类的虚函数代码。 只有通过对象指针或对象引用来调用虚函数，才能实现动态联编。如果采用对象来调用虚函数，则采用的是静态联编方式。 基于构造函数的特点，不能将 构造函数定义为虚函数。 当撤消派生类的对象时，先调用派生类析构函数，然后自动调用基类析构函数，如此看来析构函数没必要定义为虚函数。但是，假如使用基类指针指向其派生类的对象，而这个派生类对象是用new运算创建的。当程序使用delete运算撤消派生类对象时，这时只调用了基类的析构函数，而没有调用派生类的析构函数。 如果使用虚析构函数，无论指针所指的对象是基类对象还是派生类对象，程序执行时都会调用对应的析构函数。 class A { public: // 构造函数不能是虚函数 A() { }; // 析构函数是虚函数 virtual ~A() {coutA::destructor\n;}; }; class B : public A { public: B() { }; // 虚析构函数 ~B() { coutB::destructor\n; }; }; 一般来说，可