msdn之断言篇
来源:互联网 发布:java中的引用 编辑:程序博客网 时间:2024/06/05 01:08
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 小于零,则断言将暂停程序执行并显示“断言失败”对话框。
- msdn之断言篇
- 《windows 程序调试》读书笔记之断言篇
- Jmeter断言之响应断言-响应断言名词详细解释
- C语言之断言
- C语言之断言
- C语言之断言
- java之断言assert
- c语言之断言
- C语言之断言
- gtest学习之断言
- C语言之断言
- jmeter之断言
- C语言之断言
- C语言之断言
- SOAPUI 断言之三
- IOS测试之--断言
- java基础之断言
- JUnit之断言assert
- C++ primer(第五版) 练习 7.11 个人 code
- ssh框架Junit测试DAO
- 没有意义的代码书写
- “凡事无绝对”这话错在哪里?
- vlc在windows下的开发使用
- msdn之断言篇
- 【最短路径】hdu 3790
- eclipse 添加dtd
- java内部类
- PAT 1038. Recover the Smallest Number
- 理解矩阵
- LeetCode | Validate Binary Search Tree(有效的二叉搜索树)
- NoClassDefFoundError与ClassNotFoundException的区别
- 增量式修改检验和(IP, TCP, UDP)算法的研究和实现