MIT软件构造 -- ADT Patterns: Interfaces, Generics, and Enums
接口(Interfaces)基本概念不再赘述,值得注意(记住)的有几点:接口不应该有构造函数只有静态方法才能拥有方法体接口实现不能破坏表示不变性接口实现可以添加接口没有的方法,但是不能缺少接口声明的方法接口实现不应该违背接口规约(比如接口规约声明为不可变类型,但在实现类里加入了mutator)子类型(subtype)a是b的子类型,则a要么implementb,要么extendb。a是b的子类(s