ASSERT()和assert()的区别是什么(转)

最新推荐文章于 2022-02-21 16:32:12 发布
最新推荐文章于 2022-02-21 16:32:12 发布
阅读量953 收藏
点赞数 1
CC 4.0 BY-SA版权
分类专栏： c++ mfc 文章标签： ASSERT assert 大小写 区别 mfc
原文链接：https://blog.youkuaiyun.com/parfait/article/details/1603517
本文详细解析了ASSERT宏和assert()函数在程序调试中的作用与区别。ASSERT用于检查程序中的非法数据，仅在Debug版本生效；而assert()符合ANSIC标准，可用于Release版本。了解它们的使用场景有助于提高程序的稳定性和调试效率。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

ASSERT()是一个调试程序时经常使用的宏，在程序运行时它计算括号内的表达式，如果表达式为FALSE (0), 程序将报告错误，并终止执行。如果表达式不为0，则继续执行后面的语句。这个宏通常原来判断程序中是否出现了明显非法的数据，如果出现了终止程序以免导致严重后果，同时也便于查找错误。例如，变量n在程序中不应该为0，如果为0可能导致错误，你可以这样写程序： 
...... 
ASSERT( n != 0); 
k = 10/ n; 
...... 
ASSERT只有在Debug版本中才有效，如果编译为Release版本则被忽略。 
assert()的功能类似，它是ANSI C标准中规定的函数，它与ASSERT的一个重要区别是可以用在Release版本中。

转自：https://blog.youkuaiyun.com/baidu_28053127/article/details/45768817

参考：http://www.360doc.com/showweb/0/0/899737251.aspx

