编辑“︁C 语言防御性编程”︁（章节）

== 断言（Assert） ==  
断言是一种调试工具，用于捕获程序中的逻辑错误。在发布版本中通常会被禁用（通过`NDEBUG`宏定义）。  

<syntaxhighlight lang="c">  
#include <assert.h>  
#include <stdio.h>  

int divide(int a, int b) {  
    assert(b != 0); // 断言：除数不能为0  
    return a / b;  
}  

int main() {  
    printf("%d\n", divide(10, 2)); // 正常输出  
    printf("%d\n", divide(10, 0)); // 触发断言失败  
    return 0;  
}  
</syntaxhighlight>  

'''输出示例：'''  
<pre>  
5  
Assertion failed: b != 0, file example.c, line 5  
</pre>  

=== 注意事项 ===  
* 断言仅用于调试，不应替代运行时错误处理。  
* 在发布版本中禁用断言（编译时添加`-DNDEBUG`）。