java泛型简述

泛型

为什么用泛型？

• 早期的Object类型可以接收任意的对象类型，但是在实际的使用中，有类型转换的问题。也就存在这隐患，所以Java提供了泛型来解决这个安全问题。

什么是泛型？

• 泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。
• 参数化类型，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式，然后在使用/调用时传入具体的类型。就是相当于java中的数据类型当作参数传递。

泛型类

• 泛型有三种使用方式，分别为：泛型类、泛型接口、泛型方法.
• 泛型类型用于类的定义中，被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口。
• 一个普通的泛型类

public class Demo<T>{ //T可以为任意标识符，常见的如T、E、K、V等形式的参数常用于表示泛型 
    private T key; //key这个成员变量的类型为T,T的类型由外部指定 
    public Generic(T key) { //泛型构造方法形参key的类型也为T，T的类型由外部指定 
        this.key = key; 
    }
    public T getKey(){ //泛型方法getKey的返回值类型为T，T的类型由外部指定 
        return key; 
    } 
}
//传入的实参类型需与泛型的类型参数类型相同，即为Integer. 
    Demo<Integer> genericInteger = new Demo<Integer>(123456);

• 泛型的类型参数只能是类类型
• 泛型的类型参数可以有多个
• .如果没有定义具体类型,默认为Object

从泛型类派生子类

	//子类也是泛型类，子类和父类的泛型类型要一致 
		class A<T> extends Demo<T> 
	//子类不是泛型类，父类要明确泛型的数据类型 
		class A extends Demo<String>

泛型接口

//泛型接口与泛型类的定义及使用基本相同。 
public interface Demo<T> { //定义一个泛型接口 
    public T next(); 
}
//子类也是泛型类，子类和父类的泛型类型要一致 
class A<T> implements Demo<T>{
    @Override 
    public T next() { 
        return null; 
    } 
}
//子类不是泛型类，父类要明确泛型的数据类型 
public class A implements Demo<String> {
    @Override 
    public String next() {
        return null; 
    } 
}

泛型通配符

• 当使用泛型类或接口时，转递的数据中，泛型类不确定，可以通过通配符<?>表示。但是一旦使用泛型的通配符后，只能使用object类的中的共性方法，集合中元素自身方法无法使用
• 通配符的基本使用：不知道使用什么类型来接受的时候，此时可以使用？，？表示未知通配符，代替具体的实参类型，所以，类型通配符是类型实参，而不是类型形参

类型通配符的上下限

• 上限

  • 格式：类/接口<？extends实参类型>
  • 意义：要求该泛型的类型，只能是实参类型，或实参类型的子类类型。

• 下限

  • 格式：类/接口<？super实参类型>
  • 意义：要求该泛型的类型，只能是实参类型，或实参类型的父类类型。

  例：

//泛型的上限：此时的泛型？，必须是Number类型或者Number类型的子类
    public  static  void getElement(Collection<? extends  Number> coll) {
    }
    //泛型的下限：此时的泛型？，必须是Number类型或者Number的父类
    public  static void getElement2(Collection<? super  Number> coll){}

类型擦除

泛型是Java 1.5版本才引进的概念，在这之前是没有泛型的，但是，泛型代码能够很 好地和之前版本的代码兼容。那是因为，泛到信息只存在于代码编译阶段，在进入JVM之 前，与泛型相关的信息会被擦除掉，我们称之为一类型擦除。

泛型信息只存在于代码编译阶段，在进入 JVM 之前，与泛型相关的信息会被擦除 掉，专业术语叫做类型擦除。

List<String> l1 = new ArrayList<String>(); 

List<Integer> l2 = new ArrayList<Integer>(); 

System.out.println(l1.getClass() == l2.getClass()); 

打印的结果为 true 是因为 List和 List在 jvm 中的 Class 都是 List.class。

泛型信息被擦除了。

泛型类被类型擦除后，相应的类型就被替换成 Object 类型或者上限类型

案例

import java.lang.reflect.Field;

public class Erasure <T>{
    T object;
    public Erasure(T object) {
        this.object = object;
    }

    public static void main(String[] args) {
        Erasure<String> erasure = new Erasure<String>("hello");
        /* 先用erasure对象的getClass（）方法获得Class对象，在用该Class对象的getDeclaredFields()方法获取Eerasure类的所有属性*/
        Field[] fs = erasure.getClass().getDeclaredFields();
        for ( Field f:fs) {//Erasure 是一个泛型类，我们查看它在运行时的状态信息可以通过反射↑
           System.out.println("Field name:"+f.getName()+"\ntype:"+f.getType().getName());
        }
        /*
        结果：
        	Field name:object属性类型名称
			type:java.lang.Object属性类型(全类名)
        */
    }
}

类型擦除后保留的原始类型

1. 原始类型为Object

   public class People<T> {  
       private T name;  
       public T getName() {  
           return name;  
       }  
       public void setName(T  Name) {  
           this.Name=Name;  
       }  
   }  
   //People原始类型为：
   public class People {  
       private Object name;  
       public Object getName() {  
           return name;  
       }  
       public void setName(Object Name) {  
           this.Name = Name;  
       }  
   }  
   //因为在People<T>中，T 是一个无限定的类型变量，所以用Object替换，其结果就是一个普通的类
   

2. 声明原始类型

   //如果类型变量有限定，那么原始类型就用第一个边界的类型变量类替换。
   //比如: People这样声明的话
   public class People<T extends Comparable> {}
   //那么原始类型就是Comparable
   

在调用泛型方法时，可以指定泛型，也可以不指定泛型。

• 在不指定泛型的情况下，泛型变量的类型为该方法中的几种类型的同一父类的最小级，直到 Object。
• 在指定泛型的情况下，该方法的几种类型必须是该泛型的实例的类型或者其子类。

public class Test {  
    public static void main(String[] args) {  

        /**不指定泛型的时候*/  
        int i = Test.add(1, 2); //这两个参数都是Integer，所以T为Integer类型  
        Number f = Test.add(1, 1.2); //这两个参数一个是Integer，以风格是Float，所以取同一父类的最小级，为Number  
        Object o = Test.add(1, "asd"); //这两个参数一个是Integer，以风格是Float，所以取同一父类的最小级，为Object  

        /**指定泛型的时候*/  
        int a = Test.<Integer>add(1, 2); //指定了Integer，所以只能为Integer类型或者其子类  
        int b = Test.<Integer>add(1, 2.2); //编译错误，指定了Integer，不能为Float  
        Number c = Test.<Number>add(1, 2.2); //指定为Number，所以可以为Integer和Float  
    }  

    //这是一个简单的泛型方法  
    public static <T> T add(T x,T y){  
        return y;  
    }  
}

部分内容转自：CSDN