在 C 语言中，assert 是一个预处理宏，用于在开发过程中帮助检测程序中的错误条件。它定义在 <assert.h> 头文件中。assert 的主要用途是在调试阶段检测程序中的假设条件是否成立，从而帮助开发者快速定位和修复错误。

assert 的基本用法

assert 的语法如下：

1assert(expression);

这里的 expression 是一个布尔表达式（即结果为 true 或 false 的表达式）。如果 expression 的值为假（0），assert 会触发断言失败，并输出一条错误消息，通常还会终止程序的执行。

示例代码

下面是一个简单的示例，展示了如何使用 assert 来检查一个函数的输入参数是否有效。

1#include <stdio.h>2#include <assert.h>34int divide(int numerator, int denominator) {5 assert(denominator != 0); // 断言分母不为 06 return numerator / denominator;7}89int main() {10 int result = divide(10, 2);11 printf("Result: %d\n", result);1213 // 下面的调用会导致断言失败14 result = divide(10, 0);15 printf("Result: %d\n", result);1617 return 0;18}

在这个示例中，如果 divide 函数的第二个参数（denominator）为 0，assert 将会失败并输出错误消息。这有助于开发者在开发阶段尽早发现此类错误。

assert 的行为调试模式：在调试版本的程序中，assert 通常会被编译器保留，这意味着它会在程序运行时检查条件。发布模式：在发布版本的程序中，assert 通常会被忽略或移除，以减少程序的大小和提高性能。这可以通过定义 NDEBUG 宏来实现。assert 的输出

当 assert 失败时，它会输出一个错误消息，通常包括以下信息：

断言失败的表达式的值。断言失败所在的源文件名。断言失败所在的行号。

例如，如果上面的示例中 divide(10, 0) 被调用，输出可能类似于：

Assertion failed: (denominator != 0), file example.c, line 7使用注意事项assert 主要用于调试目的，不应该用于处理程序运行时可能出现的正常错误情况。在生产环境中，应该使用错误处理机制而不是 assert，以确保程序能够优雅地处理错误。使用 assert 时要确保程序能够在断言失败的情况下正常退出，否则可能会导致程序崩溃或不稳定。

通过使用 assert，开发者可以在早期阶段发现和修复潜在的问题，从而提高程序的稳定性和可靠性。