MSDN Home > 使用 Visual Studio .NET 进行开发 > 生成、调试和测试 > 调试 > 调试 Visual C++ > 断言 |
CRTDBG.H 头文件为断言检查定义 _ASSERT 宏和 _ASSERTE 宏。
_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)); 请参见 |