脚本之家 服务器常用软件
快捷导航
您的位置：首页 → 软件编程 → C 语言 → Assert 断言

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

 更新时间：2013年09月13日 10:29:47   作者：  
言前后最好空一格[编程风格的问题，按你自已的喜好，适合自已就最好]。断言只是用来检查程序的逻辑正确性，不能代替条件替换。断言比printf语句这种形式的打印好使

断言(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()),解释看上面源码分析

您可能感兴趣的文章:

相关文章

  • C语言超详细讲解数据结构中双向带头循环链表

    C语言超详细讲解数据结构中双向带头循环链表

    带头双向循环链表：结构最复杂，一般用在单独存储数据。实际中使用的链表数据结构，都是带头双向循环链表。另外这个结构虽然结构复杂，但是使用代码实现以后会发现结构会带来很多优势，实现反而简单
    2022-04-04
  • c++类的隐式转换与强制转换重载详解

    c++类的隐式转换与强制转换重载详解

    转换函数的名称是类型转换的目标类型，因此，不必再为它指定返回值类型；转换函数是被用于本类型的数值或变量转换为其他的类型，也不必带参数
    2013-09-09
  • C语言 单向链表的增删查改快速掌握

    C语言 单向链表的增删查改快速掌握

    单向链表特点是链表的链接方向是单向的，访问要通过顺序读取从头部开始。链表是使用指针构造的列表，是由一个个结点组装起来的，又称为结点列表。其中每个结点都有指针成员变量指向列表中的下一个结点，head指针指向第一个结点称为表头，而终止于最后一个指向nuLL的指针
    2021-11-11
  • C++之Primer算术运算符详解

    C++之Primer算术运算符详解

    这篇文章主要介绍了C++之Primer算术运算符方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教
    2025-03-03
  • C++ 分割字符串数据的实现方法

    C++ 分割字符串数据的实现方法

    这篇文章主要介绍了C++ 分割字符串数据的实现方法,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
    2023-09-09
  • Qt如何自定义滑动条

    Qt如何自定义滑动条

    这篇文章主要介绍了Qt如何自定义滑动条问题，具有很好的参考价值，希望对大家有所帮助。如有错误或未考虑完全的地方，望不吝赐教
    2022-11-11
  • C语言零基础彻底掌握预处理下篇

    C语言零基础彻底掌握预处理下篇

    在C语言的程序中包括各种以符号#开头的编译指令，这些指令称为预处理命令。预处理命令属于C语言编译器，而不是C语言的组成部分，通过预处理命令可扩展C语言程序设计的环境
    2022-08-08
  • 详解C++何时需要拷贝构造函数

    详解C++何时需要拷贝构造函数

    拷贝构造函数是一个特殊的构造函数,用于创建一个新对象,该对象与另一个同类对象具有相同的属性和值,在 C++ 中,拷贝构造函数通常采用另一个同类对象作为参数,并使用该对象初始化新对象,本文给大家讲讲何时需要拷贝函数,需要的朋友可以参考下
    2023-09-09
  • C语言实现程序开机自启动

    C语言实现程序开机自启动

    本文给大家分享的是一则C语言实现开机自启动的代码，主要是通过C来获取程序路径修改注册表项来实现，有需要的小伙伴可以参考下
    2016-01-01
  • Windows窗口消息实例详解

    Windows窗口消息实例详解

    这篇文章主要介绍了Windows窗口消息,以实例形式详细罗列了Windows窗口消息,非常具有实用价值,需要的朋友可以参考下
    2015-05-05

最新评论