msdn之断言篇

http://msdn.microsoft.com/zh-cn/library/3ekw7kc1(v=vs.80).aspx

CRTDBG.H 头文件为断言检查定义 _ASSERT 宏和 _ASSERTE 宏。

宏	结果
_ASSERT	如果指定的表达式计算为 FALSE，则为 _ASSERT 的文件名和行号。
_ASSERTE	与 _ASSERT 相同，并加上所断言的表达式的字符串表示形式。

_ASSERTE 功能更强，因为它还报告结果为 FALSE 的断言表达式。从而使有可能不必参考源代码便足以确定问题。但是，对于使用 _ASSERTE 断言的每个表达式，应用程序的“Debug”版本均包含一个字符串常数。如果使用许多 _ASSERTE 宏，这些字符串表达式将占用相当数量的内存。如果出现这个问题，请使用 _ASSERT以节约内存。

定义了 _DEBUG 时，_ASSERTE 宏将定义如下：

#define _ASSERTE(expr) \
   do { \
      if (!(expr) && (1 == _CrtDbgReport( \
         _CRT_ASSERT, __FILE__, __LINE__, #expr))) \
         _CrtDbgBreak(); \
   } while (0)

如果断言表达式计算为 FALSE，则调用 _CrtDbgReport 来报告断言失败（默认情况下使用消息对话框）。如果在消息对话框中选择“重试”，则 _CrtDbgReport返回 1，并且 _CrtDbgBreak 通过 DebugBreak 调用调试器。

替换 printf

_ASSERTE 使您可以将以下代码：

#ifdef _DEBUG
   if ( someVar > MAX_SOMEVAR )
      printf( "OVERFLOW! In NameOfThisFunc( ),
               someVar=%d, otherVar=%d.\n",
               someVar, otherVar );
#endif

用一条语句替换：

_ASSERTE(someVar <= MAX_SOMEVAR);

检查堆损坏

下面的示例使用 _CrtCheckMemory 检查堆是否损坏：

_ASSERTE(_CrtCheckMemory());

检查指针有效性

下面的示例使用 _CrtIsValidPointer 验证给定的内存范围对于读或写是否有效。

_ASSERTE(_CrtIsValidPointer( address, size, TRUE );

下面的示例使用 _CrtIsValidHeapPointer 来验证指针指向本地堆（由 C 运行时库的这个实例创建和管理的堆；DLL 可以有它自己的库实例，因而也可以有它自己的、位于应用程序堆之外的堆）中的内存。该断言不仅捕捉空地址或超出边界的地址，还捕捉指向静态变量、堆栈变量和其他任何非本地内存的指针。

_ASSERTE(_CrtIsValidPointer( myData );

检查内存块

下面的示例使用 _CrtIsMemoryBlock 验证某内存块在本地堆中，并且有有效的块类型。

_ASSERTE(_CrtIsMemoryBlock (myData, size, &requestNumber, &filename, &linenumber));

可以使用断言语句捕捉逻辑错误。可以在根据程序逻辑必须为真的条件上设置断言。除非发生逻辑错误，否则断言无任何影响。

您可以包含如下的 CRT 断言：

_ASSERT(numMols >= 0);

程序运行正确时这些语句无任何影响。但如果出现逻辑错误导致 numMols 小于零，则断言将暂停程序执行并显示“断言失败”对话框。