2022年5月25日
软件构造学习（三）ADT与OOP的等价性
摘要： 这次记录的主要内容是围绕软件构造中有关抽象数据型的知识点。ADT可以大致分为Immutable类型的类和mutable类型的类，可以将ADT的等价性分为两部分，第一部分是Immutable类的等价性，第二部分是mutable类型的类的相关等价性。 一、不可变类型的等价性。 1.利用AF和观察者等价性 阅读全文
posted @ 2022-05-25 00:11 叶绿体基质 阅读(111) 评论(0) 推荐(1)