为什么允许开关语法中的链接标签？它做什么？

Question

我最近发现，在Java Switch语句中，可以链接多个标签，但没有明显的效果。它甚至允许不存在的标签。例如，您可以这样做： case enum_value_1：enum_value_2：，甚至此case enum_value_1：foobar：barfoo：。只要以结肠结尾，任何价值似乎都被接受。 首先，尽管这可能是分组多种情况的另一种方法，但这似乎并不起作用。因此，我进行了以下测试

public class Main {

public enum TestEnum {
    A,
    B
}

public static void main(String[] args) {
    TestEnum testEnum = TestEnum.B;

    switch (testEnum) {
        case A: System.out.println("Test 1: Case 1"); break;
        case B: System.out.println("Test 1: Case 2"); break;
    }

    switch (testEnum) {
        case A: System.out.println("Test 2: Case 1"); break;
        case B:A: System.out.println("Test 2: Case 2"); break; // Label A is already used in enum
    }

    switch (testEnum) {
        case A:B: System.out.println("Test 3: Case 1"); break; // Label B is already used in enum
        case B: System.out.println("Test 3: Case 2"); break;
    }

    switch (testEnum) {
        case A:BARFOO: System.out.println("Test 4: Case 1"); break; // Label BARFOO does not exist
        case B:FOOBAR: System.out.println("Test 4: Case 2"); break; // Label FOOBAR does not exist
    }

    switch (testEnum) {
        case A:B: System.out.println("Test 5: Case 1"); break;
    }
}}

，我在Java 11和17中运行了它，两个版本的输出是：

Test 1: Case 2
Test 2: Case 2
Test 3: Case 2
Test 4: Case 2

我希望只有测试1和5实际编译，但是它们都进行了编译，但似乎实际标签之后的所有内容都是被忽略。

我怀疑这是一个疏忽，所以我想念什么？

Answer 1

在您的代码中，您有类似的东西：

case A:BARFOO:

barfoo：不是开关情况。与开关机制无关。这只是一个标签。您可以标记任何语句，但并不总是有用的。它通常用于循环：例如，

outerloop:
while (true) {
    while (true) {
        break outerloop;
    }
}

---

如果您实际上想将多种情况分组在一起，则可以像：

case A: case B:
    ...
    break;

Jesper在评论中所提到的那样，Java的最新版本也支持A switch表达式，在其下是：

case A, B -> ...