CRT 断言
更新:2007 年 11 月
本主题适用于:
版本 |
Visual Basic |
C# |
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));