C语言中的assert

2025年5月13日，周二晚上

---

在 C 语言中，assert 是一个用于调试和验证程序逻辑的宏，定义在 <assert.h> 头文件中。它的核心作用是检查程序中的假设条件是否成立，若条件不成立（即表达式为假），则立即终止程序并输出错误信息，帮助开发者快速定位问题。

---

1. 核心功能

• 条件检查：

接受一个布尔表达式，若表达式为假（0），则触发以下行为：

1. 向标准错误流（stderr）输出错误信息，包括：

   ◦ 失败的表达式

   ◦ 源文件名（__FILE__）

   ◦ 行号（__LINE__）

   ◦ 函数名（__ASSERT_FUNCTION，部分编译器支持）。

2. 调用 abort() 终止程序运行。

• 无副作用：

若表达式为真（非零），assert 不执行任何操作，程序继续运行。

---

2. 典型应用场景

1. 参数合法性检查：

   验证函数参数是否符合预期（如非空指针、有效范围等）。

   void process_buffer(char *buf) {
       assert(buf != NULL);  // 确保缓冲区非空
       // 其他逻辑
   }

2. 算法不变性验证：

   确保循环或算法中的关键条件始终成立（如数组索引不越界）。

   int array[10];
   int index = get_index();
   assert(index >= 0 && index < 10);  // 检查索引有效性

3. 调试与单元测试：

   快速捕捉开发阶段的逻辑错误，替代部分临时调试代码。

---

3. 注意事项

• 仅用于调试：

assert 默认在 Debug 模式生效，通过定义 NDEBUG 宏可禁用所有断言（如发布版本中）：

#define NDEBUG  // 禁用assert
#include <assert.h>

• 不可替代错误处理：

断言适用于检查不应发生的内部错误（如程序逻辑错误），而外部输入错误（如用户输入无效）应使用 if 等错误处理机制。

• 避免副作用：

断言表达式不应包含必须执行的代码（如修改变量），否则发布版本中可能因断言禁用导致逻辑错误：

// 错误示例：i++ 在发布版本中可能不执行
assert(i++ < 100);

// 正确做法
assert(i < 100);
i++;

---

4. 示例代码

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

int divide(int a, int b) {
    assert(b != 0);  // 确保除数非零
    return a / b;
}

int main() {
    printf("Result: %d\n", divide(10, 2));  // 正常执行
    printf("Result: %d\n", divide(10, 0)); // 触发断言，程序终止
    return 0;
}

输出（当 b=0 时）：

Assertion failed: b != 0, file example.c, line 4

---

总结
assert 是 C 语言中强大的调试工具，用于快速捕获程序中的非法假设。合理使用可提高代码可靠性，但需注意其适用场景（开发阶段）和局限性（不处理外部错误）。