在JDK 7中，类型推断比JDK 6更具限制性吗？

Question

我认为这可能与为什么List <？的泛型转换有关？在Sun JDK 6上成功将Set ..>扩展到List <Set ..>，但是在Oracle JDK
7上无法编译？

如果我们采用以下类，则它们可以在JDK 6下很好地编译：

public final class Foo<V> {

    private final V value;

    private Foo(final V value) {

        this.value = value;
    }

    public static <T, R extends T> Foo<T> of(final R value) {

        return new Foo<T>(value);
    }
}

final class Tester {

    @Test(groups="unit")

    public static void test() {

        bar(Foo.of(BigDecimal.ZERO));  // This line fails in JDK 7 but not JDK 6
    }

    private static void bar(final Foo<? extends Number> target) {

        assert target != null;
    }
}

但是，在JDK 7下，我收到以下错误：

[ERROR] \work\fsb-core\src\test\java\com\fsb\core\Foo.java:[42,8] error:
              method bar in class Tester cannot be applied to given types;

我认为在JDK 7中类型推断没有那么严格的限制（例如，添加构造函数推断）。但是，在这里，编译器拒绝在JDK 6下有效的类型。

这是一个错误吗？还是推理规则对方法变得更加严格？

Answer 1

严格根据规范，T不能进行推断（根据15.12.2.7），因此应将其视为Object。

这可以看作是规范的失败。spec是这样推断的R：首先是约束R :> BigDecimal，其中:>means 是的超类型
。然后选择推理规则，R=BigDecimal因为它是满足约束的最具体的类型。

现在，由于T:>R，，T:>BigDecimal人们会认为这也应该产生T=BigDecimal。

不幸的是，推理规则没有考虑T:>R在内。没有约束T。T不能通过相同的原理来推断。

虽然很糟糕，但规格是规格。您的代码不应编译。Javac6在那里是错误的。

在Java 8中，推理规则有了很大的改进，使lambda表达式更易于使用。希望您的代码可以在Java 8中编译。