下面的代码

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 中的前两个“扩展到特定类型”转换在 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

最佳答案

这显然是一个 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

关于java - 为什么要对 List< 进行泛型转换？将 Set..> 扩展到 List<Set..> 在 Sun JDK 6 上成功但在 Oracle JDK 7 上编译失败？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/8637937/