在 Java 中使用标记中断是一种好习惯吗？

Question

我在看一些 2001 年的旧代码，发现了这个声明：

   else {
     do {
       int c = XMLDocumentFragmentScannerImpl.this.scanContent();
       if (c == 60) {
         XMLDocumentFragmentScannerImpl.this.fEntityScanner.scanChar();
         XMLDocumentFragmentScannerImpl.this.setScannerState(1);
         break label913;
       }

我以前从未见过这个，并在这里发现了标记的中断：

http://docs.oracle.com/javase/tutorial/java/nutsandbolts/branch.html

这本质上不是像goto 那样工作吗？使用它甚至是一种好习惯吗？这让我很不安。

Answer 1

不，它不像 goto，因为您不能“转到”控制流的另一部分。

从您链接的页面：

break 语句终止带标签的语句；它不会将控制流转移到标签。控制流被转移到紧跟在标记（终止）语句之后的语句。

这意味着您只能中断当前正在执行的循环。

考虑这个例子：

first:
for( int i = 0; i < 10; i++) {
  second:
  for(int j = 0; j < 5; j ++ )
  {
    break xxx;
  }
}

third:
for( int a = 0; a < 10; a++) {

}

您可以将xxx 替换为first 或second（以中断外部或内部循环），因为当您点击break 语句时正在执行两个循环，但将xxx 替换为@ 987654328@ 不会编译。

Answer 2

它不像goto 那样可怕，因为它只将控制发送到标记语句的末尾（通常是循环构造）。使goto 与众不同的是，它是任何地方的任意分支，包括在方法源代码中更高的标签，因此您可以拥有本地循环行为。 Java 中的标签中断功能不允许这种疯狂行为，因为控制只会向前推进。

大约 12 年前，我只使用过一次，当时我需要跳出嵌套循环，结构更结构化的替代方案可以在循环中进行更复杂的测试。我不建议经常使用它，但我不会将其标记为自动错误代码气味。

Answer 3

总是可以用新方法替换break。

考虑代码检查两个列表中的任何公共元素：

List list1, list2;

boolean foundCommonElement = false;
for (Object el : list1) {
    if (list2.contains(el)) {
        foundCommonElement = true;
        break;
    }
}

你可以这样改写：

boolean haveCommonElement(List list1, List list2) {
    for (Object el : list1) {
        if (list2.contains(el)) {
            return true;
        }
    }
    return false;
}

当然，要检查两个列表之间的共同元素，最好使用list1.retainAll(new HashSet<>(list2)) 方法在O(n) 和O(n) 额外内存中执行此操作，或者在O(n * log n) 对两个列表进行排序，然后在O(n).

Answer 4

在阅读此答案的其余部分之前，请阅读Go To Statement Considered Harmful。如果你不想完整阅读，这里是我认为的重点：

随意使用 go to 语句的直接后果是，很难找到一组有意义的坐标来描述流程进度。

或者换种说法，goto 的问题在于程序可以到达代码块的中间，而程序员不了解此时的程序状态。标准的面向块的构造旨在清楚地描述状态转换，标记为break 旨在将程序带到特定的已知状态（包含标记块的外部）。

在现实世界的命令式程序中，状态并没有由块边界清楚地描述，因此标记break 是否是一个好主意值得怀疑。如果块改变了从块外部可见的状态，并且有多个点可以退出块，则标记为break 等效于原语goto。唯一的区别是，您不会有机会在状态不确定的块中间着陆，而是开始一个状态不确定的新块。

所以，一般来说，我会认为标记为break 是危险的。在我看来，这表明该块应该被转换为一个函数，对封闭范围的访问是有限的。

但是，这个示例代码显然是解析器生成器的产物（OP 评论说它是 Xerces 源代码）。解析器生成器（或一般的代码生成器）通常会随意使用它们生成的代码，因为它们对状态有完美的了解，而人类不需要理解它。

Answer 5

至少在我看来，表达意图的一种更简洁的方式可能是将包含循环的代码片段放入一个单独的方法中，并从中简单地return。

例如，改变这个：

someLabel:
for (int j = 0; j < 5; j++)
{
    // do something
    if ...
        break someLabel;
}

进入这个：

private void Foo() {
    for (int j = 0; j < 5; j++)
    {
        // do something
        if ...
            return;
    }
}

这对于精通其他语言的开发人员来说也更惯用，将来可能会使用您的代码（或future you）。

Answer 6

这不像gotostatement 中你向后跳转流控制。标签仅向您（程序员）显示中断发生的位置。另外，流控制转移到break之后的下一条语句。

关于使用它，我个人认为它没有什么大用处，因为一旦你开始编写价值数千行的代码，它就变得微不足道了。但同样，这取决于用例。