VERIFY,ASSERT,TRACE

参考地址1：http://blog.sina.com.cn/s/blog_4eb30c250100i98m.html

参考地址2：http://blog.sina.com.cn/s/blog_5452ce2a0100003x.html

 

用法：

1.   Debug模式下

      ASSERT与VERIFY宏在Debug模式下作用基本一致，二者都对表达式的值进行计算，如果值为非0，则什么事也不做；如果值为0，则输出诊断信息。  
2.   Release模式下

     ASSERT与VERIFY宏在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++ 而言，在其它的编译器中可能其它不同的宏。确切的说，在Release版中，所有的ASSERT(断言)宏都被删除了，所以ASSERT不会对发布版本中的程序有影响！但VERIFY宏会！

      VERIFY宏实际上是ASSERT宏的变体，它的内部仍然使用的是ASSERT宏进行判断的！

在Release版中，VERIFY宏所包围的那部分代码（注意：这是一些可能会改变程序运行结果的代码！）被保留下来了（这一点和ASSERT宏不同），但是它里面的ASSERT宏的部分被删除了，这样就使他失去了原来断言判断的功能！所以严格地说，VERIFY宏和ASSERT宏一样，只在DEBUG版中发挥作用！

     VERIFY() 不论在DEBUG还是RELEASE版都要运行括号里的语句，只是在DEBUG 方式下如果括号内表达式为false,则生成一个调试异常，RELEASE版忽略。
ASSERT()在REALSE 版被完全忽略

 

    一般不提倡用VERIFY，除非你确信要用到他的与ASSERT不同的功能——在表达式里可以包含程序代码！

 

 

应用举例1：

 

//为了控制传进的指针:
void SomeFun(SomeType* pPointer)
{
  ASSERT(pPointer);
 //some instructions.
}

应用举例2：

 

//在"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!
}

 

应用举例3：

 

ASSERT(nSomeValue >= MinValue and nSomeValue <= MaxValue);
ASSERT(nOtherValue != 0);

 

 

错误的例子：

ASSERT( m_MyWnd.Create() );

这是一个可怕的错误! 程序在调试版中正常工作, 在发行版中不工作. 记住: 这是一个在发行版中将被移除的宏. 以这种方法你的窗口将永远不会被创建. 如果你用 MFC, 这样做:

VERIFY( m_MyWnd.Create() );

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