C标准库 assert

C标准库的assert.ht头文件提供了一个名为assert的宏，它可用于验证程序做出的假设，并在假设为假时输出诊断消息。

已定义的宏assert指向另一个宏NOEBUG，宏NDEBUG不是的一部分。如果已在引用的源文件中定义NDEBUG为宏名称，则assert宏的定义如下：

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

库宏

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

参数expression可以是一个变量或任何C表达式。如果expression为true，assert不执行任何动作。如果expression为fasle，assert()会在标准错误stderr上显示错误消息，并中止执行。

实例

#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);
}