《windows 程序调试》读书笔记之断言篇

--------------------+++++-------------------------
#include<assert.h>
void assert(int expression)//显示失效断言
@note: asci c,在断言失效的文件路径太长时，会截断文件名，只能用在_DEBUG环境中
--------------------+++++-------------------------
_ASSERT(boolen expression)//显示失效断言
_ASSERTE(boolen expression)//不支持unicode，显示失效断言
#include<crtdbg.h>


@note: from assert.h


#undef 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 




@note: from crtdbg.h


#ifndef _DEBUG
#define _ASSERT(expr) ((void) 0)
#define _ASSERTE(expr) ((void) 0)
#else
#define _ASSERT(expr)\
do{
if(!(expr))&&\
(1 == _CrtDbgReport(_CRT_ASSERT,__FILE__\
__LINE__,NULL,NULL))\
)\
_CrtDbgBreak();\
}while(0)
#define _ASSERTE(expr)\
do{
if(!(expr))&&\
(1 == _CrtDbgReport(_CRT_ASSERT,__FILE__\
__LINE__,NULL,#expr))\
)\
_CrtDbgBreak();\
}while(0)
#endif
--------------------+++++-------------------------
MFC 中，ASSERT 和 VERIFY的区别是后者在release版本中仍可断言
@note: from Afx.h;不要使用VERIFY,更加危险，阻碍防御性编程


#ifdef _DEBUG
#define VERIFY(expr) ASSERT(expr)
#else
#define VERIFY(expr) ((void)(expr))
#endif


--------------------+++++-------------------------
@note: 自定义
#ifndef _DEBUG
#define MCASSERT(expr,description) ((void) 0)
#define MCASSERTX(expr,description)\
do{\
if(!expr)throw exception;\
}while(0)


#define MCASSERT_POINTER(p,type) ((void) 0)
#define MCASSERT_STRING(s) ((void) 0)


#else
#define MCASSERT(expr,description)\
do{
if(!(expr))&&\
(1 == _CrtDbgReport(_CRT_ASSERT,__FILE__\
__LINE__,NULL,#expr##"\nProblem:\n\t"##description))\
)\
_CrtDbgBreak();\
}while(0)


#define MCASSERTX(expr,description)\
do{
if(!(expr))&&\
(1 == _CrtDbgReport(_CRT_ASSERT,__FILE__\
__LINE__,NULL,#expr##"\nProblem:\n\t"##description))\
)\
_CrtDbgBreak();\
throw exception;\
}while(0)


#define MCASSERT_POINTER(p,type)\
assert((0 != (p)) \
|| _CrtIsValidPointer((p),sizeof(p),FALSE))




#define MCASSERT_STRING(s)\
assert((0 != (s)) \
|| !_IsBadStringPtr((s),0xFFFFFFFF))


#endif
--------------------+++++-------------------------
@note: 对入参及输出下断言;对状态下断言；对不变量断言。
--------------------+++++-------------------------
@note: 防御性编程
if(!expr){
_ASSERT(FALSE);
return xxx;
}
--------------------+++++-------------------------