【博客37】合理使用assert，避免出现 “你意向不到的结果“

assert断言的正确使用
最新推荐文章于 2023-03-01 16:00:45 发布
原创 最新推荐文章于 2023-03-01 16:00:45 发布 · 610 阅读 · 0 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#C #C++

本文探讨了assert断言在程序调试中的作用及潜在风险，强调了将其作为核心逻辑判断的不妥之处，并建议非法输入和边界判断应成为程序的一部分。

内容： 今天记录一下assert断言，它可以用来检测一些不合理的情况，它会停掉程序，打印错误信息，在调试的时候会挺好用的，但是如果把它当做你程序的核心判断来依赖它，则有些时候是不妥的，因为程序的逻辑判断一定需要，但是assert不是永远都发挥作用的。

情况一：使用assert
在这里插入图片描述
在这里插入图片描述
分析：当我需要打印地址的时候，我可以使用一个assert来过滤当输入是空指针的情况。这时候如果传入是空指针，那么assert会触发，停掉程序，打印出错信息。

情况二：同样的例子，但是由于我已经测试完毕，所以关掉DEBUG，因为我已经调试完了，打算关掉之前为了测试而加入的assert，这时候问题就出现了

在这里插入图片描述
在这里插入图片描述
分析：由于NDEBUG使得assert不生效，所以你的程序少了逻辑判断，对错误的输入没有采取其他有效措施，而是打印出了错误的信息。这是你不愿意看到的。但是这是有可能发生的，因为当有多个函数你在测试，你有时忘记了某个函数的非法输入判断是由assert来作的，关掉后不生效，你需要补上判断语句才能像以前正常工作。

建议： 非法输入和边界判断尽量的判断需要成为程序的一部分，而不是用assert这种有时生效有时不生效的机制来判断。因为assert可能被预处理过程清除，当使用这个宏的时候必须确信条件表达式不存在副作用

