第十二章 C语言调试_assert断言函数

在我们的实际开发过程之中，常常会出现一些隐藏得很深的BUG，或者是一些概率性发生的BUG，通常这些BUG在我们调试的过程中不会出现很明显的问题，但是如果我们将其发布，在用户的各种运行环境下，这些程序可能就会露出马脚了。那么，如何让我们的程序更明显的暴露出问题呢？这种情况下，我们一般都会使用 assert 断言函数，这是C语言标准库提供的一个函数，也就是说，它的使用与操作系统平台，调试器种类无关。我们只要学会了它的使用，便可一次使用，处处开花。

接下来我们来了解一下 assert 函数的用法，这个函数在 assert.h 头文件中被定义，在微软的 cl 编译器中它的原型是这样的：

#define assert(_Expression) (void)( (!!(_Expression)) || (_wassert(_CRT_WIDE(#_Expression), _CRT_WIDE(__FILE__), __LINE__), 0) ) 

我们看到 assert 在 cl 编译器中被包装成了一个宏，实际调用的函数是 _wassert ，不过在一些编译器中，assert 就是一个函数。为了避免这些编译器差异带来的麻烦，我们就统一将 assert 当成一个函数使用。

我们来了解一下 assert 函数的用法和运行机制，assert 函数的用法很简单，我们只要传入一个表达式即可，它会计算我们传入的表达式的结果，如果为真，则不会有任何操作，但是如果我们传入的表达式的计算结果为假，它就会像  stderr （标准错误输出）打印一条错误信息，然后调用 abort 函数