模块与类型的统 口模块是软件分解的单元,是语法概念 口类型是某些动态对象的静态描述,是语义概念 口传统语言模块与类型分离 口对象语言模块与类型统 口类型:类是抽象数据类型的实现 口模块:类是对象式程序的基本组成单元 基于类的面向对象的语言机制的强有力之处 在于“类”统一了类型和模块 Institute of Computer Software 2021/215 Nanjing University2021/2/5 Institute of Computer Software Nanjing University 19 模块与类型的统一  模块是软件分解的单元，是语法概念  类型是某些动态对象的静态描述，是语义概念  传统语言 模块与类型分离  对象语言 模块与类型统一  类型：类是抽象数据类型的实现  模块：类是对象式程序的基本组成单元 基于类的面向对象的语言机制的强有力之处 在于“类”统一了类型和模块