为什么 List<?将 Set..> 扩展为 List<Set..> 在 Sun JDK 6 上成功但在 Oracle JDK 7 上编译失败？

Question

以下代码

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

请注意，useList 和 useListOfSpecificSets 中的前 两个 "extends-to-specific-type" 强制转换在 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 的导入语句）：

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

Answer 1

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

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

此规则允许投射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 错误。

为什么最后一条规则不适用：所以我们将List<? extends A> 转换为List<A>。这里捕获转换应用于List<? extends A> [2]，因此我们实际上将List<T> 转换为List<A>，其中T 是一个新类型变量，其上限为A。

问题是List<T> 和List<A> 是否是可证明不同的参数化类型。我的理解是它是错误的（编译前两个示例必须是错误的）。由于T 是一个类型变量，它可以取一个值使List<T> 和List<A> 成为相同的参数化类型（即当T=A 时）。这个推理应该适用于任何类型A。

[1]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