java特别基础之泛型

java特别基础之泛型

 
 目的：面向对象对代码重用的支持，其中一个重要的机制就是泛型 

 
  泛型的使用方式： 
 

 
 如果除去对象的基本类型以外，实现方法是相同的，那么就可以用泛型实现来描 述这种基本的功能 

 
  两个细节： 
 

 
 1.使用时必须强转成正确的类型  

 
 2.不能使用基本类型，只有引用类型能与Object相容（但可以使用包装类） 

 
  自动装箱\拆箱： 
 

 
 如果一个int型量被传递到需要一个Integer对象的地方，那么编译器将在幕后插入个对Integer构造方法的调用，即自动装箱 

 
 如果一个Integer对象被放到需要int型量的地方，则编译器将在幕后插入一个对intValue()方法的调用，即自动拆箱 

 
   IS-A关系 
  

public static Comparable findMax(Comparable[] arr){
    int maxIndex = 0;

    for (int i = 1; i < arr.length; i++)
        if (arr[i].compareTo(arr[maxIndex]) > 0)
            maxIndex = i;

    return arr[maxIndex];
}

 
 1.仅有compareTo方法但未宣称实现Comparable接口的对象不是Comparable的，他不具有IS-A关系 

 
 2.如果所传参数Comparable[]中存在不相容的对象，那么CompareTo()方法将抛出异常ClassCastException 

 
 3.基础类型能通过其包装类作为Comparable传递，因为包装类实现了Comparable 

 
 4.接口究竟是不是标准库的接口倒不是必需（意思是：泛型也对非标准java库接口适用！？） 

 
 5.方案不是总能行得通（之后有function 参数），如：包装类，但接口是用户自定义接口。又或者是个final类 

 
  协变数组类型： 
 

 
 数组兼容对象的类型  

 
 （非协变）每个数组都明确它所允许存储的对象的类型 

 
  协变性解析： 
 

 
 totalArea(Shape[] arr){} 此处用数组具有协变性 

 
 totalArea(Collection<Shape> arr){} 此处用集合协变性消失 

 
 totalArea(Collection<? extends Shape> arr){} 此处引入通配符重新使对象具有协变性 

 
 1.使类具有泛型 

 
  public class Tree <AnyType extends Comparable<? super AnyType>> {}

 
 2.使某方法参数能使用泛型（不需要类是泛型）: 

    public static<AnyType> AnyType findMax(){ return val; }

 
 类型界限 

 
 1.public static<AnyType extends Comparable> 

 
 AnyType findMax(AnyType[] arr){} 

 
  (1.写法不太好) 

 
  现在假设Square继承Shape，可得Square实现Comparable<Shape>,可得Square IS-A Comparable<Shape>，但是不能得到Square IS-A Comparable<Square> 
 

 
 2.public static<AnyType extends Comparable<? super AnyType>> AnyType findMax(AnyType[] arr){} 

 
 这是为了使用Compable接口中的compareTo()方法 

java特别基础之泛型

猜你喜欢