断言式编程再理解

断言式编程再理解
通过最近的一个项目，对断言式编写无错程序有了些心得。
程序逻辑中在运行中有可能出现的错误要在程序中做处理，比如 malloc失败等，而断言要加在程序在逻辑上不应该出现的错误的地方。
在我们编写程序的时候，编写无错程序的秘诀就是“要尽早发现错误”，在开始一个函数时加上前置条件,即进入函数前一些重要的变量应该是什么状态要测试，在函数的末尾加上后置条件，即函数执行后一些变量或数据结构应该是什么样的值，在函数中间一段重要逻辑做完的也要及时加断言测试这段逻辑产生的结果对不对，这样一砖一瓦一个函数一个函数，就构建起了强大的排错体系，这些断言不仅可以贯穿项目的整个周期来测试代码，而且也有利于其他人理解程序，便于调试阶段查问题。