java – 通用方法调用

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,4,6 };
    Integer [] nums2 = { 1,6 };
    Integer [] nums3 = { 1,6 };
    Integer [] nums4 = { 1,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,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中的arraysEqual.GenericMethodDemo不能应用于给定的类型;必需：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,nums4))
        System.out.println("nums equal nums4");

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

有人可以解释为什么编译在第二种情况下不会失败吗？我曾经期望编译器抱怨T扩展Comparable,V在第二个实例中扩展T？

这是怎么回事？