阅读笔记3

《构建之法》书中第四章在“错误处理”一节中提到了“断言”这个词语：“如何验证正确性？那就要用断言。断言和错误处理是什么关系？”我也尝试着查找相关资料希望能解决这几个问题。

1.编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设。断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真，可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断言。

2.使用断言的几个原则[1]

①使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别，后者是必然存在的并且是一定要作出处理的。 
②使用断言对函数的参数进行确认。 这也是书中提到的断言的一种作用——验证参数正确性。
③在编写函数时，要进行反复的考查，并且自问：“我打算做哪些假定？”一旦确定了的假定，就要使用断言对假定进行检查。 
　　 
④一般教科书都鼓励程序员们进行防错性的程序设计，但要记住这种编程风格会隐瞒错误。当进行防错性编程时，如果“不可能发生”的事情的确发生了，则要使用断言进行报警。