C 库宏 - assert()

描述

C 库宏 void assert(int expression) 允许诊断信息被写入到标准错误文件中，换句话说，它可用于在 C 程序中添加诊断。

assert() 是 C 标准库中的一个宏，定义在 <assert.h> 头文件中。它用于在程序运行时检查某个表达式是否为真。如果该表达式为假，assert() 宏会输出错误信息并终止程序的执行。

assert() 对于调试和测试非常有用。

assert() 是一个强大的工具，帮助开发人员在程序运行时检查条件并在条件不满足时提供详细的错误信息。

声明

下面是 assert() 宏的声明：

#include <assert.h>
assert(expression);

参数

expression -- 你希望检查的一个条件表达式，这可以是一个变量或任何 C 表达式。如果 expression 为 TRUE，assert() 不执行任何动作。如果 expression 为 FALSE，assert() 会在标准错误 stderr 上显示错误消息，并中止程序执行。

如果 expression 的值为假（0），assert() 会输出一条包含以下信息的错误消息：

触发断言失败的表达式的文本表示
源文件名
行号
函数名（如果可用）

然后程序调用 abort() 函数终止执行。

返回值

这个宏不返回任何值。

实例

下面的实例演示了 assert() 宏的用法。

实例

#include <assert.h> #include <stdio.h> int main() { int a; char str[50]; printf("请输入一个整数值： "); scanf("%d", &a); assert(a >= 10); printf("输入的整数是： %d\n", a); printf("请输入字符串： "); scanf("%s", str); assert(str != NULL); printf("输入的字符串是： %s\n", str); return(0); }

让我们在交互模式下编译并运行上面的程序，如下所示：

请输入一个整数值： 11
输入的整数是： 11
请输入字符串： runoob 
输入的字符串是： runoob

禁用断言

在发布版本中，你可能希望禁用断言以提高性能。可以通过定义 NDEBUG 来实现：

#define NDEBUG
#include <assert.h>

一旦定义了 NDEBUG，所有的 assert() 宏将被预处理为一个空语句，不会进行任何检查。

使用建议

调试：在开发和调试阶段，使用 assert() 可以帮助你尽早发现逻辑错误。
文档：通过 assert() 可以清晰地表达程序员对代码的假设和期望，这对于代码维护和阅读非常有帮助。
防御性编程：虽然 assert() 不应该用于处理可以预期的运行时错误，但它是捕获编程错误的有效手段。

注意事项

性能：在性能关键的代码中，断言可能会增加额外的开销，因此通常在发布版本中禁用。
错误处理：assert() 不应该用于处理预期的错误情况，而应该用于捕获程序员错误。

C 标准库 - <assert.h>