为何ECMAScript允许标签应用于所有语句？部分标签看似无用

根据ECMAScript标准，标签可以应用于所有语句，这意味着以下代码都是合法的：

myLabel: throw 'whatever'

同样，这段代码也能正常运行：

function foo() {
  myLabel: return 'whatever'
}

console.log(foo()) // 输出: whatever

这类标签看起来确实没什么实际用处，但ECMAScript允许它们存在主要有几个原因：

• 语言设计的一致性：如果只允许给循环、switch这类能和break/continue配合的语句加标签，语法规则会变得更复杂——需要额外定义哪些语句可以加标签，哪些不行。统一允许所有语句加标签，能让语法规则更简洁、更易维护，也符合"最少例外"的设计原则。

• 历史兼容性：早期的ECMAScript版本就允许这种写法，后续版本为了兼容旧代码，没有移除这个特性。很多遗留代码可能依赖这种语法（哪怕是无意的），移除它会导致现有代码报错。

• 潜在的扩展可能性：虽然目前break/continue只能配合循环或switch，但未来的ECMAScript版本可能会扩展标签的用途，比如支持从嵌套的非循环语句中跳转。提前允许所有语句加标签，能为未来的语法扩展铺路，不用再修改基础语法规则。

• 避免语法歧义：如果只允许特定语句加标签，解析器需要额外判断语句类型，可能会引入语法歧义。比如某些情况下，标签后面的语句可能有多种解析方式，统一允许所有语句加标签能减少这种歧义。

内容的提问来源于stack exchange，提问作者Ben Aston