强制多态预先规定了语言中各种类型之间的映射关系-Read.PPT

第七课面向对象程序设计方法学概述 基本概念 封装（encapsulation） 信息/实现的隐藏（information/implementation hiding） 对象标识（object identity） 消息（message） 类（class） 继承（inheritance） 多态性（polymorphism） 接口（interface） 基本概念 封装，将属性和操作包装成一个单元，使得对状态的访问和修改只能通过封装提供的接口进行。 信息/实现的隐藏，将某些属性或方法限制在封装内部使用，限制外部的可见性。 对象标识，每个对象可以作为软件实体被标识和处理，每个对象都有一个对象标识符（object identifier OID）。 消息，对象间发送请求的载体。 接口，一组没有公共代码的对象共享实现。 基本概念 类，类是对象的类型（模版），对象是类的实例。 继承，子类隐式使用超类（或父类）的属性和操作。 多态性，子类覆盖（overriding）父类的方法，它和重载（overloading）的区别在于重载是在同一对象层次中，利用参数的不同来进行动态绑定（dynamic binding）。 面向对象程序设计方法的起源 1.符号抽象 Backus[1957] 的Fortran实现使用了人们习惯的符号记法，而且确保了编译后的运行效率。 2.过程抽象 C语言的发展使得函数概念的普及和大规模应用。一些相对完整的功能代码被封装在一个函数里面实现 3.信息隐藏和抽象数据类型 Wirth[1980]的Modula-2语言实现了模块，在不降低运行效率的情况下实现了信息隐藏和抽象数据类型 4.类型抽象 挪威计算中心的Kristen Nygaard和Ole-Johan Dahl开发了Simula67语言； 70年代中期，Xerox Palo Alto研究中心开发了Smalltalk语言；这些语言用类、对象、重载、动态绑定技术实现了抽象数据类型，但是其运行效率不能让人满意，其抽象类型概念也不能让人接收让人接受，直到C和C++…… 例子（c语言）——过程抽象 例子（Modula-2）——信息隐藏 define module stack export qualified pop push; procedure pop(c:char); procedure push(c:char); end stack implementation module stack from inout import writestring const max = 50; type index=[0..max]; stk : array index of char top : index; procedure push(c:char); begin …… end push; …… begin top:=0; end stack. 例子（c++）——类型抽象 class stack{ Public: virtual push(char var)=0; virtual char pop()=0; };  class stack_array : public stack{ push(char var)； …… } 例子（c++）——类型泛化 template class T class stack{ public: virtual void push(T var)=0; virtual T pop()=0; }; template class T class stack_array : public stackT{ public: void push(T var){}; T pop(){}; }; 例子（JAVA）——类型反射 public class StackCount{ static String[] names = { “array”,” list”}; public static void main(String[] args) { Class[] stackTypes = { Class.forName( stack_array ), Class.forName(“stack_list”) }; stackTypes[0].newInstance().push(typenames[0]); stackTypes[0].newInstance().push(typenames[1]) } 面向对象的抽象原理 1.数据抽象原理 数据抽象提供了面向对象方法的始点，其核心就是实现了模块化与信息隐藏，同时它也是面向对象方法学的基础。