C 标准库 - ＜assert.h＞

C 标准库 - <assert.h>

概述

<assert.h> 是 C 语言标准库中的一个头文件，它提供了一种用于调试程序的工具——断言（assertion）。断言是一种在程序运行时检查条件是否为真的机制，如果条件为假，则程序会终止执行。这种机制通常用于在开发过程中发现和修正逻辑错误，确保程序的正确性。

使用断言

在 C 程序中，要使用 <assert.h> 头文件提供的断言功能，首先需要在源文件中包含该头文件：

#include <assert.h>

然后，可以使用 assert 宏来检查一个条件是否为真。assert 宏的定义如下：

void assert(scalar expression);

其中 expression 是一个标量表达式（即可以转换为 int 类型的表达式）。如果 expression 的值为真（非零），则 assert 什么都不做，程序继续执行。如果 expression 的值为假（零），则 assert 会调用 abort 函数，终止程序的执行，并通常会在标准错误输出上打印一条错误消息，包括表达式、源文件名和行号。

示例