Question

考虑这个程序：

public class xx<T> {

    <T> Iterable<T> createIterable(Class<T> cls) {
        return null;
    }

    Iterable<? extends Number> createNumberIterable(boolean floatingPoint) {
        return this.createIterable(floatingPoint ? Integer.class : Float.class);
    }
}

在Java 7下，它编译：

$ java -version
java version "1.7.0_45"
Java(TM) SE Runtime Environment (build 1.7.0_45-b18)
Java HotSpot(TM) 64-Bit Server VM (build 24.45-b08, mixed mode)
$ javac xx.java
$

在Java 8下它没有：

$ java -version
java version "1.8.0_40"
Java(TM) SE Runtime Environment (build 1.8.0_40-b25)
Java HotSpot(TM) 64-Bit Server VM (build 25.40-b25, mixed mode)
$ javac xx.java
xx.java:8: error: method createIterable in class xx<T#2> cannot be applied to given types;
        return this.createIterable(floatingPoint ? Integer.class : Float.class);
                   ^
  required: Class<T#1>
  found: floatingPo[...]class
  reason: inferred type does not conform to equality constraint(s)
    inferred: Float
    equality constraints(s): Float,Integer
  where T#1,T#2 are type-variables:
    T#1 extends Object declared in method <T#1>createIterable(Class<T#1>)
    T#2 extends Object declared in class xx
1 error
$

这是真的：

这是Java 7中的错误，它在Java 8中已得到修复（编译器过于宽松）;或
这是Java 8中引入的新错误

如果答案是＃1，您能否用正常语言解释JLS不允许这样做的原因，使用明显的解释？

（注意：请不要解释如何解决问题，这不是问题）

Answer 1

旧行为既不是错误，也不是新行为的错误。条件表达式类型的规则变得更加复杂，这在很多情况下都会有所帮助，并且在您的情况下并没有真正受到伤害。

编译器不允许它，因为Integer.class和Float.class的类型无法比较。没有类型T会使Class<T>成为Class<Integer>和Class<Float>的超类型。

为什么这个程序用Java 7而不是Java 8编译？

1 个答案: