为何JavaScript保留关键字不能用作变量名？以default为例解析

这是个挺有意思的问题——确实，像default这类保留字，明明只在switch分支或者export语句里派上用场，为啥就不能拿来当变量名呢？咱们从设计和技术层面好好拆解一下：

1. 解析器的简洁性与性能优先 #

JavaScript的代码解析器（就是把咱们写的代码转换成浏览器/Node能执行的指令的程序）最核心的要求之一是快速、无歧义。如果允许保留字在某些上下文里当变量名，解析器就得额外做大量的上下文判断：比如看到default，得先扫描它周围的代码，判断它是在switch块里、export语句里，还是在变量声明场景？这会让解析逻辑变得异常复杂，不仅拖慢解析速度，还容易引入难以排查的bug。保留字规则的存在，本质是给解析器一个明确的“信号”，减少不必要的歧义判断，保证解析过程高效可靠。

2. 向前兼容性的硬约束 #

JavaScript发展了二十多年，积累了海量的现有代码。早期定下的保留字规则，哪怕后来发现有些保留字的使用场景很有限，也绝不能轻易修改——一旦放开限制，老代码很可能出现意外行为。比如假设现在允许default当变量名，那之前写的switch语句里的default分支，会不会被误解析成变量引用？这会导致大量现有代码直接崩溃，这是语言维护者绝对不能触碰的红线。

3. 上下文消歧义的实际局限性 #

你提到的“通过上下文消歧义”听起来很合理，但实际操作起来有很多边界模糊的问题：

• 比如在同一个文件里同时写了export default function myFunc() {}和const default = 'test'，解析器能100%准确区分两个default的不同角色吗？
• 再比如在表达式里出现default：let default = 1; if (x === default) {}——这里的default是变量还是关键字？虽然看起来能区分，但会让代码的可读性大幅下降，开发者得时刻留意上下文，反而增加了心智负担。

4. 语言规则的一致性需求 #

保留字规则是一套统一的规范，所有保留字都遵循“不能作为变量名、函数名等标识符”的规则，这样开发者不用费劲去记“哪些保留字可以例外，哪些不行”。如果给某些保留字开特例，会让语言规则变得混乱不堪，既不利于新手学习，也会让资深开发者容易踩坑。

就像你试的const default = 'does not work'会直接报错，本质就是解析器一看到default就把它归类为关键字，不会把它当作普通的变量标识符处理——这是语言规则里明确死的逻辑。

总的来说，虽然从理论层面看，部分保留字确实有通过上下文消歧义放开限制的可能，但从解析效率、兼容性、代码可读性和规则一致性这些更实际的角度权衡，保留现有规则才是更稳妥、更符合语言长期发展的选择。

内容的提问来源于stack exchange，提问作者m-a-r-c-e-l-i-n-o