在全局代码中使用带标签的语句有什么问题？

Question

我只是浏览JSLint的源代码并注意到这段代码:

// Is this a labeled statement?
//...
if (next_token.labeled !== true || funct === global_funct) {
    stop('unexpected_label_a', label);
} //...

有趣的是funct === global_funct比较.通过JSLint运行以下代码段会引发"意外标签"错误,因为带标签的语句位于全局执行上下文中(我知道,这是一个愚蠢的例子.这是一个小提琴.):

loop:
for (var i = 0; i < 10; i++) {
    if (i === 5) {
        break loop;
    }
}

如果将相同的片段放在函数中,JSLint对它非常满意,并且在遇到标签时不会抛出错误.这是一个将传递JSLint的代码.如果您想尝试,可以将代码粘贴到JSLint的在线版本中.

所以我的问题是:在全球代码中使用带标签的语句有什么问题,还是Crockford的另一个人选？

Answer 1

经过对标签语句行为的一些调查，我认为这实际上只是克罗克福德的选择，没有任何事实依据。据我所知，没有任何情况会导致与全局范围内的标签发生命名冲突（这似乎是人们想到的 JSLint 不允许这样做的主要原因 - 请参阅对该问题的评论）。

ES5 规范在有关标记语句的部分中规定了以下内容：

产生式Identifier:Statement是通过将 Identifier添加到Statement的标签集中，然后评估Statement来评估的。

...

在评估 LabelledStatement 之前，所包含的Statement被视为拥有空标签集，除非它是 IterationStatement或SwitchStatement ，在这种情况下，它被视为拥有由单个元素 组成的标签集empty。

我认为这意味着每个语句都有一个标签集。标签标识符独立于变量和函数标识符，因此在语法上可以接受与同一范围内的变量具有相同标识符的标签。换句话说，这是有效的：

var label = "My Label";
label:
for (var x = 1; x < 10; x++) {
    break label;
}

由于每个语句都有自己的标签集，因此这也是有效的：

label:
for (var x = 1; x < 10; x++) {
    //Looks for 'label' in label set of `break` statement, then `for` statement
    break label;
}
label:
for (var y = 5; y < 15; y++) {
    //Same again. Will never look for label outside the enclosing `for` statement
    break label;
}

由于您可以标记任何语句（这是没有意义的，但这是可能的），因此您可以标记带标签的语句：

another:
label:
for (var y = 5; y < 15; y++) {
    break label;
}

在这种情况下，规范规定如下：

如果LabelledStatement本身有一个非空标签集，那么在评估它之前，这些标签也会被添加到Statement的标签集中。

在上面的代码片段中，语句的标签集for包含两个标签（another和label）。可以从语句内中断到这些标签中的任何一个for。

最后，规范还指出（强调）：

break 带标签的语句仅与带标签的和语句结合使用continue。ECMAScript没有任何goto声明。

因此，基于此，我想不出全局代码中的任何标签可能干扰其他全局代码的方法。当然，您不太可能想要一个包含具有相同标识符的多个标签的程序，并且 JSLint 已经通过抛出“标签已定义”错误来防止这种情况发生。但我认为它在全局执行上下文中处理标记语句的方式应该没有任何区别。