MSDN Home >  使用 Visual Studio .NET 进行开发 >  生成、调试和测试 >  调试 >  调试 Visual C++ >  断言

Visual Studio  

CRT 断言

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));

请参见

断言

个人信息中心 |与我们联系

©2007 Microsoft Corporation. 版权所有.  保留所有权利 |商标 |隐私权声明