某一段代码需要对程序状态做出某种假设。
动机:
使用断言明确标记假设。
断言是一个条件表达式,应该总是真,如果失败,表示程序员犯了错误。
做法:
如果发现代码假设某个条件始终为真,就加入一个断言明确说明这种情况。
断言用来检查“一定必须为真”的条件。
某一段代码需要对程序状态做出某种假设。
动机:
使用断言明确标记假设。
断言是一个条件表达式,应该总是真,如果失败,表示程序员犯了错误。
做法:
如果发现代码假设某个条件始终为真,就加入一个断言明确说明这种情况。
断言用来检查“一定必须为真”的条件。