CRT 断言

项目
08/12/2011

本主题适用于：

版本	Visual Basic	C#	F#	C++	Web Developer
学习版				仅限本机
专业版、高级专业版和旗舰版				仅限本机

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 断言

替换 printf

检查堆损坏

检查指针有效性

检查内存块

请参见

概念

其他资源