ASSERT（断言函数）

功能说明

ASSERT 用于检查布尔条件是否成立。条件 cond 为 TRUE 时断言通过；条件为 FALSE 时触发断言异常，用于报告程序假设或运行条件不成立。

该函数没有返回值，也不带自动生成的 ENO 输出。若需要在失败时附带可读的说明文字，请使用 ASSERT_MSG。

输入参数

名称	类型	描述
cond	BOOL	要检查的布尔条件；预期为 TRUE。

输出参数

无。

使用说明

在 ST 程序中调用 ASSERT 并传入要验证的条件：

ASSERT(temperature <= limit);

条件不满足时会触发断言异常。断言适合检查程序预期和运行约束；请勿将它当作普通的条件分支或错误恢复逻辑。