C语言断言库

assert.h头文件支持的断言库是一个用于调试程序的小型库。它由assert()宏组成，接收一个整形表达式作为参数。如果表达式求值为假（非零），assert(0宏就在标准错误流（stderr）中写入一条错误信息，并调用abort()函数终止程序（abort()函数在stdlib.h头文件中）。assert()宏是为了标识出程序中某些条件为真的关键位置，如果一个具体条件为假，急用assert()语句终止程序。

1、用法

#include <stdio.h>
#include <stdlib.h>
#include <assert.h>


int main()
{
	double x = 0.0;	
	double y = 0.0;	
	double z;	

	puts("输入俩个整数(0 0退出)");
	while(scanf("%lf%lf", &x, &y) && (x != 0 || y != 0))
	{
		z = x * x - y * y;
		assert(z>0);
		printf("结果是%lf\n", z);
		puts("请输入下一个整数:");
	}
	printf("结束\n");
	
	return 0;
}