方法签名 前置/后置/不变

代码复用

设计模式

框架

库

不必重造轮子 新技术会携带风险

风险: 依赖不可控

优化代码

fan-out 和 fan-in

触发器

对象设计不要用流程语言

Contracts 接口

接口由约束和返回值组成

接口表述

接口语言

接口中约束的类型

接口实例