7

谁是对的？Eclipse 还是 javac？

--------------- c/v/A.java ---------------

package c.v;
public class A<T> {
}

--------------- c/v/B.java ---------------

package c.v;
public class B extends A<B.Secret> {
  private class Secret {};
}

Eclipse 编译 B.java 就好了。

Javac 有问题。

$ javac c/v/B.java
c/v/B.java:3: cvBSecret 在 cvB 中具有私有访问权限
公共类 B 扩展 A<B.Secret> {
                           ^
    1 个错误
4

3 回答 3

7

Java 语言规范的相关部分必须是：

§8.1.4：[...] ClassType 必须命名一个可访问的（§6.6）类类型，否则会发生编译时错误。

§6.6.1：[...] 引用（类、接口或数组）类型的成员（类、接口、字段或方法）或类类型的构造函数只有在类型可访问且成员或构造函数被声明为允许访问：

  • 如果成员或构造函数声明为 public，则允许访问。接口的所有成员都是隐式公共的。[...]
    • 否则，如果成员或构造函数被声明为私有，则当且仅当它发生在包含成员或构造函数声明的顶级类（第 7.6 节）的主体内时，才允许访问。

因此，由于 ClassType 不在类的主体内，B.Secret在此位置不可访问，因此A<B.Secret>不可访问，因此应该发生编译时错误。

于 2009-04-16T19:38:05.253 回答
6

日食是错误的。如果您将某事宣传为

extends A<X>

您需要同时了解 A 和 X。

于 2009-04-16T19:20:36.933 回答
3

我倾向于认为 javac 是正确的。为了创建一个新类

A<B.Secret>

泛型需要能够访问它使用的类。B 然后扩展该类的事实是次要的。

于 2009-04-16T19:20:20.477 回答