断言 assert 完全指南：核心概念与实战技巧

assert 是 C 语言中极为实用的调试宏（而非函数）。它的核心职责清晰——在程序执行至特定位置时，校验某个条件是否为真：

• 条件为真，程序正常推进。
• 条件为假，程序立即终止，并精确输出出错文件名、行号以及失败的条件表达式。

简言之，它是排查逻辑错误的“哨兵”，专门捕获那些程序员认为“绝不可能发生”的隐蔽 bug。

一、基础用法

使用 assert 的第一步是引入对应头文件：

#include 

其语法极为直接：

assert(表达式);

其中的“表达式”即你期望必须为真的断言条件。若该条件为假（值为 0），assert 将触发断言失败。

看一个最简示例：

#include 
#include 

int main() {
    int a = 10;
    
    // 断言：a 必须大于 20（显然不成立）
    assert(a > 20);
    
    printf("程序正常运行\n");
    
    return 0;
}

运行后果？程序直接崩溃，终端输出类似以下信息：

assert: test.c:7: main: Assertion 'a > 20' failed.
Aborted (core dumped)

关键信息一目了然：

• 出错文件：test.c
• 出错行号：第7行
• 失败条件：a > 20

调试效率极高。

二、核心特性（必知）

1. assert 是宏，不是函数

这是学习和使用 assert 必须深深刻在脑子里的本质。它由预处理器定义，而非标准库函数。正因为是宏，它的行为与函数有显著差异——最典型的就是能在编译期被整体“关闭”。

2. 调试模式生效，发布版自动失效

在代码最前方定义宏 NDEBUG，所有 assert 将被编译器完全忽略，不生成任何目标代码：

// 定义 NDEBUG 后，assert 全部失效
#define NDEBUG
#include 

该特性极具实用价值：

• 开发调试阶段，用 assert 快速揪出逻辑漏洞。
• 上线发布时，加一行 #define NDEBUG，零性能损耗，也不存在断言失败带来的崩溃风险。

3. 断言失败直接终止程序

注意，assert 不会尝试优雅地报错或恢复，而是直接 abort。因此两条核心使用原则：

• 绝对不要用它处理用户输入错误（如负数等可预见的场景）。
• 只应检查内部逻辑错误、程序员的疏忽，比如空指针、数组越界、非法参数。

三、实际开发常用场景

场景1：检查指针不能为空

void func(int* ptr) {
    // 断言：ptr 绝不能是 NULL
    assert(ptr != NULL);
    *ptr = 100;
}

若有人传入了空指针，assert 会立即报告错误，而非等到程序莫名 segfault 时才费力排查。

场景2：检查函数参数合法性

// 年龄必须在 0~150 之间
void set_age(int age) {
    assert(age >= 0 && age <= 150);
}

场景3：检查数组/索引不越界

int arr[5];

void set_arr(int index, int val) {
    assert(index >= 0 && index < 5);
    arr[index] = val;
}

四、assert 优缺点

优点

1. 快速定位 bug，精确输出出错文件和行号。
2. 语法极简，零学习成本。
3. 发布版可一键关闭，不影响运行时性能。
4. 有助于提前暴露隐藏的深层逻辑错误。

缺点

1. 失败后直接终止，无法用于业务异常处理。
2. 生产环境失效，无法用于线上实时监控。

五、重要注意事项

1. 不要在 assert 里写业务代码

一个典型错误：

// 危险！关闭 assert 后，i++ 不会执行！
assert(i++ < 10);

正确做法是将检查条件与业务逻辑分离：

assert(i < 10);
i++;

2. 不要用它处理用户可预见的错误

例如用户输入负数、文件不存在等场景，应用 if 判断加错误提示来处理，而非 assert。

3. 先定义 NDEBUG，再包含 assert.h

顺序至关重要，搞反则 assert 不会被禁用：

// 正确
#define NDEBUG
#include 

// 错误
#include 
#define NDEBUG

六、总结（速记版）

1. assert 是调试宏，使用前需 #include 。
2. 用法：assert(条件)，条件为假时程序终止并输出错误详情。
3. 定义 NDEBUG 后所有 assert 自动失效，这是发布版的标准操作。
4. 用途：检查内部逻辑错误，不处理用户输入或业务异常。
5. 禁忌：不要在 assert 内写带副作用的代码，如 i++。

来源：互联网