升级到 Java 7 后，泛型类的类型参数化字段变得不可见

Question

现在 Eclipse Indigo SR1 内置 Java 7 支持在一两周后终于结束了，我正在迁移我的 Playground 项目从 Helios SR2 + JDK 1.6_23 到 Indigo SR1 + JDK 1.7.0。完全重建所有项目后，只有一个类无法编译。以下类可以在 Java 1.6（和 1.5）上完美编译和运行：

public abstract class Area<A extends Area<?>> implements Comparable<Area<?>> {

    private String name;
    private Area<?> parent;
    private Set<A> areas;

    protected Area(String name, A... areas) {
        this.name = name;
        this.areas = new TreeSet<A>();
        for (A area : areas) {
            area.parent = this;
            this.areas.add(area);
        }
    }

    public Set<A> getAreas() {
        return areas;
    }

    // ...
}

area.parent = this; 行失败，并在 parent 上出现以下错误：

字段 Area.parent 不可见

在第一次怀疑 Eclipse 编译器之后，我尝试使用 JDK 1.7.0 中的普通 javac ，但它给出了基本相同的错误，而JDK 1.6.0_23 中的 javac 成功且没有错误。

将可见性更改为 protected 或默认值可以解决该问题。但为什么完全超出了我的范围。我在 http://bugs.sun.com 上四处查看，但找不到任何类似的报告。

修复编译错误的另一种方法是将类中所有使用的 A 声明替换为 Area （或将其完全删除）：

public abstract class Area<A extends Area<?>> implements Comparable<Area<?>> {

    private String name;
    private Area<?> parent;
    private Set<Area<?>> areas;

    protected Area(String name, Area<?>... areas) {
        this.name = name;
        this.areas = new TreeSet<Area<?>>();
        for (Area<?> area : areas) {
            area.parent = this;
            this.areas.add(area);
        }
    }

    public Set<Area<?>> getAreas() {
        return areas;
    }

    // ...
}

但这破坏了目的吸气剂的。例如，对于以下类：

public class Country extends Area<City> {

    public Country(String name, City... cities) {
        super(name, cities);
    }

}

我希望它返回 Set，而不是 Set>。

Java 7 中的哪些更改导致这些类型参数化字段变得不可见？

Answer 1

这似乎是 javac6 的错误，已在 javac7 中修复。

解决方法是通过向上转换：

((Area<?>)area).parent = this;

这看起来真的很奇怪 - 为什么我们需要向上转换来访问超类中的成员？

根本问题是，私有成员被明确排除在继承之外，因此 A 没有 parent 成员。可以通过非通用示例来演示相同的问题。

错误消息“parent has private access in Area”不太准确，但在大多数情况下可能没问题。然而在这种情况下，这是误导性的，更好的消息是“A 不会从 Area 继承私有成员“父级””

---

为了调查的兴趣，让我们根据以下内容对您的示例进行全面分析JLS：

• §4.4：类型变量X的成员与绑定T & I1 ... In 是交集类型 (§4.9) T & 的成员。 I1 ... In 出现在声明类型变量的位置。

• §4.9：交集类型与具有空主体的类类型 (§8) 具有相同的成员、直接超类 Ck 和直接超接口 IT1 , ..., ITn, 在交集类型出现的同一包中声明。

• §6.6.1：如果成员或构造函数被声明为私有，则当且仅当访问发生在包含成员或构造函数声明的顶级类 (§7.6) 的主体内时，才允许访问。

• §8.2：声明为私有的类的成员不会被该类的子类继承。

• §8.5：类从其直接超类继承，并直接超接口超类和超接口的所有非私有成员类型，这些类型均可被类中的代码访问，并且不会被类中的声明隐藏。