关于ASSERT(断言)的作用

STM32断言assert详解
最新推荐文章于 2023-10-18 11:54:02 发布
原创 最新推荐文章于 2023-10-18 11:54:02 发布 · 238 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文详细介绍了STM32中assert_param宏的作用及其在Debug和Release版本的区别。assert_param用于检测函数参数的有效性，帮助开发者在调试阶段快速定位错误。在Release版本中，assert_param不会影响程序效率。

　　程序一般分为Debug 版本和Release 版本，Debug 版本用于内部调试，Release 版本发行给用户使用。断言assert 是仅在Debug 版本起作用的宏，它用于检查“不应该”发生的情况。在运行过程中，如果assert 的参数为假，那么程序就会中止（一般地还会出现提示对话，说明在什么地方引发了assert）。

　　在STM32的固件库和提供的例程中，到处都可以见到assert_param()的使用。如果打开任何一个例程中的stm32f10x_conf.h文件，就可以看到实际上assert_param是一个宏定义；在固件库中，它的作用就是检测传递给函数的参数是否是有效的参数。

　　所谓有效的参数是指满足规定范围的参数，比如某个参数的取值范围只能是小于3的正整数，如果给出的参数大于3，则这个assert_param()可以在运行的程序调用到这个函数时报告错误，使程序员可以及时发现错误，而不必等到程序运行结果的错误而大费周折。

　　这是一种常见的软件技术，可以在调试阶段帮助程序员快速地排除那些明显的错误。它确实在程序的运行上牺牲了效率(但只是在调试阶段)，但在项目的开发上却帮助你提高了效率。

　　当你的项目开发成功，使用release模式编译之后，或在stm32f10x_conf.h文件中注释掉对USE_FULL_ASSERT的宏定义，所有的assert_param()检验都消失了，不会影响最终程序的运行效率。

　　在执行assert_param()的检验时，如果发现参数出错，它会调用函数assert_failed()向程序员报告错误，在任何一个例程中的main.c中都有这个函数的模板，如下：

 

void assert_failed(uint8_t* file, uint32_t line)
{
/* User can add his own implementation to report the file name and line number,
ex: printf("Wrong parameters value: file %s on line %d\r\n", file, line) */
     while (1)
     {
     }

}

　　你可以按照自己使用的环境需求，添加适当的语句输出错误的信息提示，或修改这个函数做出适当的错误处理。

