C语言assert()宏：在代码中插入检查点

assert()宏

头文件和函数原型

#include <assert.h>
void assert(scalar expression);

描述

在C语言中，assert()函数用于在代码中插入检查点。这个函数接受一个表达式作为参数，如果表达式的值为假，那么程序会先打印错误信息（这些信息中包含程序的名称、源代码的文件名、行号、以及表达式），然后调用abort()函数来停止程序的执行。

assert()函数的作用类似于一种运行时断言。它可以帮助程序员在代码中发现潜在的错误，以便在出现问题时能够快速地定位问题。但是需要注意的是，assert()函数通常只用于调试目的，不应该在生产环境中使用。

返回值

assert()宏没有返回值；

示例代码

#include <assert.h>

int add(int a, int b) {
	return a + b;
}
int main() {

	assert(1);
	assert(1 > 0);
	assert(add(1, 2) == 3);
	assert(add(1, 2) == 4); //表达式为false

}

运行结果（系统不同可能存在差异）

test: main.c:11: main: Assertion `add(1, 2) == 4' failed.
Aborted

这段代码运行到第11行时将打印错误信息并退出。