Assert(断言实现机制深入剖析)

断言(assert)的作用是用来判断程序运行的正确性，确保程序运行的行为与我们理解的一致。其调用形式为assert(logic expression),如果逻辑表达式为假，则调用abort()终止程序的运行。

查看MSDN帮助文档，可以得到assert的解释信息如下：


代码如下:

The ANSI assert macro is typically used to identify logic errors during program development, by implementing the expression argument to evaluate to false only when the program is operating incorrectly. After debugging is complete, assertion checking can be turned off without modifying the source file by defining the identifier NDEBUG. NDEBUG can be defined with a /D command-line option or with a #define directive. If NDEBUG is defined with #define, the directive must appear before ASSERT.H is included.

翻译过来大概意思就是assert是通过判断其参数的真假来标识程序的逻辑错误，调试结束后可以通过定义NDEBUG来关闭assert断言。

查看include/assert.h头文件可以得到assert相关的宏写义如下：


代码如下:

#ifdef  NDEBUG

#define assert(exp)     ((void)0)

#else

#ifdef  __cplusplus
extern "C" {
#endif

_CRTIMP void __cdecl _assert(void *, void *, unsigned);

#ifdef  __cplusplus
}
#endif

#define assert(exp) (void)( (exp) || (_assert(#exp, __FILE__, __LINE__), 0) )

#endif  /* NDEBUG */

解释：


代码如下:

#ifdef NDEBUG
      #define assert(_Expression)  ((void)0)//当调试完成后，如果定义了NDEBUG,关闭断言，优化生成的代码

接下来的代码意思是定义如下函数（此函数用于打印出出错信息）：


代码如下:

_wassert(_In_z_ const wchar_t * _Message, _In_z_ const wchar_t *_File, _In_ unsigned _Line);

有兴趣的可以在assert.c中看到其实现，函数先要把错误的报告模式以及程序的类型(控制台程序还是GUI程序)决定assert是向标准错误输出打印还是以消息框形式出现，最后调用了abort（）函数来终止程序的运行。 对于extern “C” 有时间再解释

好了，到最后，终于看到了assert的宏定义了


代码如下:

#define assert(_Expression) (void)( (!!(_Expression)) || (_wassert(_CRT_WIDE(#_Expression), _CRT_WIDE(__FILE__), __LINE__), 0) )

解释_Expresssion若为false,则!false=true,!true=false,此时继续执行||以后的语句，故会打印出出错信息，终止程序，若_Expression为true,则!true=false,!false=true,此时不再执行||以后的语句，故不会打印出信息。

值得注意的是，里面有一个逗号表达式，有兴趣的可以研究一下，逗号表达式如下


代码如下:

