JLS 17中6.4节的unless条款为何存在？8.1节已覆盖冲突场景

要搞清楚这个问题，得先明确两个条款的核心约束范围，以及它们的适用场景差异：

两个条款的核心区别 #

• 6.4节：专门针对局部类/接口在自身作用域内的同名声明。规则是：禁止在局部类/接口C的作用域内直接声明同名的新局部类/接口，但允许在C作用域内的其他类/接口声明内部声明同名局部类/接口（这就是unless条款的例外情况）。
• 8.1节：针对类与其词法上的任一外围类/接口的同名冲突。只要某个类的简单名称和它外层的任意类/接口（包括局部类、成员类、顶层类/接口）的简单名称相同，就触发编译错误。

unless条款的存在意义 #

你疑惑的点是“不满足unless条件时8.1节已经报错”，但实际上存在只有6.4节约束、且需要unless条款放行的合法场景：

比如下面的代码：

class Test {
  public void foo() {
    class C { // 外层局部类C
    }
    class D { // 这个类声明处于C的作用域内
      class C {} // 符合6.4节的unless条件，允许声明
    }
  }
}

这里内层的C是在类D的声明内部定义的，满足6.4节的unless例外，所以不会触发6.4节的错误；同时，根据JLS对“enclosing class”的定义，这个内层C的直接外围类是D，和D不同名，外层的局部类C不属于它的“enclosing class”范畴，因此8.1节也不会触发错误——这段代码是完全合法的。

如果没有6.4节的unless条款，这段合法代码会被错误地禁止，这就是unless条款的核心价值：放行这种在局部类作用域内、但嵌套在其他类/接口声明中的同名局部类/接口。

再看你给出的例子：

class Test {
  public void foo() {
    class C {
      public void bar() {
        class SomeNested {
          public void xyz() {
            class C{} // 既不符合6.4节unless条件，也违反8.1节
          }
        }
      }
    }
  }
}

这里的内层C是在方法xyz的代码块里声明的，不满足unless的例外条件，同时它的词法外围存在局部类C，所以8.1节会触发错误。这是两个规则同时覆盖的冲突场景，但这种场景并不影响unless条款的存在意义——因为还有其他只有6.4节约束的合法场景需要它来放行。

另外还有一种场景能体现6.4节的独立约束：

class Test {
  public void foo() {
    class C {}
    class C {} // 违反6.4节，触发错误；8.1节不触发（因为它们的外围类都是Test，和Test不同名）
  }
}

这段代码里的第二个C，8.1节不会管，但6.4节会直接禁止，这也说明6.4节的规则是独立于8.1节存在的。

内容的提问来源于stack exchange，提问作者Turkhan Badalov