我有这段代码来自“Java - 初学者指南 - Schildt”，第 13 章:

package com.chapter.thirteen;

public class GenericMethodDemo {
static <T extends Comparable<T>, V extends T> boolean arraysEqual(T[] x, V[] y){
    if(x.length != y.length) return false;

    for(int i = 0; i < x.length; i++)
        if(!x[i].equals(y[i])) return false;

    return true;
}

public static void main(String args[]){

    Integer [] nums  = { 1, 3, 3, 4, 6 };
    Integer [] nums2 = { 1, 3, 3, 4, 6 };
    Integer [] nums3 = { 1, 3, 3, 4, 6 };
    Integer [] nums4 = { 1, 3, 3, 4, 6, 7};
    Double [] dVals = {1.1, 2.2, 3.3, 4.4};

    if(arraysEqual(nums, nums))
        System.out.println("nums equal nums");

    if(arraysEqual(nums, nums2))
        System.out.println("nums equal nums2");

    if(arraysEqual(nums, nums2))
        System.out.println("nums equal nums2");

    if(arraysEqual(nums, nums3))
        System.out.println("nums equal nums3");

    if(arraysEqual(nums, nums4))
        System.out.println("nums equal nums4");

    //Edit:Removed the comments from the below two lines.

    if(arraysEqual(nums, dVals))
        System.out.println("Nums equal dVals");

    }
}

编译失败并显示消息 - “错误:(39, 12) java:类 com.chapter.thirteen.GenericMethodDemo 中的方法 arraysEqual 不能应用于给定类型；需要:T[]，V[] 找到:java.lang.Integer[]， java.lang.Double[] 原因:推理变量 T 具有不兼容的边界等式约束:java.lang.Integer 下限:V,java.lang.Double,java.lang.Integer", 这是预期的。

但是，当我错过将参数添加到 Comparable 时(如下面的代码所示)，代码会编译并生成正确的结果。

package com.chapter.thirteen;


public class GenericMethodDemo {
    static <T extends Comparable, V extends T> boolean arraysEqual(T[] x, V[] y){
    if(x.length != y.length) return false;

    for(int i = 0; i < x.length; i++)
        if(!x[i].equals(y[i])) return false;

    return true;
}

public static void main(String args[]){

    Integer [] nums  = { 1, 3, 3, 4, 6 };
    Integer [] nums2 = { 1, 3, 3, 4, 6 };
    Integer [] nums3 = { 1, 3, 3, 4, 6 };
    Integer [] nums4 = { 1, 3, 3, 4, 6, 7};
    Double [] dVals = {1.1, 2.2, 3.3, 4.4};

    if(arraysEqual(nums, nums))
        System.out.println("nums equal nums");

    if(arraysEqual(nums, nums2))
        System.out.println("nums equal nums2");

    if(arraysEqual(nums, nums2))
        System.out.println("nums equal nums2");

    if(arraysEqual(nums, nums3))
        System.out.println("nums equal nums3");

    if(arraysEqual(nums, nums4))
        System.out.println("nums equal nums4");

    if(arraysEqual(nums, dVals))
        System.out.println("Nums equal dVals");
   }
}

谁能解释一下为什么编译在第二个实例中没有失败？我原以为编译器会提示 T extends Comparable, V extends T in the second instance?

这是怎么回事？

最佳答案

原因是因为PECS的规则.

当你这样做的时候，

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

你基本上是在说，T 和 V 都是 Comparable 的子类型. 这意味着调用 arraysEqual(Integer[], Double[])应该工作，因为 Integer和 Double实现 Comparable .

但是当您将泛型类型添加到 Comparable 时, 契约(Contract)丢失,

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

在此，Double没有实现 Comparable<Integer> ，这就是编译器错误的原因。

编辑:如果您的问题是为什么 rawtype Comparable没有给出编译器错误，答案是泛型的工作方式......

你可以试试Number还有，

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

没有rawtypes参与其中，你可以调用arrayEquals(Integer[], Double[])对此它会正常工作，因为两者都是 Number .

关于java - 泛型方法调用，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/33362927/