C语言断言

C语言断言

关于断言的使用，从 林锐的《高质量 C编程指南》里提取了一段断言的使用规
则：
程序一般分为 Debug 版本和 Release 版本，Debug 版本用于内部调试，Release
版本发行给用户使用。
断言 assert 是仅在 Debug 版本起作用的宏，它用于检查“不应该”发生的情况。
【规则 6-5-1】使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误
情况之间的区别，后者是必然存在的并且是一定要作出处理的。
【规则 6-5-2】在函数的入口处，使用断言检查参数的有效性（合法性）。
【建议 6-5-1】在编写函数时，要进行反复的考查，并且自问：“我打算做哪些
假定？”一旦确定了的假定，就要使用断言对假定进行检查。
【建议 6-5-2】一般教科书都鼓励程序员们进行防错设计，但要记住这种编程风
格可能会隐瞒错误。当进行防错设计时，如果“不可能发生”的事情的确发生了，则
要使用断言进行报警。
——摘自野火 三天入门 Cortex-M4——Kinetis 系列