(_wassert(_CRT_WIDE(#_Expression), _CRT_WIDE(__FILE__), __LINE__), 0)

asset断言后返回的结果始终是void(1)/void(0),原因就在于逗号表达式。

Assert断言在程序的作用

Assert的例子：

解释：因为tmp=0,tmp==1为false,故程序运行的时候传给assert宏的参数为false,因此调用的结果是先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。如果改成tmp=1,则程序完全正常运行。 如里在程序中想关闭assert宏断言，可以如下defnie NDEBUG

 
你会发现即出tmp=0,也不会再出现断言信息，解释请看顶部

作用：
1:断言可以用来检查传给函数参数的合法性


代码如下:

void max(int *a, int n)
{
 assert(a!=null)//利用断言确保传给函数的参数不是一个空指针
}

2:一个断言一般只用来检查一个条件，便于分析程序【大师写的<<编程珠玑>>断言的艺术一个断言可以&&与||好几个条件，在我们不是大师之前，还最好不要这样做~~~】

3: 断言前后最好空一格[编程风格的问题，按你自已的喜好，适合自已就最好]

4:断言只是用来检查程序的逻辑正确性，不能代替条件替换

5:断言比printf语句这种形式的打印好使~~~~

6:断言参数可以是函数调用,但是函数返回值要是真假,如assert(sort()),解释看上面源码分析

赞 (0)

相关推荐

  • C++ Assert()断言机制原理以及使用方法

    MSDN原文如是说: Evaluates an expression and, when the result is false, prints a diagnostic message and aborts the program. (判断一个表达式,如果结果为假,输出诊断消息并中止程序.) void assert( int expression ); 参数:Expression (including pointers) that evaluates to nonzero or 0.(表达式[

  • 浅析C语言中assert的用法

    assert宏的原型定义在<assert.h>中,其作用是如果它的条件返回错误,则终止程序执行,原型定义:#include <assert.h>void assert( int expression );assert的作用是现计算表达式 expression ,如果其值为假(即为0),那么它先向stderr打印一条出错信息,然后通过调用 abort 来终止程序运行.请看下面的程序清单badptr.c: 复制代码 代码如下: #include <stdio.h>#incl

  • Assert(断言实现机制深入剖析)

    Assert(断言实现机制深入剖析)

    断言(assert)的作用是用来判断程序运行的正确性,确保程序运行的行为与我们理解的一致.其调用形式为assert(logic expression),如果逻辑表达式为假,则调用abort()终止程序的运行. 查看MSDN帮助文档,可以得到assert的解释信息如下: 复制代码 代码如下: The ANSI assert macro is typically used to identify logic errors during program development, by implemen

  • Node.js assert断言原理与用法分析

    本文实例讲述了Node.js assert断言原理与用法.分享给大家供大家参考,具体如下: node.js官方API中文版 http://nodeapi.ucdok.com/#/api/assert.html assert 模块主要用于编写程序的单元测试时使用,通过断言可以提早发现和排查出错误. class : assert - assert.fail(actual, expected, message, operator) - assert(value, message), assert.ok

  • python3 assert 断言的使用详解 (区别于python2)

    python3 和python以前的版本有点不同 如果你断言的 语句正确 则什么反应都没有 但是如果你出错之后 就会报出 AssertionError 并且错误可以自己填写 格式 : assert+空格+要判断语句+双引号"报错语句" 例子: 出错时候 assert 1>5, "chucuo" 输出值为: --------------------------------------------------------------------------- As

  • pytest之assert断言的具体使用

    背景 本文总结使用pytest编写自动化测试时常用的assert断言. 说明 本文将从以下几点做总结: 为测试结果作断言 为断言不通过的结果添加说明信息 为预期异常作断言 为失败断言自定义说明信息 为测试结果作断言 在断言方面,pytest框架比其他类似的框架(比如unittest)更加简洁,易用,我想这是我选择pytest作为自动化测试框架之一的原因之一. pytest的assert断言关键字支持使用python内置的assert表达式.可以理解为pytest的断言就是直接使用python自带

  • Python中优雅使用assert断言的方法实例

    目录 什么是 assert 断言 断言和异常的使用场景 使用断言的几个原则 建议不使用断言的情况: 总结 什么是 assert 断言 Assert statements are a convenient way to insert debugging assertions into a program 断言声明是用于程序调试的一个便捷方式.断言可以看做是一个 debug 工具,Python 的实现也符合这个设计哲学,在 Python 中 assert 语句的执行是依赖于__debug__这个内置

  • python assert断言的实例用法

    断言声明是一种方便的程序调试方式. 1.可将断言视为debug工具,Python的实现也符合这种设计理念.assert语句的执行依赖于__debug__,且默认值为True. 2.如果__debug__为True,则仅执行assert语句. 实例 assert 可以同时声明两个 expression,例如 assert expression1, expression2 等价于 if __debug__: if not expression1: raise AssertionError(expre

  • Python pass语句作用和Python assert断言函数的用法

    目录 一.Python pass语句 二.Python assert断言函数 三.Python assert断言函数用法 一.Python pass语句 在实际开发中,有时候我们会先搭建起程序的整体逻辑结构,但是暂时不去实现某些细节,而是在这些地方加一些注释,方面以后再添加代码, 请看下面的例子: age = int( input("请输入你的年龄:") ) if age < 12 :     print("婴幼儿") elif age >= 12 an

  • Python assert断言声明,遇到错误则立即返回问题

    目录 assert断言声明,遇到错误则立即返回 assert断言函数 python assert断言的作用 assert断言语句的语法格式 下面做一些assert用法的语句供参考 assert断言声明,遇到错误则立即返回 在使用python语言开发深度学习模型时,经常会遇到模型运行结束时才会发现的崩溃状态,或者得到的结果不是预想的那样. 这就需要在模型中善于使用assert语句,来判断某些变量的类型或者shape等是否满足要求. 用法为 : assert expression(你想判断的内容)

  • python生产环境禁用assert断言的方法

    目录 1. 背景 2.解决方案 2.1 禁用assert的策略 2.2 禁用的原理 3. 实施禁用策略 3.1 启动命令行的参数中,添加-O 3.2 设置PYTHONOPTIMIZE环境变量 4 使用断言的坑 1. 背景 在潜意识中, assert 是应用在unittest或pytest环境中, 不能应用到业务代码中, 因为断言会导致运行中断,对业务有损,并且消耗内存, 影响性能. 但不可否认, 使用断言非常方便调试代码 通过研读assert的文档, 发现断言是可以被关闭的,特此记录下 详细的介

随机推荐