社区
C++ 语言
帖子详情
【请教】断言assert
ccj200308053
2004-09-22 03:38:25
断言assert是什么意思?怎么使用?
...全文
970
8
打赏
收藏
【请教】断言assert
断言assert是什么意思?怎么使用?
复制链接
扫一扫
分享
转发到动态
举报
写回复
配置赞助广告
用AI写文章
8 条
回复
切换为时间正序
请发表友善的回复…
发表回复
打赏红包
Linch112
2004-09-22
打赏
举报
回复
斑竹这样的循循善诱,苦口婆心,真让人感动啊......
yuanye2008
2004-09-22
打赏
举报
回复
学习!爽!
daylove
2004-09-22
打赏
举报
回复
学习一下,看书还没有看到。
短歌如风
2004-09-22
打赏
举报
回复
在《编程精粹》第二章(自己设计并使用断言)开始的一段话把assert的用途说的很清楚:
利用编译程序自动查错固然好,但我敢说只要你观察一下项目中那些比较明显的错误,就会发现编译程序所查出的只是其中的一小部分。我还敢说,如果排除掉了程序中的所有错误那么在大部分时间内程序都会正确工作。
还记得第1章中的下面代码吗?
strCopy = memcpy(malloc(length), str, length);
该语句在多数情况下都会工作得很好,除非malloc的调用产生失败。当malloc失败时,就会给memcpy返回一个NULL指针。由于memcpy处理不了NULL指针,所以出现了错误。如果你很走运,在交付之前这个错误导致程序的瘫痪,从而暴露出来。但是如果你不走运,没有及时地发现这个错误,那某位顾客就一定会“走运”了。
编译程序查不出这种或其他类似的错误。同样,编译程序也查不出算法的错误,无法验证程序员所作的假定。或者更一般地,编译程序也查不出所传递的参数是否有效。
寻找这种错误非常艰苦,只有技术非常高的程序员或者测试者才能将它们根除并且不会引起其他的问题。
然而假如你知道应该怎样去做的话,自动寻找这种错误就变得很容易了。
两个版本的故事
让我们直接进入memcpy,看看怎样才能查出上面的错误。最初的解决办法是使memcpy对NULL指针进行检查,如果指针为NULL,就给出一条错误信息,并中止memcpy的执行。下面是这种解法对应的程序。
/* memcpy ─── 拷贝不重叠的内存块 */
void memcpy(void* pvTo, void* pvFrom, size_t size)
{
void* pbTo = (byte*)pvTo;
void* pbFrom = (byte*)pvFrom;
if(pvTo == NULL | | pvFrom == NULL)
{
fprintf(stderr, “Bad args in memcpy\n”);
abort();
}
while(size-->0)
*pbTo++ == *pbFrom++;
return(pvTo);
}
只要调用时错用了NULL指针,这个函数就会查出来。所存在的唯一问题是其中的测试代码使整个函数的大小增加了一倍,并且降低了该函数的执行速度。如果说这是“越治病越糟”,确实有理,因为它一点不实用。要解决这个问题需要利用C的预处理程序。
如果保存两个版本怎么样?一个整洁快速用于程序的交付;另一个臃肿缓慢件(因为包括了额外的检查),用于调试。这样就得同时维护同一程序的两个版本,并利用C的预处理程序有条件地包含或不包含相应的检查部分。
void memcpy(void* pvTo, void* pvFrom, size_t size)
{
void* pbTo = (byte*)pvTo;
void* pbFrom = (byte*)pvFrom;
#ifdef DEBUG
if(pvTo == NULL | | pvFrom == NULL)
{
fprintf(stderr, “Bad args in memcpy\n”);
abort();
}
#endif
while(size-->0)
*pbTo++ == *pbFrom++;
return(pvTo);
}
这种想法是同时维护调试和非调试(即交付)两个版本。在程序的编写过程中,编译其调试版本,利用它提供的测试部分在增加程序功能时自动地查错。在程序编完之后,编译其交付版本,封装之后交给经销商。
当然,你不会傻到直到交付的最后一刻才想到要运行打算交付的程序,但在整个的开发工程中,都应该使用程序的调试版本。正如在这一章和下一章所建,这样要求的主要原因是它可以显著地减少程序的开发时间。读者可以设想一下:如果程序中的每个函数都进行一些最低限度的错误检查,并对一些绝不应该出现的条件进行测试的活,相应的应用程序会有多么健壮。
这种方法的关键是要保证调试代码不在最终产品中出现。
利用断言进行补救
说老实话memcpy中的调试码编得非常蹩脚,且颇有点喧宾夺主的意味。因此尽管它能产生很好的结果,多数程序员也不会容忍它的存在,这就是聪明的程序员决定将所有的调试代码隐藏在断言assert中的缘故。assert是个宏,它定义在头文件assert.h中。assert虽然不过是对前面所见#ifdef部分代码的替换,但利用这个宏,原来的代码从7行变成了1行。
void memcpy(void* pvTo, void* pvFrom, size_t size)
{
void* pbTo = (byte*)pvTo;
void* pbFrom = (byte*)pvFrom;
assert(pvTo != NULL && pvFrom != NULL);
while(size-->0)
*pbTo++ == *pbFrom++;
return(pvTo);
}
aasert是个只有定义了DEBUG才起作用的宏,如果其参数的计算结果为假,就中止调用程序的执行。因此在上面的程序中任何一个指针为NULL都会引发assert。
assert并不是一个仓促拼凑起来的宏,为了不在程序的交付版本和调试版本之间引起重要的差别,需要对其进行仔细的定义。宏assert不应该弄乱内存,不应该对未初始化的数据进行初始化,即它不应该产主其他的副作用。正是因为要求程序的调试版本和交付版本行为完全相同,所以才不把assert作为函数,而把它作为宏。如果把assert作为函数的话,其调用就会引起不期望的内存或代码的兑换。要记住,使用assert的程序员是把它看成一个在任何系统状态下都可以安全使用的无害检测手段
短歌如风
2004-09-22
打赏
举报
回复
assert(<expression>);
当expression结果为“假”时,会在stderr中输出这条语句所在的文件名和行号,以及这条表达式。这只在调试版本中起作用,在Release版本中不会产生任何代码。
通常当我们使用assert时,都在强烈说明一个含义:在这里必然如此。它通常用于一个函数的先验条件和后验条件的检查。比如我写一个C风格复制字符串的函数,并且认为调用者不应该传入NULL指针:
char * clone_string(const char * source)
{
char * result;
assert(source != NULL);
result = (char *)malloc(strlen(source) + 1);
if (result != NULL)
{
strcpy(result, source);
assert(strcmp(result, source) == 0);
}
return result;
}
注意到我对source是否为NULL是用assert检查的,但对result是不是为NULL是用if语句判断的,这是因为在调用代码正确的情况下source必然不为NULL,如果断言失败,说明调用代码中有错误,需要修改;但result作为malloc的返回值则不一定,在malloc代码无误的情况下仍然可能返回NULL——当内存块不足时。最后又用assert对strcpy的结果进行检查,因为只要代码正确,无论什么情况strcpy应该正常完成复制,它没有malloc那种异常情况存在。
freebird92
2004-09-22
打赏
举报
回复
assert(条件)
这个函数的意思就是:条件真时,继续执行,条件假时,蹦整个程序结束。
freshairfly
2004-09-22
打赏
举报
回复
assert()是C 语台标准库中提供的一个通用预处理器宏在代码中常利用assert()来判断一
个必需的前提条件以便程序能够正确执行例如假定我们要读入一个文本文件并对其
中的词进行排序必需的前提条件是文件名已经提供给我们了这样我们才能打开这个文件
为了使用assert() 必须包含与之相关联的头文件
#include <assert.h>
下面是一个简单的使用示例
assert( filename != 0 );
assert()将测试filename 不等于0 的条件是否满足这表示为了后面的程序能够正确执
行我们必须断言一个必需的前提条件如果这个条件为假即filename 等于0) 断言
失败则程序将输出诊断消息然后终止
oo
2004-09-22
打赏
举报
回复
assert(逻辑表达式)
逻辑表达式结果为false时程序出错。
SQL server中实现
断言
最近学习数据库系统概论,遇到了一个问题,查了好久没有解决,
请教
老师后才了解到在SQL server中要在触发 器中定义涉及多个表或聚集操作的完整性约束,现在分享给大家。 在SQL中可以使用数据定义语言中的CREATE ...
【实用编程技巧】不想改bug?初学者必须学会使用的报错函数
assert
!(
断言
函数详解)
有关报错函数
assert
断言
的新手入门详解.其中包括
assert
函数简介,参数及返回值解析,
assert
函数用法总结及注意事项,使用
断言
的原则等相关内容.学会使用
断言
,你的程序就能自己找bug了!
assert
断言
断言
经常有这样的情况,程序运行中出现的问题与不正确的假设有关但并非代码的错误。这些不正确的假设往往是被直观认为不会发生的事件,因此我们需要对系统的内部逻辑做出确认。针对这种情况, X/Open 提供了 ...
RT-Thread 入门学习笔记 - 解决RT_
ASSERT
失效的问题
忽然发现自己的代码异常的健壮,不出现RT_
ASSERT
断言
死机? 经过软件调试,发现:自己关闭了 RT_
ASSERT
功能!! 开启RT_
ASSERT
功能 分析原因 要开启:#define RT_DEBUG 为什么不开启:#define RT_DEBUG...
java
assert
false_Java / JUnit-
Assert
True与
Assert
Fals
Matt Solnit answered 2020-01-27T14:07:56Z 29 votes 您的理解是不正确的,在这种情况下总是
请教
JavaDoc。
断言
错误 condition
断言
条件为假。 如果不是,它将在给定的消息中引发
Assert
ionError。 参数: ...
C++ 语言
64,654
社区成员
250,484
社区内容
发帖
与我相关
我的任务
C++ 语言
C++ 语言相关问题讨论,技术干货分享,前沿动态等
复制链接
扫一扫
分享
社区描述
C++ 语言相关问题讨论,技术干货分享,前沿动态等
c++
技术论坛(原bbs)
社区管理员
加入社区
获取链接或二维码
近7日
近30日
至今
加载中
查看更多榜单
社区公告
请不要发布与C++技术无关的贴子
请不要发布与技术无关的招聘、广告的帖子
请尽可能的描述清楚你的问题,如果涉及到代码请尽可能的格式化一下
试试用AI创作助手写篇文章吧
+ 用AI写文章