写点什么

关于 Tab 与空格之争,暴躁老哥 Linus 又有新指示!

  • 2024-04-22
    北京
  • 本文字数:2632 字

    阅读完需:约 9 分钟

大小:1.22M时长:07:05
关于Tab与空格之争,暴躁老哥Linus又有新指示!

Tab 与空格之争是个延续自 Unix 时代的问题。

Linus 故意“复杂化”Linux Kconfig 中的缩进机制

 

长久以来,Linus 一直以公开、尖锐提出反馈意见而闻名。尽管自 2018 年以来他一直在努力控制情绪,但从他最近回复自己强烈反对的提案来看,我们熟悉的那位暴躁老哥又回来了,只是用词文明了许多。这次他针对的,是 Tab 问题。

 

近日,Linux 内核的最新候选版本内核 6.9-rc4 正式发布,在常见的驱动程序与 bug 修复部分,不仅对 bcachefs 进行了更多的调整和优化,还针对最近发现的 Spectre 式本机分支历史注入数据泄漏问题,提供了有效的缓解措施,以确保系统的稳定性和安全性。


新版本中最引人注目的变化莫过于 Linus 本人所做出的配置文件变量调整。他针对“Kconfig”进行了优化,主动添加了一些隐藏 Tab,将原本的空格缩进改为 Tab 缩进。这一举措旨在消除那些质量低下的解析器,从而提升整体性能和稳定性。


具体来讲,在下面这段内核源代码中:


    default 12 if PAGE_SIZE_4KB    default 13 if PAGE_SIZE_8KB    default 14 if PAGE_SIZE_16KB    default 15 if PAGE_SIZE_32KB    default 16 if PAGE_SIZE_64KB    default 18 if PAGE_SIZE_256KB
复制代码


default 值与整数值之间的字符现在为八字符宽度的 Tab 缩进。但由于恰好落在 Tab 边界的末端,所以其显示成了一个空格字符。


Kconfig 是用于控制内核构建系统的配置语言,与许多其他越位规则语言一样,它会使用缩进来分隔各代码块。Linus 发现一段特定代码更改 commit d96c36004e31,其作用只有一个:修复 FTRACE_RECORD_RECURSION_SIZE 条目,用空格字符替换 Tab 符,这能帮助 Kconfig 解析器正确读取文件。

 

在此更改中,他故意让内核构建配置文件中的缩进机制变得更复杂,以迫使此类解析工具的作者随之改进。Linus 的意见是“主动添加一些隐藏的 Tab”,这种故意让 Tab 检测失败的作法已经清晰表达了他的立场。他还写道,“除非必要,否则我不希望多此一举。但现实中的确出现了不少这类愚蠢的工具,所以我只能选择这种方式”。Linus 本人对此做出的解释是:我还是觉得应该做出修改。因为如果无法将 Tab 解析为空格,那些工具就没资格解析内核 Kconfig 文件。

 

据悉,Linus 的隐藏 Tab 提议出现在 Linux 内核 6.9 的第四个候选版本当中。Linus 写道,该版本在发布当周“并没有发生什么特别的状况”。

 

值得一提的是,这次 Linus 并没有态度激烈地“口吐芬芳”,而是故意、甚至可以说是恶意使用更复杂的缩进来恶心那些效果不佳的解析工具。他认为差劲的工具就该被淘汰掉,只有更合适、更强大的工具才能生存……而且这种方式也不会直接伤害任何人的感情。

Tab 与空格之争

 

Tab 与空格之争是个延续自 Unix 时代的问题,虽然事情不大,但却永远无法用标准、格式之类的简单方式得到解决。如果真要把问题放大,那可能需要投入无穷无尽的资源和人力。

 

而 Linux 内核项目一直坚持自己的编码风格,也就是编码圣经《C 程序设计语言》的作者 Kernighan 与 Ritchie 提出的原则——如果要提交内核代码,最好使用 Tab(理想情况下为八字符的 Tab,而这种设计又继承自当初的电传打字机与行式打印机)。

 

在现实编程中,缩进使用 Tab 还是空格的问题不仅在普通程序员中存在争议,很多技术大佬也会参与这项讨论。

 

在接受 Reddit 采访时,微软创始人比尔·盖茨果断站队了 Tab 阵营。他表示,“自己更喜欢用 Tab,因为我想让 column 排成一行。对于某些 Word 文档,我用 Tab,如此,当我想要修改部分内容,需要返回并编辑时,Tab 显然更容易操作”。

 

而在 HBO 的喜剧片《硅谷》第三季中,不同的缩进风格甚至导致两位程序员分手。两位程序员一边编程一边约会,男方忍受不了女方使用空格键缩进,认为 Tab 键更节省文件体积,最终二人不欢而散。

冲突核心

 

编程时需要用缩进来建立视觉层次结构,从而改善代码的结构和可读性。缩进主要用于显示哪些代码行属于条件、循环、方法或者类。除了显示范围之外,缩进还可以用于拆分较长的逻辑操作。包含复杂条件的三元运算符可以用缩进将其表达式拆分成几行,以便开发者加以区分。链式方法调用(如果超过两个)可以在新行上缩进,借此表明它们属于同一操作流。

 

很明显,缩进是一种专门针对人类的工具,目的就是方便开发者阅读和编写代码。每行开头添加的这些空格对于编译器其实没什么实际影响(Python 除外)。

 

而围绕 Tab 符和空格符掀起的争论,其关键并不在于缩进几个字符最合适,而是使用哪种字符更好。

 

Tab 符

 

按下键盘上的 Tab 键就能直接输出 Tab 符,解析器会将其解释成一定数量的空格,通常是 4 个或者 8 个空格符。使用 Tab 格式的文件通常较小,因为一个 Tab 符就能代表多个空格,而且现如今处理起来也没什么难度。

 

Tab 符的长度在不同 IDE 和编辑器中的解释各不相同,而且可以配置调整。所以哪怕是希望一个 Tab 对应 6 个空格,也完全没有问题。这种可定制性,使得 tab 符成为不想眼花的开发者们最支持的选项。

 

Tab 符发挥的是描述作用,负责告知编辑器应该添加的缩进量。但如果呈现则由代码的阅读者来决定。在 Tab 派开发者心中,Tab 符就是用来缩进的,而空格符专门负责对齐。

 

空格符

 

空格派的主要观点在于一致性。不同平台与编辑器往往有着不同的 Tab 缩进量。由于其可配置性,我们很难保证自己编写的代码始终能被读取为相同结果。如果我们从某处复制/粘贴来了代码,那么由于缩进量的差异,实际代码可能看起来一团糟。

 

但在任何编辑器和平台上,空格将始终只是空格。不同于 Tab 符的可配置性,空格在任何位置上的显示效果都一致且稳定。也就是说无论如何设置 Tab 符,代码都将显示为相同的格式。

 

不同之处在于,这个决定仅由代码编写者做出,而非阅读者做出。空格在代码本身中被固化为一种格式决策,而其他开发者在阅读时无法调整、只能被动接受。

问题的核心不止于技术

 

Tab 与空格之争的关键在于该用哪种字符表示缩进。这场争论不止于技术,更是编程理念的体现。

 

换言之,就是缩进方式到底该由谁来指定。

 

Tab 符的支持者们认为显示结构应该由阅读者来指定。空格派倡导者则主张应该由编写者指定,毕竟这样更有利于保持一致性。两派都有狂热的支持者,他们各自掌握着充分的论据,但最终如何选择仍然由开发者自己决定。

 

此前,Google 程序员 Felipe Hoffa 曾分析了 GitHub 上的 40 万个代码库,10 亿个文件,总共 14TB 数据,这些文件不包含重复的文件和代码行数低于 10 行的文件,分析后发现空格键远比 Tab 键流行。



那么问题来了,你是 Tab 派还是空格派?

 

参考链接:

https://www.theregister.com/2024/04/16/torvalds_complicates_his_indents/

