C语言的assert断言宏

　　大家在学习C语言的时候对于assert断言宏了解多少呢?今天小编要为大家带来的是C语言的assert断言宏的相关知识，希望可以在大家学习C语言的时候有所帮助，一起来看看吧!

　　assert宏的原型定义在中，其作用是如果它的条件返回错误，则终止程序执行，原型定义：

　　#include

　　void assert( int expression );

　　assert的作用是现计算表达式 expression ，如果其值为假(即为0)，那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。

　　如果assert()终止了程序，它首先会显示失败的测试、包含测试的文件名和行号。

　　示例：

/* assert.c -- use assert() */
 
#include
 
#include
 
#include
 
int main()
 
{
 
double x, y, z;
 
puts("Enter a pair of numbers (0 0 to quit): ");
 
while (scanf("%lf%lf", &x, &y) == 2
 
&& (x != 0 || y != 0))
 
{
 
z = x * x - y * y; /* should be + */
 
assert(z >= 0);
 
printf("answer is %f
", sqrt(z));
 
puts("Next pair of numbers: ");
 
}
 
puts("Done");
 
return 0;
 
}

　　下面是该程序的运行示例：

1	`Enter a pair of numbers (0` `0` `to quit):`

　　4 3 [用户输入]

1

2

3

answer is 2.645751
 
Next pair of numbers:

　　5 3 [用户输入]

1

2

3

answer is 4.000000
 
Next pair of numbers:

　　3 5 [用户输入]

1	`assertion` `"z >= 0"` `failed: file` `"assert.c", line` `14, function: main`

　　该程序在求平方根之前，该程序断言z是否大于0或等于0。程序还错误地减去一个值而不是加上一个值，故意让z得不到合适的值。

　　具体的错误提示音编译器而异。这条消息指明的是没有满足z>=0的条件。

　　用if语句也能完成类似的'任务：

if (z<0)
 
{
 
puts("z less than 0");
 
abort();
 
}

　　但是使用asset()有几个好处：它不仅能自动标识文件和出问题的行号，还有一种无需修改代码就能开启或关闭assert()的机制。在调试结束后，可以通过在包含#include 的语句之前插入#define NDEBUG来禁用assert调用，示例代码如下：

1

2

3

4

5

#include
 
#define NDEBUG
 
#include

　　重新编译程序，这样编译器就会禁用文件中的所有assert()语句。如果程序又出现问题，可以移除这条#define NDEBUG指令，或者把它注释掉，然后重新编译，这样就重新启用了assert()语句了。

　　使用assert的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。

　　一些建议：

　　使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别，后者是必然存在的并且是一定要作出处理的。在函数的入口处，使用断言检查参数的有效性(合法性)。在编写函数时，要进行反复的考查，并且自问：“我打算做哪些假定?”一旦确定了的假定，就要使用断言对假定进行检查。一般教科书都鼓励程序员们进行防错设计，但要记住这种编程风格可能会隐瞒错误。当进行防错设计时，如果“不可能发生”的事情的确发生了，则要使用断言进行报警。

【C语言的assert断言宏】相关文章：

C语言宏定义03-24

在C语言中用ASSERT调试的八个技巧09-27

简单讲解C语言中宏的定义与使用11-19