当前位置：首页 > news >正文

什么是断言？

news 2026/5/5 15:46:10

断言（Assertion）是编程中一种常用的调试和防御性手段，用于在程序运行时检查某个条件是否成立。如果条件不成立（为假），则程序会触发一个错误（通常停止执行或输出错误信息），提醒开发者代码的逻辑出现了预期之外的情况。

零、断言的典型应用场景

参数校验：在函数开始时检查输入参数是否满足前置条件

def divide(a, b): assert b != 0, "除数不能为零" return a / b

中间状态验证：在复杂计算过程中验证中间结果

public int factorial(int n) { int result = 1; for (int i = 1; i <= n; i++) { result *= i; assert result > 0 : "阶乘结果溢出"; } return result; }

不变式检查：验证对象在方法调用前后保持某些特性

class Stack { private: int size; public: void push(int value) { // ... 压栈操作 assert(size >= 0 && size <= MAX_SIZE); } };

不同语言中的断言实现：

用于调试而非错误处理：断言应该用于捕捉程序逻辑错误，而不是处理预期的异常情况
避免副作用：断言表达式不应该改变程序状态

# 错误示范 assert update_database(), "数据库更新失败"

生产环境考虑：大多数语言的断言在发布版本中会被禁用，重要检查应该使用显式的错误处理
信息性消息：提供有意义的错误信息帮助调试

assert len(items) > 0, f"空列表items，当前上下文：{context}"

在大型项目中，合理使用断言可以显著提高代码的健壮性，帮助开发者在早期发现潜在问题。

在 C 语言中，标准断言由<assert.h>提供：

#include <assert.h> assert( x > 0 ); // 如果 x <= 0，程序会崩溃并打印错误位置

在 FreeRTOS 中，它没有直接使用标准assert，而是定义了一个可定制的宏configASSERT()，让开发者可以自己实现断言行为（例如点亮 LED、串口打印、死循环等）：

#ifndef configASSERT #define configASSERT( x ) /* 默认为空 */ #endif

捕捉程序逻辑错误：在应该满足某个条件的地方检查，如果不满足，说明代码有 bug。
防止非法操作传播：在函数入口或关键操作前检查参数、状态，避免后续产生更严重的问题（如内存越界、空指针解引用）。
文档化隐含约束：断言明确告诉阅读代码的人：“到这里，x 必须大于 0”。

例如我另一篇关于信号量的博客中提到的一个断言：

configASSERT( !( ( pvBuffer == NULL ) && ( pxQueue->uxItemSize != 0U ) ) );

这一行断言的含义是：

不允许出现“缓冲区指针为空且队列元素大小不为 0”的情况。

如果违反了这条规则，说明开发者错误地对一个普通数据队列（uxItemSize != 0）执行了“接收但不提供缓冲区”的操作（这会导致数据丢失或内存错误）。
而对信号量（uxItemSize == 0）执行take操作时，pvBuffer == NULL是合法的，断言通过。