ASSERT VERIFY TRACE 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 */

（1）从上面的代码可以看出assert（）是一个宏，使用这个宏，必须加上头文件assert.h。assert.h是C标准函数库中的头文件。其中定义了assert()宏用于程序调试。

使用断言assert()宏是用于保证满足某个特定条件，用法是：

assert(表达式);

如果表达式的值为假，整个程序将退出，并输出一条错误信息。如果表达

式的值为真则继续执行后面的语句。

使用这个宏前需要包含头文件assert.h

例如

#include <stdio.h>

#include <assert.h>

void main()

{

   float a,b;

   scan("%f %f",&a,&b);

   assert(b!=0);

   printf("%f/n",a/b);

}

以上的程序要计算A/B的值，因此要求b!=0,所以在程序中使用了assert()

用于确保b!=0,如果b==0,则程序会退出。

 

 MFC\Include\afx.h文件中内容（很明显这个是在mfc平台上，即ASSERT(),TRACE(),VERIFY()在mfc平台上可以用)

/////////////////////////////////////////////////////////////////////////////
// Diagnostic support

#ifdef _DEBUG

BOOL AFXAPI AfxAssertFailedLine(LPCSTR lpszFileName, int nLine);

void AFX_CDECL AfxTrace(LPCTSTR lpszFormat, ...);
// Note: file names are still ANSI strings (filenames rarely need UNICODE)
void AFXAPI AfxAssertValidObject(const CObject* pOb,
LPCSTR lpszFileName, int nLine);
void AFXAPI AfxDump(const CObject* pOb); // Dump an object from CodeView

#define TRACE              ::AfxTrace
#define THIS_FILE          __FILE__
#define ASSERT(f) \
do \
{ \
if (!(f) && AfxAssertFailedLine(THIS_FILE, __LINE__)) \
AfxDebugBreak(); \
} while (0) \

#define VERIFY(f)          ASSERT(f)
#define ASSERT_VALID(pOb)  (::AfxAssertValidObject(pOb, THIS_FILE, __LINE__))
#define DEBUG_ONLY(f)      (f)

// The following trace macros are provided for backward compatiblity
//  (they also take a fixed number of parameters which provides
//   some amount of extra error checking)
#define TRACE0(sz)              ::AfxTrace(_T("%s"), _T(sz))
#define TRACE1(sz, p1)          ::AfxTrace(_T(sz), p1)
#define TRACE2(sz, p1, p2)      ::AfxTrace(_T(sz), p1, p2)
#define TRACE3(sz, p1, p2, p3)  ::AfxTrace(_T(sz), p1, p2, p3)

// These AFX_DUMP macros also provided for backward compatibility
#define AFX_DUMP0(dc, sz)   dc << _T(sz)
#define AFX_DUMP1(dc, sz, p1) dc << _T(sz) << p1

#else   // _DEBUG

#define ASSERT(f)          ((void)0)
#define VERIFY(f)          ((void)(f))
#define ASSERT_VALID(pOb)  ((void)0)
#define DEBUG_ONLY(f)      ((void)0)
inline void AFX_CDECL AfxTrace(LPCTSTR, ...) { }
#define TRACE              1 ? (void)0 : ::AfxTrace
#define TRACE0(sz)
#define TRACE1(sz, p1)
#define TRACE2(sz, p1, p2)
#define TRACE3(sz, p1, p2, p3)

#endif // !_DEBUG

VC中分两个版本debug,release.ASSERT()只用于debuge版本中，用来测试

括号内的表达式是否为真的，比如说每个数X是不可能为0的，就可以这样

写ASSERT(X)；，不过这条语句在你release时是不会产生代码去检查这个

值的，只有在debug时才生效。

即ASSERT()是一种判断语句，主要用来调试程序。详解ASSERT(

booleanExpression )；

1、booleanExpression参数是一个BOOL表达式。

2、当程序运行到该语句的时候，程序会检查booleanExpression这个表达

式是真还是假。

当条件满足时，程序继续运行下面的代码；

