百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 技术文章 > 正文

「Hello World」中的「bug」(hello world有bug吗)

cac55 2024-09-29 09:30 50 浏览 0 评论

选自sunfishcode博客

作者:sunfishcode

机器之心编译

机器之心编辑部

Hello World 可能是许多人编写的第一个程序。这么简单的程序按理说应该没有 bug 吧?一位叫「sunfishcode」的开发者给出了令人意外的结论。

C 语言中的 Hello World

用 C 语言写 Hello World 有很多种不同的方式,比如维基百科里记录的版本、K&R book 中介绍的版本,甚至还有 1974 年的原始版本。

这里展示一个 ANSI C 的版本:

/* Hello World in C, Ansi-style */
#include <stdio.h>
#include <stdlib.h>
int main(void)
{  
    puts("Hello World!");  
    return EXIT_SUCCESS;}

这个版本使用 (void) 来确保 main 是一个新型的声明。它使用 EXIT_SUCCESS 宏,而不是假设平台使用 0 表示 success,根据 C 的标准,这是不必要的。但我们在这里不会冒任何风险。它使用适当的头文件以避免隐式声明 puts。

这个版本试图把每件事都做好,但它仍然有一个缺陷。

上面提到的所有版本都有一个 bug。

bug 在哪儿?

Linux 有一个有趣的设备文件,叫做「/dev/full」,就像它更著名的表亲「/dev/null」一样。但是当你写入「/dev/full」时,它不会丢弃数据,而是会失败。它的作用就像文件系统中一个刚刚耗尽空间的文件:

$ echo "Hello World!" > /dev/full
bash: echo: write error: No space left on device
$ echo $?
1

这是一个很好的小工具,用于测试程序能否正确处理 I/O 错误。如果没有剩余的空间,或者磁盘出现故障,那么创建实际的文件系统是很不方便的,但是让一个程序将其输出写入「/dev/full」,然后看看会发生什么,这是非常容易的。

让我们测试一下上面的 C 语言例子:

$ gcc hello.c -o hello$ 
./hello > /dev/full$ 
echo $?
0

与在上面的 shell 中使用 echo 不同,这里没有输出,退出状态为零。这意味着 hello 程序报告了成功执行。然而,它实际上并没有成功。我们可以通过使用 strace 确认它遇到了故障。

$ strace -etrace=write ./hello > /dev/full
write(1, "Hello World!\n", 13)          = -1 ENOSPC (No space left on device)
+++ exited with 0 +++

操作系统报告了「No space」错误,但没关系,程序默默地接受它并返回 0,这是成功的代码。这是一个 bug!

这个 bug 有多严重?可以说,hello world 在任何地方都不会是安全的。然而,hello world 确实做了一些现实世界的程序所做的事情:打印到标准输出,这可能会被重定向到一个文件。在现实世界中,文件可能会耗尽空间。如果一个程序没有检测到这种错误并通过其返回代码报告该错误,那么它的父进程将不知道子进程失败了,并且将继续运行,就像没有任何错误一样,即使它期望产生的输出已经悄悄地丢失了数据。

例如,考虑一个将 yaml 文件打印到标准输出的程序。如果标准输出耗尽空间,则输出可能会在某个任意点被截断,尽管它可能仍然是有效的 yaml。因此,我们应该期待程序能够检测和报告这种情况。

如果换成其他语言呢?

在前面的内容中,我们重点看了 bash 和 C,那如果换成 Python 呢?Python 处理错误的原则可是「Errors should never pass silently」。以下是 Python 2 的情况:

$ python2 hello.py > /dev/full
close failed in file object destructor:
sys.excepthook is missing
lost sys.stderr
$ echo $?
0

它确实向 stderr 打印了一条消息,尽管这是一条令人困惑的消息。但是,它也返回 0,这意味着它告诉运行它的人它已经成功退出。

幸运的是,Python 3 正确地报告了错误,并打印了一个更好的错误消息:

$ python3 hello.py > /dev/full
Exception ignored in: <_io.TextIOWrapper name='<stdout>' mode='w' encoding='utf-8'>
OSError: [Errno 28] No space left on device
$ echo $?
120

最后,作者又尝试了几种语言,结果如下:


原文链接:https://blog.sunfishcode.online/bugs-in-hello-world/

封面出自:https://lmichelin.fr/hello-world/

相关推荐

如何屏蔽色情网站?_怎么能屏蔽网站