https://alexkondov.com/indentation-warfare-tabs-vs-spaces/

2024-04-22 14:304182

评论 2 条评论

发布
用户头像
我是蛋黄派
2024-04-28 16:51 · 广东
回复
该评论已删除
2024-04-28 18:11 · 北京
回复
用户头像
我是中间派
2024-04-26 09:09 · 广东
回复
没有更多了
发现更多内容

10分钟带你徒手写个Java线程池

华为云开发者联盟

开发 华为云 华为云开发者联盟 企业号 5 月 PK 榜 Java线程池

Apache Pulsar 在火山引擎 EMR 的集成与场景

字节跳动数据平台

大数据 开源 云原生 解决方案 企业号 5 月 PK 榜

从0到1:可自定义数据列的成绩查询小程序开发笔记

CC同学

与伙伴同行,Serverless 让创新触手可及

阿里巴巴云原生

阿里云 Serverless 云原生

硬核Prompt赏析:与Auto-GPT的“契约”

无人之路

ChatGPT Prompt

GitHub上“千金难求”的Spring Boot趣味实战全彩版手册,太干了

程序知音

Java spring 微服务 springboot Java进阶

Redis Set 用了 2 种数据结构来存储,到现在才知道

Java你猿哥

Java ssm sets

汽油价格变动实时短信通知

DS小龙哥

三周年连更

xmind怎么导出为pdf?Xmind最全入门教程

Rose

Xmind 2022 XMind下载 思维导图软件

C++智能指针和内存管理:使用指南和技巧

小万哥

c++ 后端 开发 内存管理 智能指针

习惯了和AI聊天,感觉我更加社恐了......

FN0

人工智能 AI AIGC

MATLAB实现航天相关的仿真

袁袁袁袁满

三周年连更

云原生底座之上,这些企业领跑行业的秘密

阿里巴巴云原生

阿里云 容器 微服务 云原生

HTML和xml有哪些区别?

海拥(haiyong.site)

三周年连更

阿里巴巴官方上线!号称国内2023最新Java八股文天花板(终极版)首次开源

程序员小毕

程序员 微服务 JVM java面试 Java八股文、

IPRAN网络结构智能优化

鲸品堂

网络 通信 企业号 5 月 PK 榜

Mac音乐制作软件推荐:Ableton Live 11 Suite中文版「win/Mac」

Rose

Ableton Live 11破解版 Ableton Live 11中文版 苹果软件下载

Prometheus 瘦身第一步,使用 mimirtool 找到没用的 Prometheus 指标

巴辉特

Grafana Prometheus Mimir mimirtool

手把手教会你|Sockets多用户-服务器数据库编程

TiAmo

服务器 socket通信 数据库编程

景区共享电动车与校内共享电单车是否可行

共享电单车厂家

共享电动车厂家 景区共享电单车 校内共享电单车 共享电动车投放

如何保证 RabbitMQ 的消息可靠性

小小怪下士

Java 程序员 RabbitMQ 消息中间件

新手如何学习挖漏洞?看这篇就够了【网络安全】

网络安全学海

网络安全 信息安全 渗透测试 WEB安全 漏洞挖掘

The Foundry Modo 16 16.1v3激活版 专业3D建模软件

Rose

3d建模 The Foundry Modo

如何解决Paragon NTFS for Mac安装分卷失败?

Rose

Paragon NTFS ntfs 安装分卷失败

新来个技术总监:发现谁再用 delete 删数据直接开除!

Java你猿哥

Java MySQL ssm 存储 delete

Django操作异步任务

乌龟哥哥

三周年连更

假期做了一项调研:大厂为啥都自研RPC?结果合乎情理!

冰河

程序员 RPC 架构师 技术提升 大厂招聘

Flink应用框架层

阿泽🧸

flink 三周年连更

史上最强升级!音乐制作软件Logic Pro中文特别版

Rose

Logic Pro Mac音乐软件下载 Logic Pro破解版

关于Tab与空格之争,暴躁老哥Linus又有新指示!_后端_凌敏_InfoQ精选文章