如果内部类是私有的，为什么不允许在外部类泛型类型参数中使用内部类？

Question

这可能是一个愚蠢的问题，但是我很惊讶地看到，在外部类中不允许使用私有内部类作为泛型类型。

如果我使内部类受到保护，它编译得很好。

此外，我还必须精确外部。内部而不仅仅是内部，否则找不到内部类。这看起来也有点奇怪。

为什么内心不能是私密的？为什么它被允许受到保护？

public class Outer extends AbstractSet<Outer.Inner> {

  private static class Inner {
    // ...
  }
  
  // ... 
}

错误是：

Outer.java:3: error: Inner has private access in Outer
public class Outer extends AbstractSet<Outer.Inner> {
                                                   ^
1 error

我使用的是JavaSE17，但我认为它并没有太大用处。

Answer 1

注意语言规范§6.6.1中私有的含义，强调我的：

否则，成员或构造函数被声明为私有。仅当访问发生在包含成员或构造函数声明的顶级类或接口的主体内时，才允许访问。

实现子句不是类主体的一部分。类声明的语法如下所示（类）：

NormalClassDeclaration:
{ClassModifier} class TypeIdentifier [TypeParameters] [ClassExtends] 
[ClassImplements] [ClassPermits] ClassBody

ClassBody:
{ {ClassBodyDeclaration} }

类的“body”严格地指的是花括号中的东西。因此，您无法访问implements子句中的私有类internal。

另一方面，如果内部是protected或包私有的，则允许访问，因为它们都允许从同一个包访问。

同样，成员类声明的范围也是类的主体（§6.3）：

在类或接口C（§8.2，§9.2）中声明或由类或接口C继承的成员m的声明的范围是C的整个主体，包括任何嵌套的类或接口声明。

因此，实现子句不在内部类的范围内，这就是为什么您需要使用一个更有限定性的名称来引用它，而不是它的简单名称。