C语言再学习-- assert 断言宏

描述：

断言 assert 是仅在 Debug 版本起作用的宏，它用于检查“不应该”发生的情况。

C 库宏 void assert(int expression) 允许诊断信息被写入到标准错误文件中。换句话说，它可用于在 C 程序中添加诊断。

声明：

下面是 assert() 宏的声明。

[cpp]  view plain  copy

1. void assert(int expression);  

参数

expression -- 这可以是一个变量或任何 C 表达式。

如果expression 为 TRUE，assert() 不执行任何动作。

如果expression 为 FALSE，assert() 会在标准错误 stderr 上显示错误消息，并中止程序执行。

返回值

这个宏不返回任何值。

实例

下面的实例演示了 assert() 宏的用法。

让我们在交互模式下编译并运行上面的程序，如下所示：

[cpp]  view plain  copy

1. #include <assert.h>  
2. #include <stdio.h>  
3.   
4. int main()  
5. {  
6.    int a;  
7.    char str[50];  
8.        
9.    printf("请输入一个整数值：");  
10.    scanf("%d", &a);  
11.    assert(a >= 10);  
12.    printf("输入的整数是：%d\n", a);  
13.       
14.    printf("请输入字符串：");  
15.    scanf("%s", &str);  
16.    assert(str != NULL);  
17.    printf("输入的字符串是：%s\n", str);  
18.       
19.    return(0);  
20. }  

[cpp]  view plain  copy

1. 请输入一个整数值： 11  
2. 输入的整数是： 11  
3. 请输入字符串： w3cschool   
4. 输入的字符串是： w3cschool   

[cpp]  view plain  copy

1. 请输入一个整数值： 3  
2. a.out: assert.c:11: main: Assertion `a >= 10' failed.  
3. 已放弃 (核心已转储)