#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\n", db1, db2);

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

     printf("%lf/%lf=%lf\n", 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\n", *p);

     system("pause");
 }

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

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