Java 7中通用类的变量访问权限的更改

Question

这是一些使用Java 6编译但未在Java 7中编译的代码的简单示例。

public class Test<T extends Test> {

  private final int _myVar;

  public Test(int myVar) {
    _myVar = myVar;
  }

  public int get(TestContainer<T> container){
    T t = container.get();
    return t._myVar;
  }

  private static class TestContainer<T extends Test> {
    private final T _test;
    private TestContainer(T test) {
      _test = test;
    }
    public T get(){
      return _test;
    }
  }
}

在Java 7中，它无法在该get(TestContainer<T> container)方法中编译，并显示以下错误：

错误：_myVar在测试中具有私有访问权限

我不明白为什么它不再编译-
在我看来应该如此。变量t是类型T，必须扩展Test。它试图从class内访问_myVar实例的字段。Test``Test

确实，如果我将方法更改为get(TestContainer<T> container)以下方法，则它将编译（没有警告）：

public int get(TestContainer<T> container){
  Test t = container.get();
  return t._myVar;
}

• 为什么这不再编译？
• 这是Java 6中的错误吗？如果可以，为什么？
• 这是Java 7中的错误吗？

我有一个Google并在Oracle Bug数据库中进行了搜索，但是在此上却没有找到任何东西。

Answer 1

§4.9
…然后，交集类型与具有空主体，直接超类Ck和直接超接口T1’，…，Tn’的类类型（第8节）具有相同的成员，并在同一包中声明。相交类型出现。

根据我对JLS零件的了解，您的带有类型变量的情况将<T extends Test>创建以下交集：

package <the same as of Test>;

class I extends Test {}

因此，当您访问类型的成员时，T您实际上会访问相交类型的成员I。由于私有成员永远不会被子类型继承，因此访问此类成员会因编译错误而失败。另一方面，由于交集是事实，因此允许访问package-
private（默认）和受保护成员。

…在出现相交类型的同一包中声明。