泛型的理解和应用

对泛型好奇了好久，看到明白，但是写代码时总也想不到怎么会用到它，抽时间研究，也跟大家分享下。

泛型特点:本质参数化，也就是所操作的数据类型定义为参数，这种参数化类型可以用在类、接口、方法中。

特点:泛型只在编译阶段有效。意思就在编译阶段，正确检查泛型结果后，将会擦除泛型的类型信息。

例子:

		List list=new ArrayList();
		list.add("第一行");
		list.add(123);
		for (Object obj : list) {
			String str=(String)obj;
			System.out.println(str);
		}

输出结果:

第一行

Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String

我们如果没有加泛型信息，则我们可以加入任何类型信息，返回的类型强转时将会有转换异常产生。

而且带来问题就是：代码异常在运行阶段才会被发现。

采用泛型：

在编写代码时，我们就可以查看到我们的代码异常信息。

泛型使用：泛型类、泛型接口、泛型方法。

1、泛型类

我们常见的工具类：ArrayList、Map等。

简单的泛型类   public  类名<泛型标识符>{

                          泛型标识符 变量名；

                          //也可在构造函数和普通方法中使用

                        //但实验和理论可以推论不可以在静态代码块和静态变量中使用。因为泛型类型不确定无法声明为静态的，所以无法引用

                            }

示例最简单泛型类：

public class GenericTest<T> {//T可以替换为U,V等其他字符
	private T a;
	
	public GenericTest(T a){
		this.a=a;
	}

	public T getA() {//可以在方法中调用 而不用声明T类型，因为在类中已经声明了<T>
		return a;
	}

	public void setA(T a) {
		this.a = a;
	}
	
	public String toString() {
		return a.toString();
	}
	
}

带类型限定的泛型类，可能还有其他方式，这个是我常用的，可以编码时期暴露出错误:

public class GenericTest<T extends Number> {//限定为Number的子类
	private T a;
	
	public GenericTest(T a){
		this.a=a;
	}

	public T getA() {
		return a;
	}

	public void setA(T a) {
		this.a = a;
	}
	
	public String toString() {
		return a.toString();
	}
	
	
	public static void main(String[] args) {
		
		GenericTest<Integer> a=null;
		//GenericTest<String> a=null;  会在编译时期报错
	}
}

2、泛型接口

泛型接口和泛型类基本类似。可以用在各种类的生产器和通用工具接口中。

最简单泛型接口:

public interface GenericInterfaceTest<T> {
	public  T next();
	
	public T next(T t);
}

实现上述接口:

不传入实际参数

public class  MyList<T> implements GenericInterfaceTest<T>{//声明类时，没有传入实参时，应该把MyList<T>中<T> 否则会报错

	@Override
	public T next() {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public T next(T t) {
		// TODO Auto-generated method stub
		return null;
	}

传入实际参数

public class  MyList implements GenericInterfaceTest<String>{//声明类时，没有传入实参时，应该把MyList<T>中<T> 省略

	@Override
	public String next() {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public String next(String t) {
		// TODO Auto-generated method stub
		return null;
	}}

为接口添加限定，不一定有意义哈

public interface GenericInterfaceTest<T extends Number> {
	public  T next();
	
	public T next(T t);
}

实现上述接口:

public class  MyList<T extends Number> implements GenericInterfaceTest<T>{
        //实现带类型限定的方式如图,也可以限定为Number的子类
	@Override
	public T next() {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public T next(T t) {
		// TODO Auto-generated method stub
		return null;
	}

}

当传入实参时方式和不加限定时相同

3、泛型方法:在调用方法时指明泛型的具体类型。

1、基本方法：

	class GenericT{
		
		public <T> T GenericMethod() { //<T>不可以省略否则会报错
			T a=null;
			return a;
		}
	}

	class GenericT<E>{
		
		public <T> T GenericMethod() {
			T a=null;
			return a;
		}
		
		public  E GenericMethod2() {//和上个方法比方法，方法中的<E>类型声明可以省略，因为在类中已经声明<E>
			E a=null;
			return a;
		}
	}

	class GenericT<E>{
		
		public  <E,K,V> V GenericMethod3(K k,V v) { //多个泛型的声明方式，
			E a=null;
			K b=k;
			V c=v;
			return c;
		}
	}
	

	class GenericT<E>{
		
		public  GenericTest<T> GenericMethod4(GenericTest<T> h) {//泛型类型作为实参，和返回值
			GenericTest<T> j=null;
			
			return j;
		}
		public  GenericTest<T> GenericMethod5(GenericTest<Integer> h) { // 泛型类具体类型实参使用方法
			GenericTest<T> j=null;
			
			return j;
		}
	}

	public   <T extends Number> GenericTest<T> GenericMethod6(GenericTest<Integer> h) {//方法中的类型限定
			GenericTest<T> j=null;
			
			return j;
		}

总结：泛型方法中，泛型类中已经声明的在类方法中可以不声明，泛型方法中在类中没有声明的必须在泛型方法前加上类型<T>的限定。

其他的一些使用

泛型方法和可变参数

	public void log(T ...args){
		System.out.println(args[0]);
	}

	b.log(1,2,3,4);

静态方法和泛型

	public static <F> void show(F f){//和普通方法类似加上static限定词,不同的是<F>即使在类中已经声明，静态方法也必须声明
		
	}//类中已声明限定<F extends Number>

GenericTest.show("ASD");//调用上述方法，可以接受任何类型。加入限定<T>后相当于一种新的类型和类中的声明脱离关系

?号的使用

	public void GenericMethod7(GenericTest<? extends Number> h) {//添加类型限定只可以接受Number的子类
	
		}
		public void GenericMethod8(GenericTest<?> h) {//可以接受任何类型
			
		}

备注：泛型类型限定支持 extends、super