[2018年最新整理]C++程序设计教程12.pptVIP

C++程序设计教程(第二版) 第十二章 多态 Chapter 12 Polymorphism 第十章内容 1. 继承召唤多态 (Inheritance Summon up Polymorphism) 祖孙互易的说明： 晚辈是前辈的后继，晚辈是前辈的一种． 反之不确，前辈不是晚辈，也不是晚辈的一种． 这一概念也影响到类的继承操作，甚至其指针操作: Student是GraduateStudent的祖先．则： Student s, *pS; GraduateStudent gs, *pGS; s = gs; // ok gs = s; // error pS = static_castStudent*(gs); // ok pGS = static_castGraduateStudent*(s); // error 同化效应 class Student{ public: // . . . void display(){ cout“UnderGraduate\n”; } }; class GraduateStudent :public Student{ public: // . . . void display(){ cout“Graduate\n; } }; Student ds; GraduateStudent gs; ds.display(); gs.display(); 同化效应蔓延到指针操作 Student s, *ps; GraduateStudent gs; ps = s; ps-display(); ps = static_castStudent*(gs); ps-display(); 结果： UnderGraduate Graduate 关键技术 void fn(Student x){ // ... } int main(){ Student s; GraduateStudent gs; fn(s); // 显示大学生信息 fn(gs); // 显示研究生信息 } 结果： UnderGraduate Graduate 2. 抽象编程的困惑 ( Abstract Programming Perplexing ) 类型域方案可以做到，即实现fn函数如下： void fn(Student x){ switch(x.type){ case Student::STUDENT: x.calcTuition(); break; case Student::GRADUATESTUDENT: GraduateStudent rx = static_castGraduateStudent(x); rx.calcTuition(); break; } } 但不敢恭维这种方法，因为它导致类编程与应用编程互相依赖，因而破坏了只关注局部细节的抽象编程． 破坏抽象编程的后果是： 可维护性，可扩展性受到伤害． 若增加一个博士类，则类代码与应用程序代码都得改，而这本来不是应用程序的份内事． 因而呼吁从语言内部来支持这种多态性． 3. 虚函数 ( Virtual Function ) 多态性使得应用程序使用类体系中的祖孙对象共存的复杂局面达到了一种编程自在境界．程序员从使用孤立的类(抽象数据类型)，到使用分层的类，并且让各种对象“同场竞技”,充分展现其个性.尝到了对象化编程的真正乐趣．Ｃ++类机制的虚函数就是冲着让类编程实质性地支持应用编程中对家族化对象操作依赖的目的，从而面向对象来分析、设计和解决问题． 4. 避免误用虚函数 ( Avoiding Misusing Virtual Function ) class Base{ public: virtual void fn(int x){ coutBase\n; } }; class Sub : public Base{ public: virtual void fn(double x){ coutSub\n; } }; void test(Base b){ b.fn(3.5); } int main(){ test(Base()); test(Sub()); } 5. 精简共性的类 ( Simplify Class with Generality ) 孤立的类之间有一些共性，希望减少一些冗余代码． 通常不能因此而构成上下级关系的类层次，因为会产生不良反应：基类如果扩展功能，势必连累子类． 6. 多态编程 ( Polymorphic Programming ) 将共性的类通过继承由共性构