JAVA -- 泛型、Collection

泛型

1.泛型概述

• Java泛型（generics）是JDK 5中引入的一个新特性，泛型提供了编译时类型安全监测机制，该机制允许程序员在编译时监测非法的类型。
• 使用泛型机制编写的程序代码要比那些杂乱地使用Object变量，然后再进行强制类型转换的代码具有更好的安全性和可读性。
• 泛型的本质是参数化类型，也就是所操作的数据类型被指定为一个参数。（在不创建新的类型的情况下，通过泛型指定的不同类型来控制形参具体限制的类型）。也就是说在泛型使用过程中，操作的数据类型被指定为一个参数，这种参数类型可以用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。
• 使用：通常与集合一起使用，为了限制类型，而且可以把报错时机提前
• 泛型是一颗"语法糖"，只是在编译时检查类型，编译好的字节码文件中没有泛型。

2.泛型的使用

• 泛型类
  • 泛型类型用于类的定义中，被称为泛型类。通过泛型可以完成对一组类的操作，对外开放相同的接口。最典型的就是各种容器类，如：List、Set、Map。

  	//此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型
  	//在实例化泛型类时，必须指定T的具体类型
  	public class Generic<T>{
        
  	    //key这个成员变量的类型为T,T的类型由外部指定  
  	    private T key;
  		
  		//泛型构造方法形参key的类型也为T，T的类型由外部指定
  	    public Generic(T key) {
        
  	        this.key = key;
  	    }
  	
  		//泛型方法getKey的返回值类型为T，T的类型由外部指定
  	    public T getKey(){
        
  	        return key;
  	    }
  	}
  

• 泛型接口

  	package cn.tedu.generic;
  	
  	public interface Generator<T> {
       
  	    public T test();
  	}
  

  • 实现泛型接口的类，未传入泛型实参时：

  	package cn.tedu.generic;
  	
  	/**
  	 * 未传入泛型实参时，与泛型类的定义相同，在声明类的时候，需将泛型的声明也一起加到类中
  	 * 即：public class TestGenerator<T> implements Generator<T>{}
  	 * 如果不声明泛型，如：class TestGenerator implements Generator<T>，编译器会报错："Unknown class"
  	 */
  	public class TestGenerator<T> implements Generator<T>{
       
  	    @Override
  	    public T test() {
       
  	        return null;
  	    }
  	}
  

  • 实现泛型接口的类，传入泛型实参时：

  	package cn.tedu.generic;
  	
  	/**
  	 * 传入泛型实参时：
  	 * 在实现类实现泛型接口时，如已将泛型类型传入实参类型，则所有使用泛型的地方都要替换成传入的实参类型
  	 * 即：Generator<T>，public T test(); 中的T都要替换成传入的String类型。
  	 */
  	public class TestGenerator<T> implements Generator<String>{
       
  	
  	    @Override
  	    public String test() {
       
  	        return null;
  	    }
  	}
  

• 泛型方法

  public static <E>void print(E a){
       }
  
  public static <E>void print(E[] a){
       }
  
  public static <T> T getName(T ...a){
       }
  

• 常用名称
  • E - Element：在集合中使用，因为集合中存放的是元素