编程史上很少有哪条视频能用四分钟撬动整个行业的自我审视——Gary Bernhardt 的《Wat》做到了。这条在 CodeMash 2012 大会上录制的爆红演讲，用几个看似人畜无害的加法表达式，把 JavaScript 的类型系统钉在了喜剧史的耻辱柱上，"wat"一词从此成为程序员圈的黑话。但这条视频真正值钱的地方不在笑点，而在笑点背后那条完整的规范推理链：每一个"闹鬼"的结果，都能在 ECMA-262 标准里一步步推导出来。本文带你把这条四分钟的神课拆开揉碎：它讲了什么、为什么会这样、哪些说法被夸大了、以及你能从中带走什么可操作的工程习惯。没看过视频也能读懂，看过的人会多懂一层。
| 项目 | 内容 |
|---|---|
| 视频标题 | Wat（无官方中文译名，圈内常译作《什么鬼》） |
| 演讲者 | Gary Bernhardt（软件开发者、Destroy All Software 创始人） |
| 所属频道 | Destroy All Software（演讲者个人频道与同名付费教学网站） |
| 演讲场合 | CodeMash 2012 大会（美国俄亥俄州），录像随后公开发布 |
| 时长 | 约 4 分钟 |
| 热度 | 官方与各转载平台累计播放长期以百万计，是编程类演讲中被引用最多的片段之一；"wat"由此成为通用梗 |
| 内容类型 | 单口喜剧式技术演讲（stand-up tech talk） |
数据说明：标题、演讲者、频道、演讲场合为多年稳定公开信息；本文写作环境的实时抓取通道受限，播放量等动态数据未能当场核实，精确数字请以视频页为准。
整条视频的叙事结构是标准的“单口喜剧三段式”：暖场、升级、爆发。理解这个结构，才能理解它为什么比一百篇类型系统教程传播得更远。
Gary 开场先拿 Ruby 开刀。他先把 Ruby 夸了一遍——优雅、可读、让人愉悦——然后话锋一转，演示了几个"没人能解释"的调用结果，其中典型的一类是对 nil 调用不存在方法时的报错，形如 undefined method ... for nil:NilClass：你想知道 nil 是什么，报错却先把它复读了一遍"NilClass"。这一段的功能是建立共识：任何语言都有让人扶额的瞬间。这也为后文埋下伏笔——Ruby 只是“报错写得好笑”，真正的重头戏在 JavaScript。
[] + [] = ""：两个数组相加，得到了空字符串进入 JavaScript 环节后，Gary 在控制台敲下第一组表达式：
[] + [] // => ""
两个空数组相加，结果是空字符串。屏幕上赫然打出这个反直觉的结果，观众第一次发出会心的笑声。这是全片“降温”的开始：从这里起，每一个表达式都比上一个更离谱。
[] + {}：数组加对象，变成了一段自我介绍[] + {} // => "[object Object]"
数组加上对象，得到的是字符串 "[object Object]"——JavaScript 没有报错，没有警告，而是非常自信地把对象变成了一句自我介绍，再和空字符串拼在一起。喜剧效果的关键在于：它不是崩溃，它是一本正经地给出答案。
{} + [] = 0：运算对象换了位置，结果变成了数字{} + [] // => 0 （控制台/语句位置）
把上一行的两个操作数调换位置，结果从字符串变成了数字 0。加法交换律在一个表达式层面当场去世。这是全片第一个真正意义上的“尖叫点”——观众开始意识到，这不是简单的“类型不匹配”，而是某种更深层的机制在起作用（后文会揭晓：这里有一半其实是解析器的锅，而不是加法运算本身的）。
{} + {} = NaN：收尾的爆发{} + {} // => NaN （控制台/语句位置）
两个对象相加，得到 NaN。Gary 每展示一行就在旁白里轻描淡写地说一句 "wat"——语调一次比一次困惑——最后在 NaN 处戛然而止。全场爆笑，视频结束。四分钟，没有 PPT 上的公式，没有一行超过十个字符的代码，却让无数人第一次认真思考：我每天在用的这门语言，加法到底是怎么定义的？
把笑点剥掉，《Wat》其实提出了三个严肃命题：其一，一门语言允许如此多隐式转换的组合爆炸，必然产生反直觉行为；其二，这些行为大多有规范可循，但"规范存在"和“符合人类直觉”是两回事；其三，语言设计的历史包袱会永久性地成为所有使用者认知负担的一部分。这三条，比任何具体的 wat 例子都更值得带走路。
这一节把视频里的每个“鬼故事”还原成 ECMA-262（JavaScript 的官方语言标准）中真实存在的算法步骤。你会发现：没有一个结果是玄学。
ECMA-262 规范定义了一系列“抽象操作”（Abstract Operations），其中 ToPrimitive(input) 负责把任何值转换成原始类型（primitive：string、number、bigint、boolean、undefined、symbol）。它的规则是：
valueOf() 和 toString()，谁先返回原始值就用谁；TypeError。关键在于普通对象和数组的默认实现：数组的 valueOf() 返回数组自己（不是原始值），于是轮到 toString()——而 Array.prototype.toString 内部就是 join()，空数组 join 出来就是空字符串 ""。普通对象同理，valueOf() 返回自己，toString() 返回硬编码的 "[object Object]"。所以：
[] 转原始值 → ""{} 转原始值 → "[object Object]"魔术的第一层已经揭秘：数组变字符串，是 join() 在幕后工作；对象变自我介绍，是 Object.prototype.toString 的默认输出。
ECMA-262 对加法运算符 + 的运行时语义定义了明确的分支：先对两侧各做一次 ToPrimitive，然后——
ToString 后做字符串拼接；ToNumeric（实践中即 ToNumber）后做数字加法。用这条规则复现视频：[] + [] 两侧都变成 ""，字符串拼接得 ""；[] + {} 得 "" + "[object Object]"；如果两侧都无法变成字符串语义下的数字（如 {} + {} 的对象原始值），ToNumber("[object Object]") 解析失败，返回 NaN。每一个结果都能逐字推导。规范原文可在 tc39.es 的 ECMA-262 文档中查到 "Addition Operator" 一节（ECMA-262 由 Ecma International 的 TC39 技术委员会维护，文档公开免费）。
顺带一提："5" + 3 得 "53" 而 "5" - 3 得 2 这组同类经典，也在这里一并被解释——减法运算符只有数字算法一条路，所以两侧一律转数字；加法却有“字符串优先”的双轨制。一个运算符两套语义，才是所有 wat 的总根源，而不是某个单独的怪例子。
{} + [] = 0：那一半是解析器的锅这是全片最值得单独澄清的一点。在控制台或脚本顶层，行首的 {} 不会被解析为空对象字面量，而是被解析为空的语句块（Block）——和 if {} 里的花括号是同一个东西。于是 {} + [] 实际执行的是“空块（什么都不做）+ 一元加号作用于空数组”，而一元 + 的语义是 ToNumber：ToNumber(ToPrimitive([])) = ToNumber("") = 0。
把它放进表达式位置（比如 var x = {} + []; 或 console.log({} + [])），结果就回归 "[object Object]"。也就是说，视频里最炸裂的“交换律消失”一幕，有一半来自JavaScript 语法歧义 + 控制台求值方式的组合，而非加法运算本身。这个细节视频没有讲（四分钟装不下），但它恰恰是“看过视频的人应该比看过的人多懂的那一层”。
要理解这套设计从哪来，得回到语言诞生时刻。业界广为记载的历史是：1995 年 5 月，Brendan Eich 在 Netscape 公司用大约十天做出了这门语言的初版原型，为了蹭当时如日中天的 Java 的热度，这门最初叫 Mocha/LiveScript 的语言被改名 JavaScript，语法刻意向 Java 靠拢——包括“用 + 拼接字符串”这一衣钵。但同时它又是一门动态弱类型语言，继承了来自 Perl 式脚本语言传统的自动类型转换习惯。两股血脉在 + 上相遇：Java 的拼接习惯 + 弱类型的自动转换，组合出了“字符串优先、一切皆可转”的双轨加法。类型理论中通常把“静态/动态”（类型检查发生的时机）与“强/弱”（是否放任隐式转换）当作两个独立维度，Benjamin Pierce 的经典教材《Types and Programming Languages》对此有系统阐述——JavaScript 是“动态 + 弱”象限的极端样本，C（隐式数值转换）、PHP（松散比较表）、Perl（上下文转换）都是它的难兄难弟。
针对这套行为，社区有过两次著名的系统回应。第一次是 Douglas Crockford 2008 年的《JavaScript: The Good Parts》：“门缝里爬进来的这门语言，好的部分足够小到一本书装得下”——主张绕开 == 等坏部分，只用 ===。第二次是 Kyle Simpson 的《You Don't Know JS: Types & Grammar》（O'Reilly，开源在 GitHub）：他反其道而行，主张隐式转换本身不是恶，显式使用的转换（如 Number("42")）和可推理的隐式转换是可读代码的一部分，问题出在“没人去学类型系统”而不是“类型系统存在”。工具侧的回应则包括：TypeScript（微软，2012 年起）把类型检查提前到编译期；ESLint 的 eqeqeq 规则把 == 直接判为代码异味。而语言本身也没闲着：ES2015 引入了 Symbol.toPrimitive（让自定义类型的转换行为可受控声明）与 Object.is（能正确区分 NaN 与 NaN、+0 与 -0 的严格相等），规范文本也在多年间把各种松散相等规则整理得更加系统化。
证据充分的部分：视频里的每个输出都是可复现的真实行为（注意在控制台/语句位置复现 {} + [] 与 {} + {}）；“加法运算符双轨制”“对象到原始值的转换链”均可在 ECMA-262 规范中逐字验证；“字符串优先”的拼接规则与 join()、Object.prototype.toString 的默认实现同样是规范明文。这部分是视频最硬的知识内核，经得起任何推敲。
被喜剧效果放大的部分：其一，“没人能解释”（no one can explain）是修辞而非事实——如上节所示，每个结果都有规范级的完整解释，Gary 本人在后续场合也强调过这一点属于舞台效果。其二，{} + [] = 0 那一幕的惊讶度被环境放大了：它依赖“行首花括号是语句块”这一解析事实，换到表达式上下文结果完全不同；把语法歧义算在“加法”头上，是喜剧剪裁。其三，“JavaScript 独一无二的烂”的潜台词并不成立：Ruby 对 nil 调方法的报错、PHP 的 == 比较表、Python 自己的 True + True == 2 与小整数缓存、shell 的无数暗坑，都是各家语言的“wat 时刻”。弱类型是个家族企业，JavaScript 只是市值最高的那家。
时效性部分：视频制作于 2012 年，此后十余年生态已大幅“止血”——=== 成为默认惯例、TypeScript 大规模普及、Symbol.toPrimitive 与模板字符串让显式转换有了更好的人机工学、linter 默认规则拦截危险写法。今天的新代码里，原教旨的 wat 组合远比 2012 年罕见。另外，规范为了兼容存量网页，在附录 B（Annex B，专述浏览器兼容行为）里保留了大量历史包袱，这类“明知不合理但不能改”的部分才是真正无解的——视频对此并未着墨。
最后必须说明：这是一场喜剧表演，不是教程。它的价值在于用四分钟把“类型系统值得认真对待”这个问题打进你的脑子；但若把梗当知识，停留在“JS 就是烂”的嘲笑里，反而会错过真正的认知增量。
第一，把默认配置改成防呆模式。 相等判断一律用 ===（团队可配置 ESLint 的 eqeqeq 规则，唯一值得豁免的是 x == null 这种同时筛查 null 与 undefined 的惯用法）；strict 模式的 TypeScript 尽可能开着；需要区分 NaN、+0/-0 时用 Object.is；类型转换永远显式写 Number(x)、String(x)、Boolean(x)；判断数组用 Array.isArray(x) 而不是 typeof（后者对数组返回 "object"）。这五条配置下来，本文讨论的整类问题在你的代码里就失去了生存空间。
第二，建立“遇怪查规范”的五分钟习惯。 下次见到任何 wat，别搜“JS 怪癖合集”去背答案，试着用规范抽象操作手动推导一遍：先 ToPrimitive（valueOf → toString），再看有没有字符串，最后才走数字路径。推导一次 [] + {} 所花的时间不超过五分钟，但它给你的是一台通用解码器——同样的方法读 Python 的 data model、读 SQL 的三值逻辑，一通百通。背梗获得的是谈资，读规范获得的是能力。
第三，把“惊讶时刻”当学习信号，把“最小惊讶”当设计原则。 wat 时刻的本质是你的心智模型与语言真实模型的边界被照亮了——那是学习效率最高的瞬间，值得停下来挖五分钟。反过来，当你是 API 的设计者时，记住 + 的教训：给自定义类型实现 valueOf/toString 这类隐式转换钩子时要极度克制，凡是语义不自洽（比如一个“看起来像数字”的价格对象，转成字符串却带货币符号）的隐式行为，都会在某个 distant call site 变成生产事故。别人语言里让你笑出声的坑，别在自己手里再挖一遍。
flowchart TD
S["加法表达式 a + b"] --> TP1["左侧: ToPrimitive(a)"]
S --> TP2["右侧: ToPrimitive(b)"]
TP1 --> Q{"两侧中存在字符串?"}
TP2 --> Q
Q -->|"是"| CONCAT["字符串拼接: 两侧各自 ToString"]
Q -->|"否"| NUM["数字加法: 两侧各自 ToNumber"]
subgraph TO["ToPrimitive 的求值顺序"]
V["先调 valueOf()"] --> VQ{"返回原始值?"}
VQ -->|"是"| OUT["以该值参与运算"]
VQ -->|"否"| T["再调 toString()"]
T --> TQ{"返回原始值?"}
TQ -->|"是"| OUT
TQ -->|"否"| ERR["抛出 TypeError"]
end
TP1 -.-> TO
TP2 -.-> TO
EX["[] 的 toString 即 join → ''<br/>{} 的 toString → '[object Object]'"] -.-> TO
说明：以下均为长期稳定的一手来源链接；本次写作环境的实时联网与抓取通道受限，未能当场复核页面内容与动态数据（如播放量），请以链接页面为准。
本文由「51学通信」技术团队出品。51学通信由通信行业18年老兵爱卫生（微信ID: gprshome201101）维护，聚焦5G/6G核心网、3GPP标准解读、通信前沿技术深度分析。 出版作品有《5G核心网原理与实践》《IMS原理与实践》等4本通信专业书籍。知识星球「51学通信」提供深度技术答疑和行业洞察。
[!tip] 51学通信知识星球 星主：爱卫生（微信：gprshome201101）——公众号「51学通信」创办者，19 年通信行业运维与讲师经验，著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书（各大电商平台有售）。 星球定位：深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域，主打运维岗位与信令分析。 当前规模：5200 篇主题 / 990 个回答，198 元/年。 加入福利：加入星球后请加爱卫生微信，拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题，另有群内分享。 AI 加持：51学通信知识星球已作为 skill 接入 WorkBuddy，使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例，做总结、找文档和 PPT 等场景全覆盖。