32、Linux编程：调试工具与进程管理全解析

Linux编程：调试工具与进程管理全解析

1. 断言（Assertions）

在程序开发过程中，引入调试代码（如 printf 调用）是很常见的，可能会通过条件编译来实现。然而，在交付系统中保留这些消息有时并不实际。但在程序运行时，常常会出现与错误假设而非编码错误相关的问题，也就是那些“不可能发生”的事件。

1.1 assert宏

X/Open提供了 assert 宏，用于测试假设是否正确，如果不正确则终止程序。其定义如下：

#include <assert.h>
void assert(int expression)

assert 宏会计算表达式的值，如果为非零，则将一些诊断信息写入标准错误，并调用 abort 结束程序。而 assert.h 头文件会根据 NDEBUG 的定义来定义该宏。如果在处理头文件时定义了 NDEBUG ， assert 将被定义为空。这意味着可以在编译时通过 -DNDEBUG 或者在包含 assert.h 之前在每个源文件中添加 #define NDEBUG 来关闭断言。

1.2 使用示例

以下是一个使用 assert 的示例程序