一、基础防御:全网DNS劫持阻断1.修改全网DNS服务器推荐DNS:安全DNS:CleanBrowsing(成人内容过滤):185.228.168.168/185.228.169.168Open...

容器、Pod、虚拟机与宿主机网络通信全解:看这一篇就够了

在日常开发与部署过程中,很多人一开始都会有这样的疑惑:容器之间是怎么通信的?容器怎么访问宿主机?宿主机又如何访问容器?Kubernetes中Pod的网络和Docker容器一样吗?容器跨机器是...

Win11专业版找不到共享打印机的问题

有很多深度官网的用户,都是在办公室上班的。而上班就需要使用打印机,但更新win11系统后,却出现同一个办公室里面的打印机都找不到的问题,这该如何处理呢?其实,可能是由于我们并没有打开共享打印机而造成的...

常用电脑快捷键大全,摆脱鼠标依赖,建议收藏

Ctrl+C复制Ctrl+X剪切Ctrl+V粘贴Ctrl+Z撤销Ctrl+Y重做Ctrl+B加粗Ctrl+A全选所有文件Ctrl+S保存Ctrl+N新建Ctrl+O打开Ctrl+E...

Win11实现自动追剧Jellyfin硬解,免NAS复杂操作

大家好,欢迎来到思赞数码。本期将详细介绍如何通过安装和配置Sonarr、Radarr、Prowlarr、qBittorrent和Jellyfin,打造一套自动化的影视管理系统。很多人认为,要实现自动追...

微软Win11安卓子系统WSA 2308.40000.3.0更新推送下载

IT之家9月21日消息,微软官方博客今日宣布,已面向所有WindowsInsider用户推送了Windows11安卓子系统的2308.40000.3.0版本更新。本次更新和之前...

路由器总掉线 一个命令就能猜出八九分

明明网络强度满格或有线图标正常,但视频卡成PPT、网页刷不开、游戏动不了,闲心这些问题很多小伙伴都碰到过。每次都要开关路由、宽带/光猫、插拔网线……一通忙。有没有啥办法能快速确定故障到底在哪儿,方便处...

windows电脑如何修改hosts文件?_windows怎么修改hosts

先来简单说下电脑host的作用hosts文件的作用:hosts文件是一个用于储存计算机网络中各节点信息的计算机文件;作用是将一些常用的网址域名与其对应的IP地址建立一个关联“数据库”,当用户在浏览器中...

win10广告弹窗ShellExperienceHost.exe

win10右下角老是弹出广告弹窗,排查为以下程序引起,但是这个是系统菜单的程序不能动:C:\Windows\SystemApps\ShellExperienceHost_cw5n1h2txyewy\S...

Win10 Mobile预览版10512/10166越狱解锁部署已被黑客攻破

看起来统一的WindowsPhone和Windows越加吸引人们的关注,特别是黑客们的好奇心。XDA论坛宣称,在Win10Mobile预览版10512/10166上,已取得越狱/解锁部署突破,比如可...

6款冷门小众软件,都是宝藏,建议收藏

真的很不错(。-ω-)zzzBearhttps://bear.app/cn/Bear是一个漂亮,灵活的Markdown的写作工具。它一样只支持苹果家的全平台。它一出现就惊艳四方,就被AppSto...

如何让不符合条件的设备升级Windows 11

如果你是最近(6月24日之后)加入WindowsInsider项目并且你的设备并不符合升级条件,那么当你在尝试升级Windows11的时候可能会看到以下错误:你的PC不符合Wi...

windows host文件怎么恢复?局域网访问全靠这些!

windowshost文件怎么恢复?windowshost文件是常用网址域名及其相应IP地址建立一个关联文件,通过这个host文件配置域名和IP的映射关系,以提高域名解析的速度,方便局域网用户使用...

Mac Hosts管理工具---SwitchHosts

switchhosts!formac是一款帮助用户快速切换hosts文件的工具,switchhosts!formac能够帮助你快速方便的打造个人专用的网络环境,支持本地和在线两种方式,并且支持...

「浅谈趣说网络知识」 第十二弹 老而不死的Hosts,它还很有用

【浅谈趣说网络知识】第十二弹老而不死的Hosts,它还很有用什么时候才觉得自己真的老了,不是35岁以上的数字,不是头上的点点白发,而是不知觉中的怀旧。风口上的IT界讲的就是"长江后浪推前浪...

取消回复欢迎 发表评论: