Question

有人可以解释为什么以下代码fragmnent无法编译？

public class Main {

    public static void main(String[] args) {

        Integer[] integers = {3, 5, 8};
        Set<Integer> s1 = new HashSet<Integer>(Arrays.asList(integers));

        Double[] doubles = {3.5, 5.5, 8.5};
        Set<Double> s2 = new HashSet<Double>(Arrays.asList(doubles));

        Set<Number> res1 = union(s1, s1);       // ->it does not compile 
        Set<Number> res2 = union(s1, s2);       // ->it does not compile
    }

    static <E> Set<E> union(Set<? extends E> s1, Set<? extends E> s2)
    {
        Set<E> result = new HashSet<E>(s1);
        result.addAll(s2);
        return result;
    }

}

我已阅读错误消息：

Type mismatch: cannot convert from Set<Integer> to Set<Number>  Main.java   /TestingGenerics/src/com/al/testinggenerics line 17 Java Problem

Type mismatch: cannot convert from Set<Number&Comparable<?>> to Set<Number> Main.java   /TestingGenerics/src/com/al/testinggenerics line 18 Java Problem

只要Integer和Double从Number延伸，导致问题的原因是什么？

Answer 1

编辑：错误答案。我错误解释的错误。

奇怪的是，我在Java 8中没有编译错误。您可能需要告诉编译器直接使用哪种类型E。尝试：

Set<Number> res1 = Main.<Number> union(s1, s1);
Set<Number> res2 = Main.<Number> union(s1, s2);

这对我使用Java 7编译器很有用。

我的猜测是，以前版本的Java中的编译器不够智能，无法推断出使表达式有效的正确类型，因此您不得不明确告诉它。

Answer 2

如user3580294（+1）和my comment所述：原因是Java 7类型推断不够智能。

但是，您可以通过省略通配符来超越类型推断，同时仍然保持所需的灵活性：

import java.util.Arrays;
import java.util.HashSet;
import java.util.Set;

public class TargetTypeInferenceTest
{
    public static void main(String[] args)
    {

        Integer[] integers = { 3, 5, 8 };
        Set<Integer> s1 = new HashSet<Integer>(Arrays.asList(integers));

        Double[] doubles = { 3.5, 5.5, 8.5 };
        Set<Double> s2 = new HashSet<Double>(Arrays.asList(doubles));

        Set<Number> res1 = union(s1, s1); // ->it does compile ;-)
        Set<Number> res2 = union(s1, s2); // ->it does compile ;-)
    }

    static <E, F extends E, G extends E> Set<E> union(Set<F> s1, Set<G> s2)
    {
        Set<E> result = new HashSet<E>(s1);
        result.addAll(s2);
        return result;
    }
}

使用通配符调用泛型方法无法编译

2 个答案: