当前位置:

首页 > 硬件相关 > 编程界新分水岭:Uncle Bob说“绝不读AI写的代码”,Hashimoto却说他“逐行阅读”,你站谁?

编程界新分水岭:Uncle Bob说“绝不读AI写的代码”,Hashimoto却说他“逐行阅读”,你站谁?

7 月 3 日,HashiCorp 联合创始人、Ghostty 作者 Mitchell Hashimoto 发了一条推文,只有四个字:“I read the code”。就是这么简单的一句话,收获了近 83 万次浏览。 20 天后,另一位重量级人物给出了截然相反的答案。Robert C. Marti

7 月 3 日,HashiCorp 联合创始人、Ghostty 作者 Mitchell Hashimoto 发了一条推文,只有四个字:“I read the code”。就是这么简单的一句话,收获了近 83 万次浏览。

20 天后,另一位重量级人物给出了截然相反的答案。Robert C. Martin,也就是《代码整洁之道》的作者,写了六十年代码的 Uncle Bob,他的回应很干脆:“我完全不去读 Agent 写出来的任何代码。”

两条推文,两位世界级开发者,两种完全相反的做法,直接把开发者圈卷进了一场持续数周的混战。

“我读代码”:理解仍然是工程责任的一部分

Mitchell Hashimoto 的做法是:AI 写的代码,他会自己读一遍。

当时 Anthropic 的 Fable、GPT-5.6 等新模型刚刚发布,编程智能体的能力持续提升,Vibe Coding 的支持者正觉得“跟着感觉写代码”这条路已经得到了新一轮验证。于是,原本只是在陈述个人工作习惯的三个词,很快被解读成了对 Vibe Coding 的公开反驳。

那么,AI 写出来的代码,人到底还要不要读?

有人坚持,读代码是开发者不可放弃的职业底线。只要代码最终由你提交、部署和维护,你就必须理解它在做什么,也必须有能力在出错时接手调试。也有人认为,逐行阅读正在变成一种刻舟求剑的工作方式:AI 生成代码的速度早已超过人类检查代码的速度,假如仍然要求开发者逐行读完,刚刚被释放出来的生产力,很快又会被人工审查的速度重新限制住。

分布式系统工程师、《分布式系统可观测性》作者 Cindy Sridharan 给出了一个很强硬的立场:“每当我听见有人说,‘代码全是 Claude 写的,我不知道它是怎么工作的’,我就会认定,这个人根本没有能力调试这些代码。没什么好争的。你调试不了它,就没资格说自己拥有它、掌控它。而一套代码连你自己都掌控不了,那么任何真正看重可靠性和稳定性的人,都不可能信任你这样的供应商。”

在她看来,能否调试代码,就是开发者是否真正掌控代码的一条明确界线。她经常看到开发者直接采用 Claude 生成的错误修复方案,而一旦遇到稍微棘手的 Bug,他们往往需要反复尝试好几轮,才能真正定位并解决问题。

开源软件工程师 Christine Lemmer-Webber 则把这种现象称为 “Vibe 滑坡”:一开始,人们只是谨慎地借助 AI 写代码,也会认真做代码审查;但随着速度越来越快,审查会一点点被放松,最后一路滑向完全凭感觉写代码的 Vibe Coding。她认为,这个过程很多时候并非开发者主动做出的选择,更像是顺着惯性越滑越快。

“人们对这段旅程的掌控力,远不如他们自认为的那样强大。”

在追求速度的过程中,每一个环节的监督都可能被进一步削弱,现实中也很难找到一个真正有效的刹车点。更麻烦的是,即便经验丰富的程序员,也未必能发现一个只有 100 行代码的程序里所有的 Bug。如今,大语言模型一次就能生成远超 100 行的代码,人类想要完整审查这些不断膨胀的输出,也会变得越来越困难。

“我不读”:Uncle Bob 用约束取代逐行审查

20 天后,另一个更具分量的声音加入了这场争论。

Robert C. Martin,也就是开发者熟悉的 Uncle Bob,《代码整洁之道》的作者。从 20 世纪 60 年代末开始编程,至今已经从事编程超过 60 年。面对“你是否阅读 AI 生成的代码”这个问题,他的回答很干脆:“我不读。”

起因是另一位开发者 Ori Pomerantz 在 X 上发了一段话:“我正试着让 Claude 帮我写点东西,但我总觉得让 AI 直接编辑我的文件不太舒服。有人有同感吗?如果我要对代码负责,我就必须理解它,哪怕只是心理上需要这么做。”

他还补了一句:“1983 年开始编程,算老了吗?”

Uncle Bob 回复说,自己开始写代码的时间比 Pomerantz 还早得多,从事编程已经超过 60 年了,但他现在采取的策略,是“完全不去读 Agent 写出来的任何代码”。

他的做法是给 Agent 设置极其严格的约束,包括单元测试、Gherkin 测试、QA 流程、质量指标、变异测试、测试覆盖率,以及大量其他机制。当 Agent 生成的代码通过这些约束和测试的重重考验后,他便会对最终结果抱有“很高的信心”。

不过,Uncle Bob 的回复并没有结束这场争论,反而招来了更多追问。他这条推文也因此获得了超过 480 万次浏览,远远超过 Mitchell Hashimoto 那条“I read the code”。

其中一个提问是:如果真正保障质量的是那些约束,那么谁来保证约束本身是可靠的?

有开发者追问道,如果单元测试、质量指标和检查工具承担了主要工作,那么这些约束的质量,岂不是成了真正的工程难题?Uncle Bob 的回答是,他同样让智能体去编写检查约束的工具。这些工具是确定性的,规模相对较小,可以用来检查代码质量、测试覆盖率,或者对代码进行修改,再观察是否能暴露错误。

随即又来了一层追问:那你会审查这些检查工具的代码吗?

Uncle Bob 依然回答:“不会,还是同样的流程。”这些工具也会被大量单元测试和验收测试包围。对他来说,判断工具是否可信的依据仍然是它能否持续通过验证、稳定完成任务。

这听起来近乎无限递归:智能体写代码,智能体写测试,智能体再写工具检查测试与代码。Uncle Bob 的做法,是用变异测试、QA 流程、Gherkin 测试等方式,把测试体系做得非常严密。智能体需要修改的并不只是一项测试,而是一大批相互关联的测试,这会显著增加篡改测试来蒙混过关的难度。同时,他也会亲自检查 Gherkin 验收测试和 QA 流程,根据任务的关键程度进行全面审核或抽查,并定期做最终的人工测试。

有意思的是,他这套思路很快被其他开发者做成了可以直接使用的工具。开发者 AmazingAng 推出了一个名为 old-coder 的开源 Skill,核心理念直接取自 Uncle Bob:不要逐行阅读 Agent 生成的代码,而是让代码先闯过一整套验证关卡。

来源:https://github.com/AmazingAng/old-coder/tree/main

还有人问,测试或许可以保证产品功能符合预期,但代码本身的质量怎么办?既然如今修改代码已经如此便宜、容易,代码是否整洁、结构是否清晰,还像过去那样重要吗?

在这个问题上,Uncle Bob 认为“代码质量依然重要,而且重要得多”。混乱的代码不仅会拖慢人,也会拖慢 Agent。他见过 Agent 被自己制造的混乱结构困住,来回折腾却始终无法解决问题,最后仍然需要他亲自介入,把这些乱麻重新理顺。

因此,他会对函数长度、圈复杂度和测试覆盖率设置极其严格的限制,尽量从一开始就阻止智能体制造难以维护的结构。在他看来,这些约束能够让智能体持续顺畅地推进任务。

读代码是旧世界的习惯?!

互联网上的技术争论,很容易被简化成非黑即白的两派:读代码还是不读?立场越极端,声音越大,中间那些复杂的考量反而被淹没。围绕 AI 代码吵了这么久,背后其实是一个更根本的问题:你认为自己写的代码究竟有多重要?

如果把代码的重要性想象成一条光谱:一端是粗制滥造的个人项目,另一端是支撑关键基础设施、医疗设备等不能轻易出错的系统。后者每一行代码当然都很重要,毕竟一旦弄错,真可能造成严重后果。但大多数开发者生活在两端之间,既容易高估自己代码的重要性,也没有充分意识到,今天已经可以生成大量“不那么重要”的代码。

t3.gg 创始人 Theo 的观点是:对绝大多数工程师来说,目前阅读的代码比例很可能太高了,但生成的代码还远远不够多:我们应该从 AI 生成的代码中获得尽可能多的价值。

如果你真的在编写极其重要的代码,反而更应该生成大量一次性代码,去测试那些真正不能出错的部分。这个思路与 Uncle Bob 用约束和验证体系替代逐行理解的做法,本质上相通。

在那个写代码成本很高、所有合并代码都很重要的时代,我们必须花时间阅读其他人大量编写的代码。为了验证一行核心代码是否正确而写 1000 行测试代码,完全不划算。但现在,情况已经变了,代码便宜多了。让 AI 瞬间生成 1000 行测试代码,成本近乎为零。你可以为每一行生产环境的核心代码生成 100 行、1000 行、甚至 1 万行验证代码,用来做压力测试、做变异测试、做专门的运行时分析器。

定制 lint 规则?过去一辈子只写过一两条,现在随时生成。一次性调试工具?以前只会依赖浏览器自带的工具,现在可以构建专属的调试器和编译器 Hook。过去做压力测试需要协调人员和环境,现在可以让智能体直接启动云资源,反复探测系统极限。

当代码的生成成本下降后,“代码”便不只指最终合并进主干的产品代码。它还可以是一次性实验、临时脚本、边缘情况测试、替代实现,或者为了回答某个问题而存在几个小时的工具。

假设一名工程师每天仍然手写并逐行验证 80 行核心代码,这部分标准完全不必降低。但在此之外,他还可以让 AI 生成 800 行甚至 8000 行代码,用来验证那 80 行。这些代码不会进入产品,却能测试更多边缘情况,暴露隐藏问题,提升核心代码的可信度。

没有人会主张把心脏起搏器里的代码交给 AI 随意生成。但如果一套系统真的重要到不能出错,那么为它建立更庞大的验证体系,也应该同样值得。关键代码越重要,围绕它生成的测试、模拟和验证代码就应该越多。

可以把代码分成四个层级。最顶层是纯粹的垃圾代码,写出来只是为了整理文件或回答某个一次性问题,看一眼都觉得被冒犯;第二层是希望它能正常工作,出了问题会很烦;第三层是它最好别出问题,否则可能会被解雇;最底层是它一旦出错,可能有人死亡。

过去,手写代码的成本太高,以至于大家几乎把所有时间都花在最底层和第三层,根本没有余力去上面两层做探索。而现在,AI 让上面两层的代码变得几乎免费——你应该大量进入这些上层区域,用廉价的代码去验证昂贵的代码,而不是用“所有代码都很重要”这个理由把自己锁死在底层。

这其实就是 Uncle Bob 那套“无限递归”测试策略的延伸:用大量廉价代码构建一个测试金字塔,在底部堆满垃圾,用这座塔去保护塔尖上那一小撮真正不能出错的东西。

本文内容来源于互联网,如有侵权请联系删除。
作者最新文章
硬件相关 AI
相关文章 更多
荣耀MagicOS 11发布计划与Agent Harness架构解析
荣耀MagicOS 11发布计划与Agent Harness架构解析

荣耀MagicOS 11定于9月15日发布,作为行业首个商用系统级Agent Harness架构的操作系统,Magic 9系列将首发搭载。新版YOYO支持最长上百步长程任务及40余项条件触发,10月开启Beta预览版招募。

华强北手机全线涨价:涨幅400-1500元,存储成本推高售价
华强北手机全线涨价:涨幅400-1500元,存储成本推高售价

华强北销售商反馈,年初以来主流手机品牌基本全线涨价,涨幅最低400元,最高达1000-1500元。涨价主因是全球存储芯片及电容等元器件成本上升,运行内存与机身存储价格涨幅超100%。尽管整体市场承压,国产折叠屏手机1-8月销量约450万台(新形态超135万台,同比增29%),AI手机成为厂商发力重点。

索尼WH-1000XM4C发布:复刻经典折叠设计并升级现代接口
索尼WH-1000XM4C发布:复刻经典折叠设计并升级现代接口

索尼发布WH-1000XM4C头戴式降噪耳机,复刻了XM4的经典四向折叠便携设计。该机型在保留QN1处理器和30小时续航的基础上,全面升级了USB-C高速充电、无损音频直连、蓝牙多点连接及AI降噪通话功能,旨在满足对便携性有极高要求的用户群体。

OpenAI GPT-6 Astra 自主通关《传送门》:技术原理与实验成本解析
OpenAI GPT-6 Astra 自主通关《传送门》:技术原理与实验成本解析

OpenAI GPT-6 Astra 模型通过 MCP 协议与 SourcePauseTool 控制《传送门》游戏,完成 3336 次工具调用并自主通关。实验耗时约 24 小时,API 成本约 571 美元,展示了多模态 AI 在 3D 解谜领域的突破性进展。

AI重构企业业务架构:超聚变“智企”范式核心解析
AI重构企业业务架构:超聚变“智企”范式核心解析

本文解析超聚变在2026数博会发布的“智企”范式,重点阐述如何通过Token生产平台(Token Factory)与企业业务本体建模,实现从简单AI工具调用到企业应用架构系统性重构的演进。文章详细拆解了智能体编排、数字孪生及生态协同等关键技术路径,为AI时代企业数字化转型提供可落地的参考方案。

南邮光擎智算团队:GaN基Micro-LED光计算芯片从理论到流片的突破
南邮光擎智算团队:GaN基Micro-LED光计算芯片从理论到流片的突破

南京邮电大学“光擎智算”团队联合南京大学,攻克GaN基Micro-LED器件技术,成功搭建实验室级光计算验证系统。团队自主研发的5×5 Micro-LED光电计算阵列芯片已进入流片封装阶段,实现了图像识别等算力任务验证,推动光计算技术从理论走向工程落地。

微软推出Project Zenith:面向Windows 11开发者的AI硬件加速方案
微软推出Project Zenith:面向Windows 11开发者的AI硬件加速方案

微软于9月5日推出Project Zenith,旨在为Windows 11开发者提供更高效的AI开发体验。该项目目前仅支持配备超过64GB统一内存及250GB/s内存带宽的特定硬件,首发适配AMD Ryzen AI Halo设备。通过此项目,开发者可在本地运行参数超过300亿的AI模型,后续将分阶段扩展至更多合作伙伴设备。

贵州省住建厅与贝壳集团签署旅居战略合作:五大维度落地方案解析
贵州省住建厅与贝壳集团签署旅居战略合作:五大维度落地方案解析

9月3日,贵州省住建厅与贝壳集团在贵阳签署《旅居产业发展战略合作框架协议》,旨在打造全国旅居样板。合作涵盖平台建设、标准共建、人才培育、存量资产盘活及品牌推广五大维度,依托贝壳近600家门店及4000余名经纪人资源,强化贵州旅居服务供给,促进房地产市场平稳健康发展。

查看更多
精品专题 更多
装机必备
装机必备

正软商城装机必备专区,精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件,帮助用户快速完成新电脑软件配置。

Windows
Windows

正软商城Windows软件专区,汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件,提供软件介绍、系统要求、正版授权及购买下载服务。

macOS软件
macOS软件

正软商城macOS软件专区,精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具,提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。

Mac软件 更多
灵活计算器
灵活计算器
macOS/iOS/Android

灵活计算器是一款笔记式算数应用,支持实时计算、动态关联和云端同步功能。记录、整理和输出之间的过渡会更自然,适合长期写作、做笔记或持续沉淀个人内容。

赤友清理大师
赤友清理大师
macOS

赤友清理大师是一款为 Mac 设计的智能清理优化工具,可精准扫描垃圾、大文件、重复文件等,释放磁盘空间。做扫描整理、文字提取和表格转换时,它能把识别后的处理步骤接得更顺,资料录入这类场景会省下不少时间。

极度公式
极度公式
Windows/macOS/Linux

极度公式是一款跨平台专业LaTeX公式识别编辑软件,支持OCR公式识别和多平台编辑。和使用说明,避免使用,享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时,它能把识别后的处理步骤接得更顺,资料录入这类场景会省下不少时间。

WINDOWS 更多
Windows 10
Windows 10
Windows

Windows 10 是一款微软推出的经典操作系统,拥有硬件兼容性与多任务处理能力。它更偏向把系统状态查看和常用调节动作放在一起,适合需要持续观察和微调设备状态的场景。

极度公式
极度公式
Windows/macOS/Linux

极度公式是一款跨平台专业LaTeX公式识别编辑软件,支持OCR公式识别和多平台编辑。和使用说明,避免使用,享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时,它能把识别后的处理步骤接得更顺,资料录入这类场景会省下不少时间。

密码键盘
密码键盘
Windows/macOS/iOS/Android

密码键盘是一款兼具安全性与便捷性的高效密码管理器。日常使用里的持续防护和信息管理会更突出,适合把安全控制放进长期使用流程中的场景。