重构——41引入断言（Introduce Assertion）

引入断言（Introduce Assertion）

某一段代码需要对程序状态作出某种假设；以断言明确表现这种假设

一、动机

断言是一个条件表达式，应该总是为真。如果它失败了，表示程序员犯了错误。因此断言的失败应该导致一个非受控异常。断言绝对不能被系统的其它部分使用。实际上，程序最后成品往往将断言统统删除，因此，标记“某些东西是个断言”是很重要的

二、做法

1、如果你发现代码假设某个条件始终为真，就加入一个断言说明这种情况

2、简化函数调用