“Hello World”中的“bug”

选自sunfishcode博客
作者:sunfishcode
机器之心编译
机器之心编辑部
HelloWorld可能是许多人编写的第一个程序 。 这么简单的程序按理说应该没有bug吧?一位叫「sunfishcode」的开发者给出了令人意外的结论 。
C语言中的HelloWorld
用C语言写HelloWorld有很多种不同的方式 , 比如维基百科里记录的版本、K&Rbook中介绍的版本 , 甚至还有1974年的原始版本 。
“Hello World”中的“bug”
文章图片
这里展示一个ANSIC的版本:
这个版本使用(void)来确保main是一个新型的声明 。 它使用EXIT_SUCCESS宏 , 而不是假设平台使用0表示success , 根据C的标准 , 这是不必要的 。 但我们在这里不会冒任何风险 。 它使用适当的头文件以避免隐式声明puts 。
这个版本试图把每件事都做好 , 但它仍然有一个缺陷 。
上面提到的所有版本都有一个bug 。
bug在哪儿?
Linux有一个有趣的设备文件 , 叫做「/dev/full」 , 就像它更著名的表亲「/dev/null」一样 。 但是当你写入「/dev/full」时 , 它不会丢弃数据 , 而是会失败 。 它的作用就像文件系统中一个刚刚耗尽空间的文件:
这是一个很好的小工具 , 用于测试程序能否正确处理I/O错误 。 如果没有剩余的空间 , 或者磁盘出现故障 , 那么创建实际的文件系统是很不方便的 , 但是让一个程序将其输出写入「/dev/full」 , 然后看看会发生什么 , 这是非常容易的 。
让我们测试一下上面的C语言例子:
与在上面的shell中使用echo不同 , 这里没有输出 , 退出状态为零 。 这意味着hello程序报告了成功执行 。 然而 , 它实际上并没有成功 。 我们可以通过使用strace确认它遇到了故障 。
操作系统报告了「Nospace」错误 , 但没关系 , 程序默默地接受它并返回0 , 这是成功的代码 。 这是一个bug!
这个bug有多严重?可以说 , helloworld在任何地方都不会是安全的 。 然而 , helloworld确实做了一些现实世界的程序所做的事情:打印到标准输出 , 这可能会被重定向到一个文件 。 在现实世界中 , 文件可能会耗尽空间 。 如果一个程序没有检测到这种错误并通过其返回代码报告该错误 , 那么它的父进程将不知道子进程失败了 , 并且将继续运行 , 就像没有任何错误一样 , 即使它期望产生的输出已经悄悄地丢失了数据 。
例如 , 考虑一个将yaml文件打印到标准输出的程序 。 如果标准输出耗尽空间 , 则输出可能会在某个任意点被截断 , 尽管它可能仍然是有效的yaml 。 因此 , 我们应该期待程序能够检测和报告这种情况 。
如果换成其他语言呢?
在前面的内容中 , 我们重点看了bash和C , 那如果换成Python呢?Python处理错误的原则可是「Errorsshouldneverpasssilently」 。 以下是Python2的情况:
它确实向stderr打印了一条消息 , 尽管这是一条令人困惑的消息 。 但是 , 它也返回0 , 这意味着它告诉运行它的人它已经成功退出 。
幸运的是 , Python3正确地报告了错误 , 并打印了一个更好的错误消息:
最后 , 作者又尝试了几种语言 , 结果如下:
“Hello World”中的“bug”
文章图片
“Hello World”中的“bug”
文章图片
“Hello World”中的“bug”】封面出自:https://lmichelin.fr/hello-world/