泛型总结

泛型

参与了孤尽大大的DIY班，这一期的主题时泛型，之前没有深入研究过泛型，于是有了此篇的总结。

1.简单的泛型类和接口

 public class GenericMemoryCell<AnyType>{ public AnyType read(){ return storedVal; } public void write(AnyType x){ storedVal = x; } private AnyType storedVal; }

 public interface Comparable<>{ public int comparaTo(AnyType other); }

从基础的泛型可以看出，限制了类和接口的参数的类型。这样一个直接的好处就是，时以前只有在运行时报告的错误，如今现在可以在编译时报错。 

2.菱形运算符

 //通过<>可以省略，自动匹配要生成的类的type GenericMemoryCell<Integer> m=new GenericMemoryCell<>();

3.带有限制的通配符

现在场景：totalArea是一个计算图形面积的静态方法，Shape是一个父类，Square，Circle继承了Shape的父类。

 public static double TotalArea(Colletion<Shape> arr){ double total=0; for(Shap s:arr){ if(s!=null) total+=s.area(); } return total; }

问题是，如果是，方法中传入，Colletion。编译通过，但是产生运行时错误。为了解决这个问题，java5采用了通配符表示参数类型的子类或者超类。Collection ,T IS-A Shape 。

 public static double TotalArea(Colletion<？extends Shape> arr){ double total=0; for(Shap s:arr){ if(s!=null) total+=s.area(); } return total; }

4.泛型方法

定义泛型方法时，必须在返回值前边加一个，来声明这是一个泛型方法，持有一个泛型T，然后才可以用T作为方法返回值
泛型方法要求的参数是Class类型，而Class.forName()方法的返回值也是Class，因此可以用Class.forName()作为参数。其中，forName()方法中的参数是何种类型，返回的Class就是何种类型。在本例中，forName()方法中传入的是User类的完整路径，因此返回的是Class类型的对象，因此调用泛型方法时，变量c的类型就是Class，因此泛型方法中的泛型T就被指明为User，因此变量obj的类型为User。
当然，泛型方法不是仅仅可以有一个参数Class，可以根据需要添加其他参数。
为什么要使用泛型方法呢？因为泛型类要在实例化的时候就指明类型，如果想换一种类型，不得不重新new一次，可能不够灵活；而泛型方法可以在调用的时候指明类型，更加灵活。

 public static <T> boolean contains(T [] arr,T x){ for(T val:arr){ if(x.equals(val)) return true; } return false; }

5.类型界限

我们想编写一个finMax的程序，比较的AnyType必须是实现comparable才可以比较。下面的这种方法是不行的

 public static <AnyType> AnyType findMax(AnyType [] arr){ int maxIndex=0; for(int i=0;i<arr.length;i++){ if(arr[i].compareTo(arr[maxIndex])) maxIndex=i; } return arr[maxIndex]; }

改写泛型，需要比较的泛型是可以比较的。所以就有
public static >
假设Shape实现了Comparable,Square继承了Shape，Square所继承的泛型是Comparable，并不是Comparable,但是这样也是可以的。所以，可以写成以下格式：

 public static <AnyType extends Comparable<? super AnyType>> AnyType findMax(AnyType [] arr){ int maxIndex=0; for(int i=0;i<arr.length;i++){ if(arr[i].compareTo(arr[maxIndex])) maxIndex=i; } return arr[maxIndex]; }

6.类型擦除

因为，泛型是java语言中的成分，而不是虚拟机中的结构。所以泛型类需要经过虚拟机的类型擦出而变成非泛型类。

编译器生成一个与泛型类名相同的原始类。类型变量使用它们原先的类型界限来代替。 

7.对于泛型的限制

由于类型擦除的存在，所以必须遵从以下规则：
1.基本类型不能做类型参数
2.instanceof检测和类型转换工作只对原始类型进行。

 这句话的理解，就是编译时检测，只对原始类型有用，进行转换之后就不管用了。 

 GenericMemoryCell<Integer> cell1=new GenericMemoryCell<>(); cell1.write(4); Object cell=cell1; GenericMemoryCell<String> cell2=(GenericMemoryCell<String>) cell; String s=cell2.read;

3.在一个泛型类中，static方法和static域均不可引用类型变量，因为再类型擦出后，类型变量就不存在了。
4.泛型类型的实例化

 //非法，如果T是一个类型变量 T obj=new T(); T [] arr=new T[10]

5.参数化类型的数组

如下方案例，正常情况，存在类型检查，但是类型擦除之后，cell和数组arr里面的内容同样都是GenericMemoryCell。只有在实际存储的时候会出现，ClassCastException错误。 

 GenericMemoryCell<String> [] arr= new GenericMemoryCell<String> [10]; GenericMemoryCell<Integer> cell1=new GenericMemoryCell<>(); cell1.write(4); Object [] arr2=arr; arr2[0]=cell String s=arr2[0].read();

8.函数对象

​ 定义一个没有数据而只有一个方法的类，并传递该类的一个实例。事实上，一个函数通过将其放在一个对象内部而被传递，这样的对象叫做函数对象。

 public static <T> T findMax(T [] arr,Comparator<? super T> cmp){ int maxIndex=0; for(int i=0;i<arr.length;i++){ if(cmp.compare(arr[i], arr[maxIndex])>0) maxIndex=i; } return arr[maxIndex]; } class CaseInsensitiveCompare implements Comparator<String>{ public int compare(String lhs,String rhs){ return lhs.compareToIgnoreCase(rhs); } } class TestProgram{ public static void main(String [] args){ String [] arr={"ZEBRA"，“ali”,"arc"} System.out.println(findMax(arr,new CaseInsensitiveCompare())); } } //输出：ZEBRA最后