assert的使用

assert是C语言标准库<assert.h>中定义的一个宏，用于在程序中插入调试断言（assertion）。它可以用于在程序执行过程中对特定条件进行检查，如果条件不满足，则会导致程序立即终止，并输出一条诊断信息。

assert的基本语法格式如下：

#include <assert.h>

assert(条件);

其中，条件是一个可以产生布尔值（非零或零）的表达式。如果条件的计算结果为零（即假），assert宏将产生一条诊断信息，并终止程序执行。诊断消息通常包括条件表达式、出现位置等信息，有助于开发者定位问题。

在开发阶段，将assert用于检查假设条件是否成立或者预期的情况是否发生，有助于发现并定位程序中的错误。一般来说，assert应当仅用于检查逻辑上“永远不应该发生”的情况，而不应该用于处理可能出现的情况。

以下是一个简单的示例：

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

int main()
{
	int x = 10;
	int y = 20;

	assert(x == y);//判断x是否和y相等，如果不相等，程序将结束运行，并输出一条诊断信息

	printf("程序继续执行。\n");

	return 0;
}

以下是程序运行的结果： 

在上面这个例子中，assert（x == y）检查了x == y是否成立。由于x不等于y，因此程序会在该断言处终止执行，并输出一条诊断信息。

需要注意的是，在生产环境中，assert中的检查会被关闭（通常通过NDEBUG宏），这意味着assert不会造成程序终止，因此不应该在assert中包含会造成副作用的代码。

#define NDEBUG

更多C语言相关练习请访问：test_c: C语言练习，包括常见语法练习以及小项目练习。 (gitee.com)