6、 Ada编程中的包与抽象数据类型

Ada编程中的包与抽象数据类型

1. 模块化的重要性

大型软件系统必须分解成模块，这是为了提高开发效率、便于管理和维护。编程语言中用于创建模块和描述模块间连接的结构，决定了该语言在复杂系统开发中的适用性。模块的三种用途如下：

• 作为设计和管理的单位 ：在编写任何可执行语句之前，软件就被设计为一个模块系统。项目经理将分配每个模块的开发责任给一个或多个软件工程师。
• 作为抽象的单位 ：抽象是指隐藏资源的细节，使其可以在不了解内部结构的情况下使用。
• 作为源代码的物理单位 ：大型软件系统的配置管理需要一个用于存储源代码模块的系统，以及用于构建软件版本的系统。

2. Ada中的包

在Ada中，包是设计的基本单位。一个包分为规范（specification）和体（body），它们是源代码的独立物理单位。规范和体通过分离接口和实现来封装抽象。这种分离不仅提高了代码的可读性和可维护性，还增强了代码的可靠性。

2.1 包的结构

一个典型的包结构如下所示：

package Package_Name is
   -- 规范部分，定义接口
end