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 函数直接终止程序的运行。

现在我们在 Visual Studio 中创建一个工程，输入下面这段非常简单的代码：

1. #include <stdio.h>
2. #include <assert.h>
3. int main()
4. {
5. printf("assert 函数测试:");
6. assert(true); //表达式为真
7. assert(1 >= 2); //表达式为假
8. return 0;
9. }