为什么要对 List< 进行泛型转换？将 Set..> 扩展为 List 在 Sun JDK 6 上成功，但在 Oracle JDK 7 上编译失败？

下面的代码

class GenericCompilationFailureDemo {
    List<? extends GenericCompilationFailureDemo> newList() { 
        return new ArrayList<GenericCompilationFailureDemo>(); 
    };

    void useList() {
        List<GenericCompilationFailureDemo> list = 
            (List<GenericCompilationFailureDemo>) newList();
    }  

    List<? extends Set<GenericCompilationFailureDemo>> newListOfSpecificSets() { 
        return new ArrayList<Set<GenericCompilationFailureDemo>>(); 
    };

    void useListOfSpecificSets() {
        List<Set<GenericCompilationFailureDemo>> listOfSpecificSets = 
            (List<Set<GenericCompilationFailureDemo>>) newListOfSpecificSets();
    } 

    List<? extends Set<? extends GenericCompilationFailureDemo>> newListOfSets() { 
        return new ArrayList<Set<? extends GenericCompilationFailureDemo>>(); 
    };

    void useListOfSet() {
        List<Set<? extends GenericCompilationFailureDemo>> listOfSets = 
            (List<Set<? extends GenericCompilationFailureDemo>>) newListOfSets();
    }  
}

在 Sun JDK 1.6.0_20（Windows Vista 上为 64 位，但我认为这没有任何区别）下编译，但在 Oracle JDK 1.7.0_01（同一平台）下导致以下编译失败：

[ERROR] src\main\java\GenericCompilationFailureDemo.java:[56,78] error: inconvertible types

请注意，第一个two“扩展至特定类型”强制转换useList and useListOfSpecificSets两者在 1.7.0_01 下仍然成功，所以这似乎与“双通用扩展”有关。

您知道 6 到 7 之间可能发生什么变化吗？观察到的行为是符合规范还是错误？

编辑回应 Sanjay 的评论：

@Sanjay：啊哈，有趣！这里的输出来自java -version:

java version "1.7.0_01"
Java(TM) SE Runtime Environment (build 1.7.0_01-b08)
Java HotSpot(TM) 64-Bit Server VM (build 21.1-b02, mixed mode)

这是结果javac GenericCompilationFailureDemo.java（与上面的代码相同，带有 List、ArrayList 和 Set 的 import 语句）：

GenericCompilationFailureDemo.java:30: error: inconvertible types
            (List<Set<? extends GenericCompilationFailureDemo>>) newListOfSets()
;
                                                                              ^
  required: List<Set<? extends GenericCompilationFailureDemo>>
  found:    List<CAP#1>
  where CAP#1 is a fresh type-variable:
    CAP#1 extends Set<? extends GenericCompilationFailureDemo> from capture of ?
 extends Set<? extends GenericCompilationFailureDemo>
Note: GenericCompilationFailureDemo.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
1 error

这显然是 javac7 的错误。每个铸造转换规则应该允许它 [1]

其中一项规则允许缩小引用转换...然后是未经检查的转换

Casting List<A> => List<B>是本规则允许的

List<A> => List   // narrowing reference conversion
List => List<B>   // unchecked conversion

但这还不是故事的全部。该规范还有进一步的规则来禁止铸造，例如List<String>=>List<Integer>，因为他们是可证明不同的参数化 类型。不存在同时属于这两种类型的对象，因此编译器认为最好不允许这种明显的编程错误。 （您可以通过显式绕过它List<String>=>List=>List<Integer>)

但最后一条规则在这里并不适用；所以它看起来像一个 javac7 bug。

为什么最后一条规则不适用：所以我们正在铸造List<? extends A> to List<A>。这里捕获转换应用于List<? extends A>[2] 所以我们实际上是在选角List<T> to List<A>, where T是一个有上限的新类型变量A.

问题是是否List<T> and List<A> are 可证明不同的参数化类型。我的理解是它是错误的（对于要编译的前两个示例来说它必须是错误的）。自从T是一个类型变量，它可以取一个值List<T> and List<A>相同的参数化类型（即当T=A）。这个推理应该适用于任何类型A.

[1] http://java.sun.com/docs/books/jls/third_edition/html/conversions.html#5.5 http://java.sun.com/docs/books/jls/third_edition/html/conversions.html#5.5

[2] http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#341306 http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#341306