谁是多余的？

liexusong

还是要全面点~

shaoxia

顶

没本

如果楼主牢记住了一切别人写的API内部的所有边界及例外判定，因此可以精确的避免在自己的程序中写出冗余的例外检查语句。真是如此的话，飞升也指日可待了。

bruceteen

strcpy内部的检查是多余的，甚至可以算得上是错误的
因为C标准规定了strcpy参数字符串必须是有效的，因此重复检查是多余的

如果你认为应该检查参数是否为0的话，那么是不是应该检查参数是否为1，是否为2？是不是应该检查字符串是否已经被释放。
任何一个算法，只应该保证在契约之内的正确性。在契约之外，不应该保证其正确，也不应该保证其错误。而且从理论上讲，也无法做到。比如“行走于桥上可保证安全”，你如何做到别人跳桥时一定保证其生还，或别人跳桥时一定保证其死亡？

另外，为什么参数为0就要让它出错呢？虽然目前所有操作系统在0内存处存的都不是字符串，但C标准没有权力要求所有编译器都不可以在0内存处存字符串。
所以对于strcpy，C标准要求用户输入的是合法字符串，而不是“非某个特定值的地址”。

zhaohongjian000

strcpy内部的检查是多余的，甚至可以算得上是错误的
因为C标准规定了strcpy参数字符串必须是有效的，因此重 ...
bruceteen 发表于 2010-07-07 20:38

    assert是用来做什么的？assert就是用来检查程序员犯的错误的。对于strcpy来说，如果参数有一个是NULL的，那么这次调用是错的，这时assert可以告诉程序员，你这里写错了。因此strcpy内部的检查并不多余。

tyc611

该怎么用看文档，别去看实现