CV_Assert和assert的区别
x2017x的博客
12-04 1143
#include <iostream> #include <assert.h> #include <exception> #include "opencv2/highgui.hpp" #include "opencv2/core/core.hpp" int main() { try { assert(1>2); // ...
assert与常用工具类Assert
qq_54640079的博客
05-02 653
1.assert的背景 在jdk1.4引入,是java的一个保留关键字 2.assert是干啥的？ 通常用于检查参数，可以证明程序的正确性。 3.assert关键字 3.1两种表达式 assert expression1; assert expression1:expression2; 例： boolean isSafe = false; assert isSafe==true : "Not safe at all"; assert false; System.out.println("断言通过!");
assert()和ASSERT()
明月夜
07-19 895
前两天看到BBS上在讨论 assert()和ASSERT() 有什么区别，因为我平时也经常用到ASSERT()，对两者的区别还真不清楚，今天查了一下MSDN：The assert routine is available in both the release and debug versions of the C run-time libraries. Two other assertio
assert与if的区别(讲个小故事一下就明白了)
ylwdi的专栏
09-15 6569
记得我好像给小明说过：记住了，assert是在debug模式下才有效，它是一个用于调试的宏，除非你修改系统宏，我想吃饱了没事干才那样做。 今天： 我：小明，这是release版本要上线了，下面这两句代码是你写的？怎么没有if判断呢？   int* p = (int*)malloc(sizeof(int))；    assert(p); 小明：哥，是我写得啊，assert不是也是用来判断的...
vc中ASSERT()和VERIFY()区别
06-09
ASSERT与VERIFY宏在Debug模式下作用基本一致，二者都对表达式的值进行计算，如果值为非0，则什么事也不做；如果值为0，则输出诊断信息。 ASSERT与VERIFY宏在Release模式下效果完全不一样。ASSERT不计算表达式的值，也不会输出诊断信息；VERIFY计算表达式的值，但不管值为0还是非0都不会输出诊断信息。
PPK_ASSERT：PPK_ASSERT是一个跨平台的，自包含的C ++断言库
01-30
PPK_ASSERT库正是为了解决这些问题而设计的，它提供了更多的灵活性和扩展性。 1. **跨平台支持**：PPK_ASSERT库可以在多种操作系统上运行，包括但不限于Windows、Linux、macOS等，这意味着它能适应各种开发环境和...
Java陷阱之assert关键字
01-20
　在C和C++语言中都有assert关键，表示断言。 　在Java中，同样也有assert关键字，表示断言，用法和含义都差不多。 　二、语法 　在Java中，assert关键字是从JAVA SE 1.4 引入的，为了避免和老版本的Java代码中...
assert2-rs:由Catch2启发的Rust的assert！（）和check！（）宏
05-22
为什么使用这些宏？ 这些宏相对于标准库中的断言提供了一些好处： 宏会解析您的表达式以检测比较并相应地调整错误消息。 不再需要assert_eq或assert_ne ，只需编写assert!(1 + 1 == 2) ，甚至assert_ne assert!(1 ...
C++ 中assert()函数用法总结
08-30
assert() 函数是在 C++ 编程语言中用于调试和检查代码的正确性的宏命令。它可以帮助开发者在开发过程中检测代码中的错误，从而提高代码的质量和可靠性。 assert() 函数的原型定义在 <assert.h> 头文件中， 其作用是...
C语言头文件 ASSERT
06-11
C语言头文件 ASSERTC语言头文件 ASSERTC语言头文件 ASSERTC语言头文件 ASSERTC语言头文件 ASSERTC语言头文件 ASSERTC语言头文件 ASSERTC语言头文件 ASSERTC语言头文件 ASSERTC语言头文件 ASSERTC语言头文件 ASSERTC...
BOOST_STATIC_ASSERT和assert的区别
huangjh2017的博客
06-14 1683
1.assert()函数的作用 assert的作用是先计算表达式_Expression，如果其值为假（即为0），那么它会打印出来assert的内容和__FILE__, __LINE__，然后执行abort()函数使kernel杀掉自己并coredump（是否生成coredump文件，取决于系统配置）；否则，assert()无任何作用。宏assert（）一般用于确认程序的正常操作，其中表达式构造无错时才为真值。完成调试后，不必从源代码中删除assert()语句，因为宏NDEBUG有定义时，宏assert()的
断言函数assert()的使用
weixin_33806914的博客
07-13 166
初级理解: ASSERT() 是一个调试程序时经常使用的宏，在程序运行时它计算括号内的表达式，如果表达式为FALSE (0), 程序将报告错误，并终止执行。如果表达式不为0，则继续执行后面的语句。这个宏通常原来判断程序中是否出现了明显非法的数据，如果出现了终止程序以免导致严重后果，同时也便于查找错误。例如，变量n在程序中不应该为0，如果为0可能导致错...
java中if,Exception,以及assert的使用区别
yzj479622672的博客
06-19 2405
1.IF if主要是用来充当某个逻辑判断，是程序的一部分！                           程序一个逻辑部分 2.Exception exception主要是用来预防用户或者程序可以出错的地方做出的一种积极措施，可以让程序出现异常的状况而不至于崩溃                          未知的错误 3.Assert 断言主要是用来处理一些你可能知道出错的地
JAVA中断言assert和断言工具类AssertUtil的用法和逻辑
热门推荐
军大君的博客
03-18 1万+
1.断言assert()的用法和语法 assert(条件语句)，如果条件语句为真，继续往下执行，如果为假就会报错 public static void main(String[] args) { assert(1>0); //该条件为真，可以往下执行 System.out.println("执行成功"); } public static void main(String[] args) { assert(1<0); //该条件
assert()函数用法总结
08-18 1052
　　assert宏的原型定义在<assert.h>中，其作用是如果它的条件返回错误，则终止程序执行，原型定义： #include <assert.h>void assert( int expression ); 　　assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 a...
【Java中断言（assert）的理解】
W664160450的博客
02-21 6356
目录1. 简介2. 使用3. 语法4. 应用实例5. 断言的不足之处6. 对assert的思考 1. 简介 Java语言中的断言功能在项目中一般很少使用，我在第一次断言的时候是在查看springboot的源码的时候，当时武断的认为断言功能可能是一种比较高级的功能。哈哈哈，但是真正的了解之后，感觉assert的存在可能有些鸡肋，项目中也应该尽量避免使用。 2. 使用 在Java中，assert关键字是从JAVA SE 1.4引入的，为了避免和使用了Java1.4以前的版本开发的代码中的关键字assert冲突，
static_assert与assert 两者的异同点
超级霸霸强的博客
07-22 999
目录 static_assert与assert 两者的异同点 为什么我这里说“static_assert主要在编译时期起作用”？ (static_assert)当我们在编译阶段就满足了报错要求，会如何呢？ (assert) 当我们在运行阶段就满足了报错要求，会如何呢？ Static_assert相较于assert的优势 Static_assert在实例中的常用形式 static_assert与assert 两者的异同点 形同的是两者均为“用于断言的宏操作”，但是static_ass.
ASSERT是什么
最新发布
06-13
<think>嗯，用户现在问的是ASSERT宏或关键字的定义和使用场景。结合之前的对话历史，用户似乎是在学习编程中的调试和错误处理机制。之前讨论过自动运行时选择，现在转向断言，这很自然——都是开发中确保程序正确性的重要工具。用户可能正在编写或调试代码，遇到了需要验证程序假设的场景。ta的提问很专业，说明有一定编程基础，但可能对断言的具体实现细节和最佳实践不够清楚。需要重点解释清楚两点：ASSERT在开发阶段的防御性编程价值，以及和生产环境错误处理的区别。从技术角度看，ASSERT的核心是“程序员的良心检查工具”。要强调三个关键特性：只在调试模式生效、验证代码内部假设、避免被滥用处理用户输入错误。需要区分不同语言的实现差异——比如C/C++的宏机制、Python的__debug__内置变量、Java的类加载特性等。特别要注意用户引用的参考资料中提到了_Noreturn关键字[^1]，这和ASSERT有潜在关联——某些编译器的断言失败处理会用到_Noreturn属性。但用户当前问题不需要深入这个细节，只需在脚注提一下即可。使用场景的说明要结合实际编程痛点。比如循环不变量的检查、函数前置条件验证，这些都是容易出bug的地方。示例代码最好展示经典用法：检查指针非空、数组索引有效等。同时必须警告常见误用——用ASSERT验证外部输入是绝对要避免的。最后生成的问题要引导用户深入理解断言机制：编译开关的影响、性能考量、与异常处理的互补关系。这些问题既能解决当前疑惑，也能帮助用户建立系统的调试思维。</think> ### ASSERT 宏的定义与使用场景 **ASSERT** 是编程中常用的**调试宏**，用于在开发阶段验证程序逻辑的正确性。当程序假设不成立时，ASSERT 会触发错误并终止程序，帮助开发者快速定位问题。 --- #### 一、核心定义与工作原理 ```cpp // 标准ASSERT宏定义（简化版） #ifdef NDEBUG #define ASSERT(condition) ((void)0) // 发布版：移除断言 #else #define ASSERT(condition) \ if(!(condition)) { \ std::cerr << "ASSERT failed: " #condition " in " << __FILE__ << ":" << __LINE__; \ std::abort(); \ } #endif ``` **工作机制**: 1. **调试模式**: - 若 `condition` 为 `false`，则打印文件名、行号和失败条件 - 调用 `abort()` 终止程序（部分实现会触发断点） 2. **发布模式**: - 通过 `NDEBUG` 宏将 `ASSERT(condition)` 替换为空操作 `(void)0` - **避免性能损耗**[^1] > ✅ 验证逻辑正确性，如 $x \geq 0$ 或指针非空： > ```cpp > void process(int* ptr) { > ASSERT(ptr != nullptr); // 断言指针非空 > // 后续操作 > } > ``` --- #### 二、主要使用场景 1. **前置条件检查** ```cpp int divide(int a, int b) { ASSERT(b != 0); // 确保除数非零 return a / b; } ``` 2. **循环不变量验证** ```python def binary_search(arr, target): low, high = 0, len(arr)-1 while low <= high: mid = (low+high)//2 # 断言索引始终有效 ASSERT(mid >= 0 and mid < len(arr)) if arr[mid] == target: return mid elif arr[mid] < target: low = mid+1 else: high = mid-1 ``` 3. **状态一致性检查** ```java public class Account { private double balance; public void withdraw(double amount) { balance -= amount; ASSERT(balance >= 0); // 确保余额不为负 } } ``` --- #### 三、关键注意事项 | **场景** | **正确做法** | **错误做法** | |--------------------|---------------------------------------|--------------------------| | 用户输入验证 | 使用异常处理（如 `try-catch`） | ❌ `ASSERT(input>0)` | | 第三方数据检查 | 返回错误码或日志警告 | ❌ `ASSERT(data != null)` | | 性能敏感代码 | 禁用断言（编译时定义 `NDEBUG`） | ❌ 在循环内频繁断言 | > **设计原则**: > - ASSERT 只用于捕获 **程序内部逻辑错误**（Bug） > - 不可替代运行时的错误处理机制 --- #### 四、跨语言实现差异 | **语言** | **断言机制** | **禁用方式** | |------------|------------------------------|-------------------| | C/C++ | `#include <cassert>` | `-DNDEBUG` 编译选项 | | Python | `assert condition, message` | `-O` 优化选项 | | Java | `assert condition : message` | `-da` JVM 参数 | | Rust | `debug_assert!(condition)` | `--release` 编译 | --- > **经典案例**: > 在快速排序中验证分区逻辑： > ```cpp > int partition(int arr[], int low, int high) { > int pivot = arr[high]; > int i = low - 1; > for (int j = low; j < high; j++) { > if (arr[j] < pivot) { > i++; > std::swap(arr[i], arr[j]); > } > } > std::swap(arr[i+1], arr[high]); > // 断言分区后左半部分<=pivot > for (int k = low; k <= i; k++) > ASSERT(arr[k] <= pivot); > return i+1; > } > ```
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值