C语言——断言assert_断言assert c语言-优快云博客

本文链接：https://blog.youkuaiyun.com/outdated_socks/article/details/129656940

assert是一个宏，用于在程序开发阶段检测逻辑错误。当assert中的表达式为假时，它会向标准错误设备输出错误信息并调用abort函数终止程序。文章通过示例说明了如何使用assert检查空指针，强调每个assert应只检验一个条件以便于定位问题。在调试完成后，可以定义NDEBUG来禁用assert。在release版本中，assert通常会被优化掉。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1.assert是宏，不是函数。

2.assert()，如果括号里的表达式为0(false)，则将消息写入标准错误设备并调用函数abort()，报错并终止程序执行。否则assert无任何作用。

例子：

#include<assert.h>
#include<stdio.h>
void fun(char* dest, char* src)
{
	while (*dest++ = *src++)`
	{
		;
	}
}


int main()
{
	char arr[20] = { 0 };
	char* p = NULL;
	fun(arr, p);
	return 0;
}

对空指针进行解引用，报错了。

为判断指针的有效性，并将错误暴露，我们使用断言assert。

#include<assert.h>
#include<stdio.h>
void fun(char* dest, char* src)
{
//每个assert最好只检验一个条件,因为同时检验多个条件时,
//如果断言失败,无法直观的判断是哪个条件失败。
	assert(src != NULL);
    assert(dest !=NULL);
	while (*dest++ = *src++)
	{
		;
	}
}


int main()
{
	char arr[20] = { 0 };
	char* p = NULL;
	fun(arr, p);
	return 0;
}