摘要： AF：抽象函数（Abstraction Function），是R空间到A空间的一个映射，一定是满射，不一定是单射或双射，因为R空间中可能出现不满足要求的值，它在A空间就没有对应的像。AF一般是ADT作者用精炼的语言描述该ADT类是对什么实际事物的抽象，并可简介这个函数中实现了哪些方法。RI：表示不变 阅读全文