断言

断言可以用来指导程序代码的编写，也可以用来判断程序的正确性，将断言插入代码中，以确保程序运行的与理解一致。使用assert来表示相信某个逻辑表达为真。assert(表达式)在表达式为真时什么也不做，但为假时会报告某种错误。

例：断言某个数组是否升序

int sorted(int x[])
{
	for (int i = 0; i < n - 1; i++)
		if (x[i] > x[x+1])
			return 0;
	return 1;
}

assert(sorted(x));