【MIT软件构造】ADT Patterns: Interfaces, Generics, and Enums

接口（Interfaces） 基本概念不再赘述，值得注意（记住）的有几点： 接口不应该有构造函数 只有静态方法才能拥有方法体 接口实现不能破坏表示不变性 接口实现可以添加接口没有的方法，但是不能缺少接口声明的方法 接口实现不应该违背接口规约（比如接口规约声明为不可变类型，但在实现类里加入了mutator） 子类型（subtype） a是b的子类型，则a要么implement b，要么extend

>>阅读原文<<