我有这段代码来自“
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,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？
这是怎么回事？
解决方法
原因是因为
PECS的规则.
当你这样做的时候
static <T extends Comparable,V[] y)
你基本上都在陈述,T和V都是Comparable的子类型.
这意味着调用arraysEqual(Integer [],Double [])应该可以工作,因为Integer和Double都实现了Comparable.
但是当您将通用类型添加到Comparable时,合同将丢失,
static <T extends Comparable<T>,V[] y)
在这里,Double没有实现Comparable< Integer>,这就是编译器错误的原因.
编辑：如果你的问题是为什么rawtype Comparable没有给编译器错误,答案就是泛型如何工作……
您也可以尝试使用Number,
static <T extends Number,V[] y)
这里没有涉及rawtypes,你可以调用arrayEquals(Integer [],Double []),它可以正常工作,因为它们都是Number.
