泛型类型不匹配

Question

class GenMethDemo {
    static <T, V extends T> boolean isIn(T x, V[] y) {
        for (int i = 0; i < y.length; i++)
            if (x.equals(y[i]))
                return true;
        return false;
    }
    /*when compiled in java 7 it producing an error and compiling in java 8 without error */
    public static void main(String args[]) {
        Integer nums[] = {1, 2, 3, 4, 5};
        String s[] = {"one", "two", "three"};
        System.out.println(isIn("fs", nums));
      /*
      when compiled in java 7 it producing an error and compiling in java 8 without error */
    }
}

Answer 1

这是由于Java 8中对广义目标类型推理的改进。事实上，我上周回答了一个类似的问题。Java 8对泛型方法的调用不明确

Java 8问题的第一个答案是：引用[方法]是不明确的也很好。

Java 8能够推断传递给泛型方法的参数的类型。因此，正如@Thomas在评论中所说，类型T被推断为Object，而V被推断为扩展Object的对象，因此Integer。在Java7中，这只会抛出一个错误，因为Integer显然没有扩展String。

Answer 2

在Java 7中，类型推断会看到T = String和V = Integer，它们不满足V extends T。

然而，Java 8的JLS声明这是可行的：

List<Number> ln = Arrays.asList(1, 2.0);

因此，在您的情况下，这将被解析为T = V = Object。