assert()函数

概念

• assert()函数是C语言中的一个断言函数，用于在程序中进行断言检查。它的作用是在程序中检查一个条件是否为真，如果条件为假，则会输出错误消息并终止程序的执行。
• assert的作用是先计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。

缺点

频繁的调用会极大的影响程序的性能，增加额外的开销。
解决办法：在调试结束后，可以通过在包含#include <assert.h>的语句之前插入 #define NDEBUG 来禁用assert调用，示例代码如下：

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

常见用法

1. 检查参数的合法性

int resetBufferSize(int nNewSize)
{
	assert(nNewSize >= 0);
	assert(nNewSize <= MAX_BUFFER_SIZE);
}

2. 每个assert只检验一个条件，同时断言多个条件无法定位条件位置
3. 断言assert 是仅在Debug 版本起作用的宏，不可以用来代替条件语句

示例

以下是assert()函数的使用示例：

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

int main() {
    int x = 7;
    x = 9; // 假设在代码的其他部分中x被意外地改变为9
    assert(x == 7); // 断言x的值应该为7
    printf("程序继续执行\n");
    return 0;
}

可以自己定义宏实现ASSERT

#define ASSERT(expression) if(!(expression)) { \
                                std::cerr << "Assertion failed: " << #expression << std::endl; \
                                std::terminate(); \
                           }