函数式对象

函数式对象最显著的特征就是状态不变性（immutable state）

函数式对象的权衡（trade-off）

优点

1.不可变对象较可变对象更容易理解，因为不可变对象没有随着时间变化的复杂状态空间
2.可以自由的使用不可变对象，然而可变对象传入被调用方法之前，需要进行保护性拷贝（defensive copy）
3.不可变对象的使用，不用考虑并发的竞态情况
4.不可变对象可以安全的进行Hash。可变对象的状态变化，会导致hash值得改变，从而在hash table永远无法找到该对象

缺点

当更新操作时，需要比较大的对象图（object graph）被拷贝，可能会造成性能瓶颈（performance bottleneck）

不可变的类库都会提供可变的版本以供选择

预条件（precondition）检查

预条件是约束传入到方法或是构造器中的值，且调用者必须严格执行。使用require来进行逻辑判断

require(a == 1)

// if true, can pass
// else throw an IllegalArgumentException