#include<assert.h>

 1 #define _CRT_SECURE_NO_WARNINGS
 2 
 3 //#define NDEBUG//关闭静态断言，必须放在头文件上方
 4 
 5 #include <stdio.h>
 6 #include <stdlib.h>
 7 #include <assert.h>//静态断言的头文件
 8 
 9 main()
10 {
11     double db1, db2;
12     
13     scanf("%lf%lf", &db1, &db2);
14 
15     printf("db1=%f,db2=%f\n", db1, db2);
16 
17     assert(db2 != 0);//db2 != 0成立就是正常
18 
19     printf("%lf/%lf=%lf\n", db1, db2, db1 / db2);
20             
21     system("pause");
22 }

 1 #define _CRT_SECURE_NO_WARNINGS
 2 
 3 #include <stdio.h>
 4 #include <stdlib.h>
 5 #include <assert.h>//静态断言的头文件
 6 
 7 main()
 8 {
 9     char *p = (char *)malloc(sizeof(char));
10     assert(p != NULL);//malloc分配内存失败的时候返回NULL
11 
12     *p = ‘h‘;
13     
14     printf("%c\n", *p);
15 
16     system("pause");
17 }

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