阅读源码(0)——VC中的assert.h，10多行代码两个宏，值得推敲推敲

/***

*assert.h - define the assert macro

****/

#include <crtdefs.h>

//移除可能的assert定义，确保assert未定义

//但据测试，“后面”的#defines会覆盖之前的#defines

//这里考虑周全，值得学习！

#undef  assert

//如果定义了NDEBUG，那么关闭assert宏

//在Release模式下，会自动定义NDEBUG，这样就取消了assert断言，即定义为一个no-op

#ifdef  NDEBUG

#define assert(_Expression)     ((void)0)

//为什么要定义为((void)0)，而不是“一片空白”。解释如下：

//  1.((void)0)是一个完整的表达式，但是“空白”不是

//  2.如“assert(1==2), 12;”是一个表达式，如果将assert(...)定义为“空白”，将无法通过编译

//  3.((void)0)是一个no-op的表达式，什么都不做，编译器将忽略它们（应该不会为它生成代码）

//  4.其实说白了就是shut up the compiler，让编译器闭嘴！

#else  //没有定义NDEBUG，即在Debug模式下，将会定义assert为特殊的调试函数

#ifdef  __cplusplus  //如果是cpp环境,需要注意对c函数的链接方式！

extern "C" {    

#endif

_CRTIMP void __cdecl _wassert(_In_z_ const wchar_t * _Message,

                _In_z_ const wchar_t *_File, _In_ unsigned _Line);

              //_In_z  -  nullterminated 'in' parameters.

              //_In_  -  input (pointer) parameter

              //_CRTIMP  -  “空白”或者如果定义_DLL的话，替换为__declspec(dllimport)

#ifdef  __cplusplus

}

#endif

//为了阅读方便，做了换行处理

#define assert(_Expression) \

(void)( (!!(_Expression)) || \

    (\

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

      0\

    ) \

    )

//||的短路！
  //如果!!(_Expression)结果是真，那么后面的代码根本就不会执行，如果是假，那么执行！

//返回值适配器：

  //_wassert函数是void，怎么能应用于||呢！，好办：加个“,0”即可，这样整个表达式返回值就是0！

  //但是assert不应该返回任何值，再将整个表达式结果转成void，是整个表达式，最外层的括号要注意！

//宏中字符串连接的方式：##（Token-Pasting Operator ）和#（stringizing operator）

  //_CRT_WIDE(#_Expression)  -   L ## _Expression (Long型的字符串，即2个字节存储之)

  //__FILE__和__LINE__

//"!!"的妙处

//_w开头，是UNICODE版本，当然也就存在另外一个_assert版本的函数，

//跟踪_wassert定义，发现它其实暗地里做了不少的事情，有关stderr和缓冲区各种处理等，

//库本身也给出了注释：

  /*

   * Build the assertion message, then write it out. The exact form

   * depends on whether it is to be written out via stderr or the

   * MessageBox API.

   */

//在VC中，assert如果未通过，会输出如下格式的提示：

//  Assertion failed: <expr>, file <filename>, line <lineno>

//并且，最后会给出一个消息对话框，让用户选择

//if (nCode == IDABORT)

//{  raise(SIGABRT);

//  _exit(3);}

//if (nCode == IDRETRY)

//{  __debugbreak();

//  return;}

//if (nCode == IDIGNORE)

//  return;

//需要注意的是，在_wassert函数最后一行是abort()函数调用！

//  exit():温和！

//  abort():暴力！直接关闭当前的process，文件资源什么的不管！

#endif  /* NDEBUG */

 

下面是assert的MessageBox的显示，具体的代码可以定位到assert.c中查看。

 

看了assert.h的源码后，确实收获不少，其实这是次很偶然的阅读，本来是深入了解下VC++2010的Debug功能的，就想到了assert。

总结下：条件编译、链接方式，宏的使用，返回值隐瞒，assert的内在行为……

下面的更简单的测试代码完全是小小case了，当然，它本身没有多大意义。

得提下，在《Writing solid code》中，对assert的应用语义解释很详细也深入，书比较老，但意义犹大。看过，但忘得似乎差不多了。。。

void output(const char* msg)

{

  cout << msg << endl;

}

#define test(exp) (void) ((!!(exp)) || (output("hello"), 0))

 

当然，VC的源码不是copyleft的，还是得声明下，只是学习之用。最后要抱怨下：那么多#defines！！不过，能折腾是福气。

我自己是个小小菜鸟，刚上路，必然有很多解释是有问题的，欢迎大家指正，共同交流学习提高！