assert.h C标准库的头文件中提供了一个宏称为断言可以用于验证程序的假设，如果这个假设是错误的，并打印诊断消息。
定义assert宏指另一个宏NDEBUG不是不是一部分。如果在源文件中的点包括在为宏名定义了NDEBUG，assertmacro定义如下：

define assert(ignore) ((void)0)

在assert.h中定义了如下函数

void assert(int expression)

函数使用说明
这实际上是一个宏，而不是一个函数，它可以被用来添加在C程序诊断。

Demo

#include 
#include 
int main()
{
    int a = 0; //定义一个整型变量
    printf("请输入一个整型值: "); //提示输入一个整型数据
    scanf("%d", &a); //捕获键盘输入的值
    assert(a >= 10); //如果输入的值a < 10 就会抛出异常,不会执行下面的代码
    printf("您输入的整型值是  %d\n", a); 
    return(0);
}

打印结果

E6A6A01D-8A75-4A16-ABEC-9495716816AE.png