软件构造学习笔记（3）--第六节抽象数据类型ADT

DodoJordi

已于 2024-05-30 21:52:39 修改

阅读量497

点赞数 8

文章标签：学习笔记

于 2024-05-30 21:50:39 首次发布

本文链接：https://blog.csdn.net/DodoJordi/article/details/139335486

版权

学习笔记：抽象数据类型 (ADT)

1. 抽象数据类型 (ADT) 的概念

定义：通过操作定义的数据类型，与具体实现细节无关。
特性：表示独立性，不变量，抽象函数 (AF)，表示不变量 (RI)。

2. ADT 的设计原则

简洁性：设计简单一致的操作，避免复杂操作。
一致性：每个操作都有明确目的，避免特殊情况。
充分性：提供足够的操作以满足客户端需求。
抽象与具体：要么完全抽象，要么针对具体应用设计，避免混合。

3. 操作的分类

构造器 (Creator)：创建新对象。
生产器 (Producer)：从旧对象创建新对象。
观察器 (Observer)：获取对象信息并返回。
变值器 (Mutator)：改变对象状态。

4. 表示独立性 (Representation Independence)

定义：ADT 的使用与其内部表示无关，内部变化不影响外部。
重要性：允许在不影响客户端代码的情况下更改内部实现。

5. 不变量 (Invariants)

定义：程序中始终为真的属性。
重要性：简化代码推理，易于发现错误。

6. 抽象函数 (Abstraction Function, AF) 和表示不变量 (Representation Invariant, RI)

AF：将表示值映射到抽象值的函数。
RI：定义哪些表示值是合法的，确保表示值与抽象值的一致性。

7. 测试 ADT

方法：为每个操作创建测试用例，确保它们之间的交互正确。

8. 有益的可变性 (Beneficent Mutation)

定义：在不改变抽象值的前提下，表示值可以变化。

9. 文档记录

AF 和 RI：应在代码中明确记录抽象函数和表示不变量。
表示泄露安全声明：证明代码没有暴露内部表示。

10. 不变量取代前置条件 (Preconditions)

优势：通过封装复杂的前置条件到 ADT 内部，提高代码安全性和易于理解。

学习体会

抽象的力量：通过抽象数据类型，我们能够将数据的使用与其具体实现分离，这使得代码更加模块化，易于维护和理解。
设计的重要性：设计良好的 ADT 需要深思熟虑的操作集，这些操作应该简单、一致且充分满足需求。这有助于降低复杂性，提高代码的可读性和可维护性。
表示独立性的重要性：表示独立性是 ADT 的核心，它允许开发者更改数据结构的内部实现，而不影响使用该数据结构的客户端代码。
不变量的作用：不变量为程序提供了一个稳定的基石，使得在任何时候程序的状态都是可预测和合理的，这对于调试和验证程序的正确性至关重要。
文档的价值：记录抽象函数和表示不变量不仅有助于其他开发者理解 ADT 的内部工作机制，也是未来代码维护和升级的关键。
测试的必要性：对 ADT 进行彻底的测试，确保每个操作都符合预期，是保证软件质量的关键步骤。
有益的可变性：理解在某些情况下，表示值的变化是可以接受的，只要这种变化不会影响抽象值，这对于实现高效的数据结构非常有用。

通过学习 ADT，我更加认识到在软件设计中抽象的重要性，以及如何通过精心设计的数据类型来提高代码的质量和灵活性。