#软件构造# Abstraction function and representation invariant(Java抽象数据类型和引用不变量)
抽象数据型:在数据结构里面是指一个数学模型以及定义在此数学模型上的一组操作,但是在Java里面抽象数据型指的是以abstract定义的函数方法,那么定义这样一个没有函数体的方法有什么作用呢?这里我们先引入另外一个概念:接口。接口可以说是一个纯粹的抽象类,这里引用一下哈工大王忠杰教授对接口的理解:接口===CSP认证书、会计师证书、律师证书类===张三、李四、王五、...、全世界每一个人张三拥有“C