当条件不满足时，那么程序要持续运行会被卡在这里，不在向下执行，并

由程序弹出错误对话框，指出是由于booleanExpression这个条件不满足

导致的错误。

3、该指令可以用来作为某些条件的防护，避免不符合条件的东西产生导

致程序的崩溃。

 ASSERT与VERIFY宏在Debug模式下作用基本一致，二者都对表达式的值进

行计算，如果值为非0，则什么事也不做；如果值为0，则输出诊断信息。

然而二者在Release模式下效果完全不一样。ASSERT不计算表达式的值，

也不会输出诊断信息；VERIFY计算表达式的值，但不管值为0还是非0都不

会输出诊断信息。

 

断言(assertion)用带断言信息(程序, 模块, assertion行)的对话框执行

. 对话框有3个按钮: "Break", "Repeat" ("Debug"), and "Continue"

("Ignore"). "Break" 结束程序, "Continue" 忽略断言, 最有用的

是"Repeat"按钮. 按下它在断言的地方打开源代码编辑器. 在这里你可以

测试所有的变量值并明白哪里出了问题。

例如：ASSERT(pPointer);ASSERT(n>0 && n<100);ASSERT(0);

ASSERT在执行简单验证时很有用，但对于C++对象，特别是由CObject派生

的对象，则有更好的方法ASSERT_VALID来实现类似操作。作为一般规则，

我们应在开始使用每一个对象之前检查数据讹误,

ASSERT_VALID宏使得对CObject的派生类实现该操作非常简单。

例如：ASSERT_VALID(this);ASSERT_VALID(pView);

VERIFY()

    VERIFY()和 ASSERT()很相似，区别在于在 Release 版本中它仍然有

效（译者注：原作者在这里没有讲清楚，VERIFY()不会打印说明，只是会

对参数表达式求值）。

TRACE()

    TRACE()基本上就是函数 printf()的一个复制品，唯一的区别是它把

结果输出到调试窗口。在 Release 版本中，它也是无效的。一般是用

TRACE0(),TRACE1(),TRACE2()…而不用TRACE()。

? 这三个宏在 Release 版本中都不会产生任何实质性的影响，它们是否

起作用取决于是否定义了预定义了宏 _DEBUG。这是对 Microsoft Visual

C++ 而言，在其它的编译器中可能其它不同的宏。

常用用法：

为了控制传进的指针:

void SomeFun(SomeType* pPointer)

{

  ASSERT(pPointer);

 //some instructions.

}

你可以在"switch" 和 "if"操作中捕获奇怪的值

例如:

switch(nRGBColors){

  case nRed:  {//some instructions.} break;

  case nGreen: {//some instructions.} break;

  case nBlue:  {//some instructions.} break;

  default: ASSERT(0);    // we should have never come here!

}

if(nWaterTemp >=0 && nWaterTemp < 50){

  //some instructions.

}

else if(nWaterTemp >= 50 && nWaterTemp <= 100){

  //some instructions.

}

else{

  ASSERT(0);    // we should have never come here!

}

对值的断言:

ASSERT(nSomeValue >= MinValue and nSomeValue <= MaxValue);

ASSERT(nOtherValue != 0);

 

可爱的 ASSERT 错误

ASSERT( m_MyWnd.Create() );

呕! 这是一个可怕的错误! 程序在调试版中正常工作, 在发行版中不工作

. 记住: 这是一个在发行版中将被移除的宏. 以这种方法你的窗口将永远

不会被创建. 如果你用 MFC, 这样做:

VERIFY( m_MyWnd.Create() );

它在调试版中像ASSERT一样并且在发行版中执行m_MyWnd.Create()。

处于debug模式下时：

当测试的值为0，则ASSERT会提示出错，并中断程序执行。而VERIFY也会

报错，但只是暂停程序执行。

处于release模式下时：

ASSERT语句会被忽略，如同不存在；而VERIFY语句本身不执行,但其括号

里的语句能执行，其结果值可用,由于verify的不执行所以不会报错，也

不暂停程序的执行。