万字详解：分布式计算系统 OLAP 引擎添加事务管理功能技术方案原理和源代码实现详细指南
AI天才研究院
03-29 197
为分布式OLAP引擎添加事务管理功能是一个复杂的系统工程，需要权衡一致性、可用性和性能。两阶段锁协议用于写密集型操作MVCC用于读密集型分析查询快照隔离保证分析查询的一致性乐观并发控制优化批量加载性能与流处理引擎的集成，实现近实时分析自适应事务协议，根据工作负载动态调整硬件加速的事务处理（如使用RDMA、持久内存）通过合理的事务管理实现，OLAP引擎能够在保持高性能分析能力的同时，提供更强的一致性保证，满足现代数据应用的需求。
淘宝面试常见问题的答案来了，你看了吗？（一面及答案）
mzl_sx的博客
10-15 1706
1、redis sds优缺点、扩容收缩、扩容因子 SDS （简单动态字符串）是什么 其实，SDS 是 Redis 中实现的一种数据结构，主要用来存储字符串。 1、那 SDS 与 C 字符串相比有什么优势呢？ 1.1、常数复杂度获取字符串长度 常规 C 字符串并不记录自身的长度信息，所以为了获取一个 C 字符串的长度，程序必须遍历整个字符串，对遇到的每个字符进行计数，直到遇到代表字符串结尾的空字符为止，这个操作的复杂度为 O(N)。 而 SDS 使用结构体实现，结构体中的 len 属性直接记录
28 | 如何合理利用assert？
yanyiting666的博客
07-29 275
1.什么是assert? 在python中assert是debug的一个好工具，主要用于测试一个条件是否满足，如果满足则什么也不做，相当于执行了pass语句，如果测试条件不满足，便会抛出异常AssertionError，并返回具体的错误信息。 具体用法： assert_stmt ::= "assert" expression ["," expression] 简单形式asser...
Java中的断言-Assert
qq_36090537的博客
03-01 741
断言主要使用在代码开发和测试时期，用于对某些关键数据的判断，如果这个关键数据不是你程序所预期的数据，程序就提出警告或退出。
ASSERT: "false" in file qasciikey.cpp, line 495
weixin_42687602的博客
05-08 584
linux跑yolo_deepsort中途停止解决办法-待解决--ASSERT: "false" in file qasciikey.cpp, line 501 Aborted (core dump）
miracleoa的博客
10-11 2256
文章目录一、错误源码二、解决办法 一、错误源码 ASSERT: "false" in file qasciikey.cpp, line 501 Aborted (core dumped) 错误时的截图 二、解决办法
C语言中的assert
荪荪的博客
05-10 1970
assert宏的原型定义在中，其作用是如果它的条件返回错误，则终止程序执行。 库函数： assert.h 原型定义： void assert( int expression ); assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。 例程： #include #in
项目策划到执行：华为IPD阶段二至五的核心策略及实践
华为的集成产品开发（IPD）是一套系统化的理论框架，旨在通过跨功能团队合作，强化产品从策划到上市的全过程。本论文详细探讨了华为IPD理论框架下的各阶段核心策略与实践方法，包括项目策划阶段的市场调研、目标设定...
测试基础知识
m0_67863660的博客
06-23 1648
软件测试基础知识
Java面试题答案（正在完成中......）
KianaKsln的博客
11-04 491
文章目录JAVA基础集合JVMWEB并发编程网络编程SpringSpringBootMybatisMySQLRedisSpring Cloud分布式消息队列ZookeeperDubbogit开源框架知识 JAVA基础 面向对象有哪些特征？ JDK与JRE的区别是什么？ Java有哪几种基本数据类型？ == 和equals比较有什么区别？ public，private，protected，默认的区别什么？ short s1=1; s1+=1;有错吗？ s1=s1+1; 有错吗？ float f = 1.9;
Java陷阱之assert关键字（转载）
xiaojinglijz的博客
10-14 164
一、概述 在C和C++语言中都有assert关键，表示断言。 在Java中，同样也有assert关键字，表示断言，用法和含义都差不多。 二、语法 在Java中，assert关键字是从JAVA SE 1.4 引入的，为了避免和老版本的Java代码中使用了assert关键字导致错误，Java在执行的时候默认是不启动断言检查的（这个时候，所有的断言语句都将忽略！），如果要...
Qt-QML-Charts-ChartView-编译错误-ASSERT: “!“No style available without QApplication!
DreamLife
04-25 4171
昨天本来是回家想好好琢磨一下使用Chart来绘制曲线的，奈何在建立项目的时候也就卡住了，加上心情比较烦躁，也没有耐心寻找答案就草草了事。所以今天继续搞定这个。 上图是Qt 的编译错误截图 QML debugging is enabled. Only use this in a safe environment. IGIESW d:\workspace\build-chareviewcu
idea中使“断言（assert）” 关键字生效
cxrlover的博客
08-11 762
使断言关键字生效，需要使用 -ea 指令 在需要的文件类型中的 VM options 选项中填写指令 -ea 即可。 application表示的是Java文件。 注意 但是需要注意： 如果已经运行过的文件，且没有设置这个参数，再次运行时是不会加上这个参数的。 也就是这里的文件，如果在配置前就有了一些文件，那么这些文件再次运行是不会有这个参数的，也就是“断言assert”关键字仍然是不生效的。 解决办法： 手动加上 删掉他们，需要的时候重新运行。 ...
java使用assert断言时不起作用的解决办法
XiufengWu的博客
09-27 1万+
因为java的断言是默认关闭的，需要先开启。 run -> Edit configurations, Configuration -> VM options, 在文本框中输入“-ea”， 点击OK即可。 再次运行，发现assert报错。
Python 脚本运行时Segmentation fault (core dumped)
热门推荐
chijiaodaxie的博客
02-25 27万+
问题如题描述，python 运行过程中直接导致python 解释器崩溃（不是异常，直接崩溃），下面简叙一下debug过程： google查询结果显示这种情况多数是因为Python里的C扩展导致（访问了非法内存区域，可能和C自身内存管理机制有关），而且可以用gdb进行debug（因为Python崩溃，没法用python自身的debug机制，定位到出错的位置），gdb就输出一个出错的内存地址，楼主没想深
assert找不到标识符
最新发布
03-04
<think>好的，我现在需要帮助用户解决“assert找不到标识符”的问题。首先，我得理解用户遇到的错误具体是什么情况。根据用户之前的问题，他们在使用C++时遇到了图片画幅修改导致的崩溃，现在又遇到了assert找不到标识符的错误。这可能是在调试或编写代码时出现的编译错误。 首先，我应该回忆一下C++中assert的用法。assert是C标准库中的一个宏，定义在<cassert>或<assert.h>头文件中。如果用户没有包含这个头文件，编译器就会报错“找不到标识符”，因为assert没有被定义。所以第一个可能的原因是用户忘记包含<cassert>。 接下来，用户可能使用了不同的命名空间。比如，有些代码可能会使用using namespace std;，但assert属于标准库，通常不需要命名空间，不过如果用户错误地认为assert在某个命名空间里，也可能导致问题。不过这种情况比较少见，因为assert是宏，不受命名空间影响，所以这个可能性较低，但还是要提一下。 另一个可能性是用户自己定义了名为assert的宏或其他标识符，导致冲突。例如，用户可能用#define assert something，这样原生的assert就被覆盖了，编译器找不到正确的定义。这时候需要检查代码中是否有这样的定义，并建议避免使用与标准库冲突的名称。 还有，用户可能拼写错误，比如把assert写成了assret或asset，这种情况下编译器当然会报错。需要提醒用户检查拼写是否正确。 另外，编译器或环境配置的问题也可能导致头文件路径不正确，无法找到<cassert>。例如，项目设置中可能没有正确包含标准库路径，或者使用的是非标准的编译器，导致头文件缺失。这时候需要检查编译环境是否正常，特别是如果用户在使用一些嵌入式系统或特殊环境时可能出现这种情况。 C++版本的问题也不容忽视。虽然assert在C++中一直存在，但某些特殊的编译模式或编译器扩展可能会影响其可用性。比如，在发布模式下，如果定义了NDEBUG宏，assert会被禁用，但不会导致编译错误。不过用户的问题是在编译时报错，所以更可能是头文件未包含或拼写错误。 接下来，我应该分步骤解释这些可能的原因，并提供相应的解决方案。例如，首先检查是否包含了<cassert>，然后检查拼写，再查看是否有命名冲突，最后考虑环境问题。同时，给出示例代码说明正确的使用方法，以及如何避免常见错误。 还要考虑用户可能的其他情况。例如，用户是否在头文件中使用了assert而没有包含<cassert>，或者在多个文件中使用但只在某些文件中包含了头文件。此外，用户可能在项目中使用了一些框架或库，这些框架可能对assert有特殊的处理，导致问题。 最后，需要确保回答清晰易懂，步骤明确，帮助用户逐步排查问题。同时，提醒用户使用编译器提供的错误信息来定位问题，比如错误发生的行号和具体信息，这有助于更快找到原因。</think>在C++编程中遇到`assert`标识符找不到的编译错误，通常由以下几个原因导致。以下是详细的排查步骤和解决方案： --- ### 一、常见原因分析 #### 1. **未包含头文件** ```cpp // 错误示例：未包含头文件直接使用assert int main() { assert(1 == 1); // ❌ 编译错误：'assert'未声明 return 0; } ``` **解决方法**： ```cpp #include <cassert> // 必须包含标准库头文件 int main() { assert(1 == 1); // ✅ 正确用法 return 0; } ``` #### 2. **命名空间污染** ```cpp namespace MyLib { // 错误：在自定义命名空间中错误声明assert void assert(bool condition) { /*...*/ } } int main() { MyLib::assert(true); // 用户误用自定义assert ::assert(true); // ✅ 正确访问全局assert return 0; } ``` **解决方法**： - 避免自定义与标准库同名的标识符 - 使用`::assert(...)`显式指定全局命名空间 #### 3. **预处理器宏冲突** ```cpp #define assert(cond) my_debug(cond) // ❌ 覆盖标准assert int main() { assert(1 == 1); // 此处实际调用my_debug() return 0; } ``` **解决方法**： - 检查代码中是否有`#define assert`的定义 - 使用`#undef assert`取消定义（不推荐） - 重命名自定义调试宏（如`MY_ASSERT`） --- ### 二、特殊场景分析 #### 1. **跨平台编译问题** ```cpp // Windows平台可能需要附加配置 #ifdef _WIN32 #include <Windows.h> // 某些情况下需要包含此头文件 #endif ``` #### 2. **构建系统配置错误** ```makefile # CMakeLists.txt错误配置示例 target_include_directories(MyApp PRIVATE /usr/local/include # 可能遗漏标准库路径 ) ``` **正确配置**： ```cmake target_include_directories(MyApp PRIVATE ${CMAKE_CXX_STANDARD_INCLUDE_DIRECTORIES} ) ``` --- ### 三、调试技巧 #### 1. 查看宏展开 ```bash g++ -E main.cpp | grep -A 3 assert # 查看预处理结果 ``` 输出示例： ```cpp # 3 "main.cpp" # 1 "<built-in>" # 1 "<command-line>" # 1 "/usr/include/c++/9/cassert" 1 3 # 40 "/usr/include/c++/9/cassert" 3 # 1 "/usr/include/assert.h" 1 3 ``` #### 2. 检查编译器标准 ```bash g++ -dM -E - < /dev/null | grep __cplusplus # 输出：__cplusplus 201703L (表示C++17) ``` 确保编译命令包含`-std=c++11`或更高标准： ```bash g++ -std=c++17 main.cpp ``` --- ### 四、替代方案 ```cpp // 自定义安全断言（避免依赖标准库） template<typename T> void my_assert(T expr, const char* msg = "Assertion failed") { if constexpr (DEBUG_MODE) { // C++17编译时判断 if (!static_cast<bool>(expr)) { std::cerr << msg << std::endl; std::abort(); } } } // 使用示例 my_assert(ptr != nullptr, "Null pointer detected"); ``` --- ### 五、典型错误信息解析 | 编译器 | 错误信息示例 | 关键线索 | |--------|--------------|----------| | GCC | `error: 'assert' was not declared in this scope` | 头文件缺失或宏覆盖 | | Clang | `use of undeclared identifier 'assert'` | 作用域访问错误 | | MSVC | `C3861: 'assert': identifier not found` | 项目配置问题 | --- 通过系统性地检查头文件包含、命名空间、宏定义和构建配置，可以有效解决`assert`标识符找不到的问题。建议使用现代C++的`static_assert`进行编译期断言，或在调试时配合IDE的代码导航功能（如VS Code的`Go to Definition`）验证符号定义。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值