#include <assert.h>

assert宏

适用于软件测试、调试、排错

被除数不能为0，assert可以用于检测被除数是否为0

#define _CRT_SECURE_NO_WARNINGS

//#define NDEBUG//关闭静态断言，必须放在头文件上方

#include <stdio.h>
#include <stdlib.h>
#include <assert.h>//静态断言的头文件

main()
{
    double db1, db2;
    
    scanf("%lf%lf", &db1, &db2);

    printf("db1=%f,db2=%f
", db1, db2);

    assert(db2 != 0);//db2 != 0成立就是正常

    printf("%lf/%lf=%lf
", db1, db2, db1 / db2);
            
    system("pause");
}

malloc分配内存失败，返回NULL，assert可以用于检测指针是否NULL

#define _CRT_SECURE_NO_WARNINGS

#include <stdio.h>
#include <stdlib.h>
#include <assert.h>//静态断言的头文件

main()
{
    char *p = (char *)malloc(sizeof(char));
    assert(p != NULL);//malloc分配内存失败的时候返回NULL

    *p = 'h';
    
    printf("%c
", *p);

    system("pause");
}

如果要关闭静态断言，在头文件上方，加上

#define NDEBUG//关闭静态断言，必须放在头文件上方