类和对象.ppt

类和对象ClassandObject关于对象式语言*puterSoftware,NanjingUniversity*本课程并不系统讲授Eiffel语言但应学会“欣赏”Eiffel语言(比较“纯”)它首先是一个对象式程序设计语言但强调从分析到设计到实现的平滑过渡摘要*puterSoftwareNanjingUniversity*三个世界:面向对象的建模面向对象原则类:对象程序静态的结构对象:运行时刻的结构对象创建:从类到对象对象引用:对象串起来摘要三个世界:面向对象的建模面向对象原则类:对象程序静态的结构对象:运行时刻的结构对象创建:从类到对象对象引用:对象串起来*puterSoftware,NanjingUniversity*三个世界*puterSoftware,NanjingUniversity*客观世界DVD播放机Whatisreality?复杂性认识的主观性问题世界抽象!AmodelofasubsetoftherealityDVD播放机计算机(软件)世界Amodelofamodelofasubsetofthereality***puterSoftwareNanjingUniversity现实世界问题世界软件世界Reality抽象面向对象原则*puterSoftware,NanjingUniversity*ObjectOrientationEncapsulationAbstractionPolymorphismInheritance回顾:抽象数据类型*puterSoftware,NanjingUniversity*抽象数据类型(ADT):用数学方法定义对象集合和运算集合,仅通过运算的性质刻画数据对象,而独立于计算机中可能的表示方法ADT规约方法代数规范语法部分,公理部分ADT实现E1,E2,E3