【C语言】assert() 断言的作用
程序员「阿基米东」的编程之旅
12-31 9272
assert 是宏，而不是函数。它的原型定义在头文件 assert.h 中： void assert( int expression ); 宏 assert 经常用于在函数开始处检验传入参数的合法性，可以将其看作是异常处理的一种高级形式。assert 的作用是 先计算表达式 expression，然后判断： 如果表达式值为假，那么它先向 stderr 打印错误信息，然后通过调用 abort 来终止程序运行。 如果表达式值为真，继续运行后面的程序。 注意：assert 只在 DEBUG 下生效，在调试结
pytest之assert断言
lc_buzhidao的博客
03-29 1万+
背景 本文总结使用pytest编写自动化测试时常用的assert断言。 说明 本文将从以下几点做总结： 为测试结果作断言 为断言不通过的结果添加说明信息 为预期异常作断言 为失败断言自定义说明信息 为测试结果作断言 在断言方面，pytest框架比其他类似的框架（比如unittest）更加简洁，易用，我想这是我选择pytest作为自动化测试框架之一的原因之一。 pytest的assert断言关键...
ASSERT(断言)的作用
游走的鱼
05-27 3559
程序一般分为Debug 版本和Release 版本，Debug 版本用于内部调试，Release 版本发行给用户使用。断言assert 是仅在Debug 版本起作用的宏，它用于检查“不应该”发生的情况。在运行过程中，如果assert 的参数为假，那么程序就会中止（一般地还会出现提示对话，说明在什么地方引发了assert）。      assert宏的原型定义在中，其作用是如果它的条件返回错误，则
断言assert 的作用
zhouchao001的博客
08-02 1万+
1、断言assert 是仅在Debug 版本起作用的宏，它用于检查“不应该”发生的情况； 2、以下是使用断言的几个原则：  　　  　　（1）使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别，后者是必然存在的并且是一定要作出处理的。  　　  　　（2）使用断言对函数的参数进行确认。  　　  　　（3）在编写函数时，要进行反复的考查，并且自问：“我打算做哪些假
断言（assert）及其作用
热门推荐
Fan
08-20 3万+
文章目录断言（assert）及其作用为什么断言只用于测试阶段关于断言你需要注意的事 断言（assert）及其作用 断言是一种除错机制，**用于验证代码是否符合编码人员的预期**。编码人员在开发期间应该对函数的参数、代码中间执行结果合理地使用断言机制，确保程序的缺陷尽量**在测试阶段**被发现。 也就是说，断言assert函数只能在测试阶段用，不能再release版本使用。那么我们可以用什么方法实...
assert——断言的作用与使用方法
weixin_45854148的博客
09-13 540
assert——断言不仅是函数而且是宏，它参数表达式比较等于零(即表达式为假)，则向标准错误设备写入一条消息，并调用abort，终止程序执行。指针b指向a,将a的地址传给函数printf_number,mynumber得到a的地址,mynumber不为空指针，assert的参数为真，则执行程序，打印出10。显示信息的细节取决于特定的库实现，但它至少应该包括:断言失败的表达式、源文件的名称以及发生错误的行号。指针c为空指针，空指针传给mynumber，导致assert的参数为假，则程序停止执行。
assert断言的用法
Marianas Trench
08-07 470
简介 #include <assert.h> void assert(int expression); /* 功能： 先计算表达式expression，如果其值为假（0），那么它先向stderr打印一条出错信息， 然后通过调用abort来终止程序运行 */ 频繁的调用会极大的影响程序的性能，增加额外的开销。在调试结束后，可以通过在包...
python3 assert 断言的使用详解 (区别于python2)
09-18
下面将详细解释Python 3中的`assert`断言以及它与Python 2的区别。 ### Python 3中的`assert`语句 `assert`语句的基本语法是： ```python assert 条件, "错误信息" ``` 这里，`条件`是你期望为真的表达式，如果...
Python3 assert断言实现原理解析
09-17
### Python3 assert断言实现原理 在Python编程中，`assert`语句是一种非常有用的调试工具，它可以在开发阶段帮助开发者发现程序中的错误，并提供反馈。`assert`语句的基本用法是：如果指定的表达式计算结果为`False...
83.assert断言.pdf
01-24
断言（assert）是C语言中用于程序调试的一种机制，它允许开发者在代码中设置检查点，以确保程序的某些条件在特定时刻为真。断言的使用通常涉及包含一个名为assert.h的头文件，这个文件定义了assert宏，其工作原理是...
断言（Assert）使用、原理以及注意事项详解
weixin_57208584的博客
10-18 5339
NDEBUG：控制assert是否生效， 在调试结束后#define NDEBUG 来禁用 assert 调用。例如：#include//相当于NDEBUG对assert起到如下作用#else...DEBUG：代表在测试阶段，可以这样定义宏以控制assert使用#define DEBUG // release 版本注释掉即可，测试版本定义#else#endif。
assert断言的概念
zrh_优快云的博客
05-07 748
assert用于在程序的DEBUG版本中检测条件表达式。如果条件为假，则输出诊断信息并终止程序运行。由于assert是一个宏，对其过于频繁的使用会在一定程度上影响程序的性能，增加额外的开销。一个良好的编程习惯是在调试结束后，在#include语句之前插入#define NDEBUG禁用assert宏。...
断言(assert)的用法
m0_46332166的博客
10-01 7130
我一直以为 assert 仅仅是个报错函数，事实上，它居然是个宏，并且作用并非"报错"。 在经过对其进行一定了解之后，对其作用及用法有了一定的了解，assert() 的用法像是一种"契约式编程"，在我的理解中，其表达的意思就是，程序在我的假设条件下，能够正常良好的运作，其实就相当于一个 if 语句： if(假设成立) { 程序正常运行； } else { 报错&&终止程序！（避免由程序运行引起更大的错误） } 但是这样写的话，就会有无数个 if 语句，甚至会出现，
assert的作用
太白紫星的博客
06-15 1439
assert这个关键字我们称之为“断言”，当这个关键字后边的条件为假的时候，程序自动崩溃并抛出AssertionError的异常。什么情况下我们会需要这样的代码呢？当我们在测试程序的时候就很好用，因为与其让错误的条件导致程序今后莫名其妙地崩溃，不如在错误条件出现的那一瞬间我们实现“自爆”。一般来说我们可以用Ta再程序中置入检查点，当需要确保程序中的某个条件一定为真才能让程序正常工作的话，asser...
01 java断言assert初步使用：断言开启、断言使用
weixin_30767835的博客
08-20 393
参考文件:http://blog.sina.com.cn/s/blog_59c9412d0100fd55.html 1 说明 　　java断言assert是jdk1.4引入的。 　　jvm断言默认是关闭的。 　　断言可以局部开启的，如：父类禁止断言，而子类开启断言，所以一般说“断言不具有继承性”。 　　断言只适用复杂的调式过程。 　　断言一般用于程序执行结构的判断，千万不要让断言处理业...
assert有什么作用
m0_65562481的博客
05-07 2983
断言（assert）作为一种软件调试的方法，提供了一种在代码中进行正确性检查的机制，目前很多开发语言都支持这种机制。它的主要作用是对一个 boolean 表达式进行检查，一个正确运行的程序必须保证这个 boolean 表达式的值为 true，若 boolean 表达式的值为 false，则说明程序已经处于一种不正确的状态下，系统需要提供告警信息并且退出程序。在实际的开发中，assert 主要用来保证程序的正确性，通常在程序开发和测试时使用。为了提高程序运行的效率，在软件发布后，asser...
注意：assert在release版本中仍可生效
讨厌什么,变成什么.
02-07 1万+
assert在程序的release版本中仍然有效（不要与VC中的ASSERT混淆），要使assert失效，只有在包含assert头文件（assert.h）的语句前定义NDEBUG宏或在编译器参数中添加-DNDEBUG参数。********************************************************相关文章转载*************************
ASSERT断言有什么作用
最新发布
04-03
<think>好的，用户想了解ASSERT断言在编程中的作用及用法。首先，我需要回忆一下自己掌握的知识。断言通常用于在代码中检查某些条件是否为真，如果条件不满足，程序会立即终止并报错。这有助于在开发阶段快速发现错误。 根据提供的引用，Java、Python和C/C++都有断言机制。比如在Java中使用assert关键字，可以带或不带错误信息。Python的assert语句如果表达式为假，会抛出AssertionError。C语言中需要包含assert.h头文件，使用assert宏。 接下来需要组织回答结构。先介绍断言的基本作用，比如防御式编程、调试辅助、文档说明。然后分语言说明具体用法，引用提供的例子。要注意用户可能关心不同语言的区别，所以需要分别说明Java、Python和C的用法。 还要注意用户提到的性能问题，比如断言在发布版本可能被禁用，影响性能时需要移除。此外，要强调断言不能替代错误处理，适用于内部检查而非用户输入验证。 可能用户是刚接触断言的开发者，需要明确使用场景和注意事项。需要给出例子，如检查参数有效性、假设验证等。同时，提醒用户不要滥用断言，尤其是在处理外部输入时。 最后生成相关问题，覆盖断言的作用、不同语言用法、禁用情况、与错误处理的区别以及应用场景。确保问题能帮助用户进一步理解知识点。</think>### ASSERT断言的作用及用法解析 #### 一、断言的核心作用 1. **防御式编程** 断言用于验证代码执行时的关键条件是否成立。例如检查函数参数有效性： ```python def divide(a, b): assert b != 0, "除数不能为零" return a / b ``` 当$b=0$时会触发`AssertionError`[^2]。 2. **调试辅助工具** 在C语言中，断言可检测内存越界： ```c int arr[10]; int index = 15; assert(index < 10 && "数组索引越界"); ``` 当索引越界时立即终止程序并输出错误信息[^3]。 3. **代码文档化** 断言可作为"可执行注释"，明确标注开发者的预期条件，例如验证算法中间结果： $$ \text{计算结果} \in [0,100] \quad //\ 使用断言验证值域 $$ #### 二、具体语言实现 | 语言 | 语法示例 | 特性对比 | |--------|-------------------------------|--------------------------| | Java | `assert param != null;` | 需JVM启用`-ea`参数[^1] | | Python | `assert len(data) > 0` | 直接抛出AssertionError | | C/C++ | `assert(pointer != NULL);` | 依赖`NDEBUG`宏控制 | #### 三、使用规范与注意事项 1. **非替代错误处理** 适合验证内部逻辑（如算法前置条件），而非处理用户输入错误： ```java // 正确用法：验证内部状态 assert queue.isEmpty() == (size == 0); // 错误用法：应使用异常处理用户输入 if (input < 0) throw new IllegalArgumentException(); ``` 2. **性能优化建议** 生产环境通常禁用断言（如Java默认关闭），可通过编译选项控制： ```bash # Java启用断言 java -ea MyClass # C++禁用断言 g++ -DNDEBUG mycode.cpp ``` 3. **最佳实践场景** - 验证函数后置条件：`assert is_sorted(result)` - 检测不可达代码路径：`assert false : "不应进入此分支"` - 检查对象状态一致性：`assert balance >= 0`
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值