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

ASSERT与assert()在调试中的应用
最新推荐文章于 2025-09-09 23:45:29 发布
转载 最新推荐文章于 2025-09-09 23:45:29 发布 · 973 阅读 · 0 ·
CC 4.0 BY-SA版权
原文链接：https://blog.youkuaiyun.com/parfait/article/details/1603517
文章标签：

#ASSERT #assert #大小写 #区别 #mfc

本文详细解析了ASSERT宏和assert()函数在程序调试中的作用与区别。ASSERT用于检查程序中的非法数据，仅在Debug版本生效；而assert()符合ANSIC标准，可用于Release版本。了解它们的使用场景有助于提高程序的稳定性和调试效率。

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 1168
#include <iostream> #include <assert.h> #include <exception> #include "opencv2/highgui.hpp" #include "opencv2/core/core.hpp" int main() { try { assert(1>2); // ...
vc中ASSERT()和VERIFY()区别
06-09
ASSERT与VERIFY宏在Debug模式下作用基本一致，二者都对表达式的值进行计算，如果值为非0，则什么事也不做；如果值为0，则输出诊断信息。 ASSERT与VERIFY宏在Release模式下效果完全不一样。ASSERT不计算表达式的值，也不会输出诊断信息；VERIFY计算表达式的值，但不管值为0还是非0都不会输出诊断信息。
assert的用法
最新发布
FANTASY44的博客
09-09 392
/ 使用 && 连接字符串字面量// 或者使用逗号操作符（不太推荐）// 更详细的断言宏// 更详细的断言宏 # define MY_ASSERT(condition , message) \ do {\ if(!\ } \ } while(false) // 使用 MY_ASSERT(ptr!// 更详细的断言宏 # define MY_ASSERT(condition , message) \ do {\ if(!
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()和ASSERT()
明月夜
07-19 910
前两天看到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 6616
记得我好像给小明说过：记住了，assert是在debug模式下才有效，它是一个用于调试的宏，除非你修改系统宏，我想吃饱了没事干才那样做。 今天： 我：小明，这是release版本要上线了，下面这两句代码是你写的？怎么没有if判断呢？   int* p = (int*)malloc(sizeof(int))；    assert(p); 小明：哥，是我写得啊，assert不是也是用来判断的...
精选资源
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...
assert与常用工具类Assert
qq_54640079的博客
05-02 678
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("断言通过!");
BOOST_STATIC_ASSERT和assert的区别
huangjh2017的博客
06-14 1719
1.assert()函数的作用 assert的作用是先计算表达式_Expression，如果其值为假（即为0），那么它会打印出来assert的内容和__FILE__, __LINE__，然后执行abort()函数使kernel杀掉自己并coredump（是否生成coredump文件，取决于系统配置）；否则，assert()无任何作用。宏assert（）一般用于确认程序的正常操作，其中表达式构造无错时才为真值。完成调试后，不必从源代码中删除assert()语句，因为宏NDEBUG有定义时，宏assert()的
断言函数assert()的使用
weixin_33806914的博客
07-13 182
初级理解: ASSERT() 是一个调试程序时经常使用的宏，在程序运行时它计算括号内的表达式，如果表达式为FALSE (0), 程序将报告错误，并终止执行。如果表达式不为0，则继续执行后面的语句。这个宏通常原来判断程序中是否出现了明显非法的数据，如果出现了终止程序以免导致严重后果，同时也便于查找错误。例如，变量n在程序中不应该为0，如果为0可能导致错...
java中if,Exception,以及assert的使用区别
yzj479622672的博客
06-19 2421
1.IF if主要是用来充当某个逻辑判断，是程序的一部分！                           程序一个逻辑部分 2.Exception exception主要是用来预防用户或者程序可以出错的地方做出的一种积极措施，可以让程序出现异常的状况而不至于崩溃                          未知的错误 3.Assert 断言主要是用来处理一些你可能知道出错的地
Oracle Latch的学习【原创】
weixin_30756499的博客
12-04 435
Latch详解 — MaxChou 本文以学习为目的，大部分内容来自网络转载。 什么是Latch ...
关于assert，ASSERT,TRACE,VERIFY
jannet262的专栏
01-11 3152
assert接收一个表达式，如果这个表达式为TRUE，则无动作，否则中断当前程序执行。在的debug版状态下出现。在release版本中不计算传入的表达式。TRACE接收跟printf一样的参数。在debug版的调试状态下出现，在debug窗口中输出信息。在release版本中不计算传入的表达式。ASSERT 它接收一个表达式，如果这个表达式为TRUE，则无动作，否则中断当前程
ASSERT()是干什么用的
07-11 1336
ASSERT()是一个调试程序时经常使用的宏，在程序运行时它计算括号内的表达式，如果表达式为FALSE (0), 程序将报告错误，并终止执行。如果表达式不为0，则继续执行后面的语句。这个宏通常原来判断程序中是否出现了明显非法的数据，如果出现了终止程序以免导致严重后果，同时也便于查找错误。例如，变量n在程序中不应该为0，如果为0可能导致错误，你可以这样写程序：     ......     ASSE
Java 中的 断言 （assert）—— 初识 简单的使用和理解~只要这一篇就够了
热门推荐
Aoki的博客
06-29 1万+
首先老样子，三个方面来理解 断言是个啥（尝试初步《理解》） 如何使用（到底咋子个用，啥时候用） 个人的思考理解和总结（说话不负责时间） 断言（assert）：也就是所谓的assertion，是jdk1.4后加入的新功能。 assert为动词，assertion为名词，assert是java关键字，assertion是技术名称 断言 の 定义： 官话： 断言是编程术语，表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真，可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断
_Static_assert和static_assert有什么区别
07-29
在 C 语言和 C++ 中，`_Static_assert` 和 `static_assert` 都用于实现静态断言（即在编译阶段进行条件检查），但它们在语法、使用方式以及标准支持上存在一些差异。 ### 语法和关键字形式 - 在 C 语言中，从 C11 标准开始引入了 `_Static_assert` 关键字，用于进行静态断言。其语法形式为： ```c _Static_assert(constant-expression, string-literal); ``` 这里 `constant-expression` 是一个常量表达式，如果其值为假（0），则触发编译错误；`string-literal` 是一个字符串字面量，用于提供错误信息[^2]。 - 在 C++ 中，从 C++11 标准开始引入了 `static_assert` 关键字。其语法形式为： ```cpp static_assert(constant-expression, string-literal); ``` 从 C++17 开始，`static_assert` 的语法允许省略错误消息参数，即可以仅提供条件表达式而不提供消息： ```cpp static_assert(constant-expression); ``` 这种形式在 C 语言的 `_Static_assert` 中并不存在[^3]。 ### 标准支持 - `_Static_assert` 是 C11 标准中定义的特性，因此它仅适用于 C 语言环境。在 C 语言中，静态断言只能在编译时检查常量表达式是否为真，并且必须提供错误消息字符串[^2]。 - `static_assert` 是 C++11 标准中引入的特性，并在 C++17 中得到了扩展。它不仅支持在编译时检查常量表达式，还支持更灵活的语法形式（如省略错误消息）[^3]。 ### 使用场景 - 在 C 语言中，`_Static_assert` 常用于检查类型大小、常量值等编译期间可确定的条件。例如，验证 `CHAR_BIT` 是否为 8： ```c #include <limits.h> _Static_assert(CHAR_BIT == 8, "Char size must be 8 bits."); ``` 这有助于确保代码在特定平台上的正确性[^2]。 - 在 C++ 中，`static_assert` 除了可以用于类似的用途外，还广泛应用于模板元编程中。它可以用于验证模板参数是否满足特定条件，从而在编译时捕获潜在的错误。例如： ```cpp template <class T> struct Check { static_assert(sizeof(int) <= sizeof(T), "T is not big enough!"); }; ``` 这种用法在 C++ 模板编程中非常常见，因为它能够在编译时进行更复杂的类型检查[^4]。 ### 错误信息处理 - 在 C 语言中，`_Static_assert` 必须提供一个字符串字面量作为错误信息，否则会导致编译错误。这意味着开发者必须明确提供错误信息，以帮助调试。 - 在 C++ 中，`static_assert` 从 C++17 开始允许省略错误信息参数。这种灵活性使得开发者可以在某些情况下简化代码，尤其是在调试或快速原型开发时。 ### 示例对比 - **C 语言中的 `_Static_assert`**： ```c #include <stdio.h> #include <limits.h> _Static_assert(CHAR_BIT == 8, "Char size must be 8 bits."); int main() { printf("CHAR_BIT is %d\n", CHAR_BIT); return 0; } ``` 如果 `CHAR_BIT` 不等于 8，则编译时会触发错误，并显示指定的错误信息。 - **C++ 中的 `static_assert`**： ```cpp #include <iostream> template <class T> struct Check { static_assert(sizeof(int) <= sizeof(T), "T is not big enough!"); }; int main() { Check<int> c1; // 编译通过 Check<char> c2; // 编译失败，因为 sizeof(int) > sizeof(char) return 0; } ``` 在这个例子中，`static_assert` 会在编译时检查模板参数 `T` 的大小是否足够大，否则触发编译错误。 ### 总结 - `_Static_assert` 和 `static_assert` 都是用于编译时断言的工具，但它们分别属于 C 和 C++ 的标准。 - `_Static_assert` 在 C 语言中必须提供错误消息，而 `static_assert` 在 C++17 中可以省略。 - `static_assert` 在 C++ 中的应用更为广泛，特别是在模板元编程中，能够提供更强的类型检查能力。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值