Java 8 和 Java 7 与类型参数绑定中的泛型方法有什么区别？

Question

public class GenMethodDemo2 {
    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;
    }

    @Test
    public void test(){
        Integer[] nums = {1,2,3,4,5};
        if(isIn("java",nums)) System.out.println("java is in nums");
        if(!isIn("java",nums)) System.out.println("java is not in nums");
    }
}

当我使用 jdk8 时，这段代码运行良好，结果是java is not in nums

但是当我更改为 jdk7 时，相同的代码将无法编译，并且提示 msg 是Inferred type 'java.lang.Integer' for type parameter 'V' is not within its bound; should extend 'java.lang.String' in Inferred type 'java.lang.Integer' for type parameter 'V' is not within its bound; should extend 'java.lang.String' Inferred type 'java.lang.Integer' for type parameter 'V' is not within its bound; should extend 'java.lang.String'

我想知道：当函数显式定义类型参数绑定V extends T时，jdk8 如何编译这段代码？

Answer 1

我相信与 Java 7 相比，Java 8 中泛型方法的类型推断有一些改进，尽管我不确定它是否能解释您所看到的差异。 在任何情况下，当推理失败时，您始终可以显式提供类型见证以向编译器证明存在将满足边界的类型，例如：

if (GenMethodDemo2.<Object, Integer>isIn("java",nums))
    System.out.println("java is in nums");

在这种情况下，类型变量T和V总是可以选择为Object ，并且它不会接受任何更少的参数集（因为任何T将是Object的子类型，任何V[]将是Object[]的子类型Object[] ）。 所以你的方法实际上不需要任何泛型：

static boolean isIn(Object x, Object[] y){
    for (int i = 0; i < y.length; i++) {
        if (x.equals(y[i])) return true;
    }
    return false;
}

Answer 2

像这样的签名

static <T, V extends T> boolean isIn(T x, V[] y)

并不比

static boolean isIn(Object x, Object[] y)

因为调用者总是可以使用Object for T ，它允许任意对象作为第一个参数，以及数组元素的任意引用类型。

因此，当您将方法更改为

@Test
public void test(){
    Integer[] nums = {1,2,3,4,5};
    if(GenMethodDemo2.<Object,Integer>isIn("java",nums))
            System.out.println("java is in nums");
    if(!GenMethodDemo2.<Object,Integer>isIn("java",nums))
            System.out.println("java is not in nums");
}

它可以在所有支持泛型的 Java 版本中编译。

由于协变数组，它也可以指定

if(GenMethodDemo2.<Object,Object>isIn("java",nums))
        System.out.println("java is in nums");
if(!GenMethodDemo2.<Object,Object>isIn("java",nums))
        System.out.println("java is not in nums");

Java 8 的类型推断不会改变哪个方法调用是有效的，它只会使执行有效调用变得更容易，因为您需要显式指定类型参数的场景较少。