断言定义与使用

断言（assert）语义：如果表达式的值为0（假），则输出错误消息并终止程序执行；如果表达式为真，则不进行任何操作。

assert()只在Debug版本里有效。（程序分为Debug版本和Release版本，Debug版本用于内部调试，Release版本发行给用户使用。）

提示：如果程序在assert处终止了，并不是说assert函数有错误，而是调用函数出粗，assert可以帮助我们追踪到错误发生原因。

建议：在函数的入口处，建议使用断言来检查参数的有效性。如下例：

建议：给assert语句加注释，告诉assert语句目的是什么。

注意：assert语句仅是检查程序的合法性，而无法发现一些错误情况。例如，使用malloc申请动态内存时，如果系统没有足够内存，malloc返回NULL，动态内存申请失败不是非法情况，而是错误情况。需要用语句if捕捉错误情况，并给出错误处理代码。

提示：程序断言的检查，并不保证万无一失。例如memcpy()中的断言，如果给它出入两个未初始化的野指针（地址不为0但是没有指向合法的内存块），那么assert()就失去了作用。