C 标准库 - assert.h

C 标准库 - <assert.h>

简介

C 标准库的 assert.h头文件提供了一个名为 assert 的宏，它可用于验证程序做出的假设，并在假设为假时输出诊断消息。
已定义的宏 assert 指向另一个宏 NDEBUG，宏 NDEBUG 不是 <assert.h> 的一部分。如果已在引用 <assert.h> 的源文件中定义 NDEBUG 为宏名称，则 assert 宏的定义如下：

#define assert(ignore) ((void)0)

库宏

下面列出了头文件 assert.h 中定义的唯一的函数：

C 库宏 - assert()

描述

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

声明

下面是 assert() 宏的声明。

void assert(int expression);

参数

• expression – 这可以是一个变量或任何 C 表达式。如果 expression 为 TRUE，assert() 不执行任何动作。如果 expression 为 FALSE，assert() 会在标准错误 stderr 上显示错误消息，并中止程序执行。

返回值

这个宏不返回任何值。

实例

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

#include <assert.h>
#include <stdio.h>int main()
{int a;char str[50];printf("请输入一个整数值： ");scanf("%d", &a);assert(a >= 10);printf("输入的整数是： %d\n", a);printf("请输入字符串： ");scanf("%s", str);assert(str != NULL);printf("输入的字符串是： %s\n", str);return(0);
}

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

请输入一个整数值： 11
输入的整数是： 11
请输入字符串： runoob 
输入的字符串是： runoob