java集合框架之泛型

1.为什么需要使用泛型

       1):存储任意类型的数据在集合中 ,但是取出来都是Object类型的,此时就得强转.

      2):约束存储到集合中的元素必须是相同的数据类型(相同的数据类型才能做比较,比如TreeSet类).
      3):设计一个点(Point)类,来封装坐标位置,要求坐标位置支持String类型.Integer类型/Double类型.
         非常不优雅的设计,如下图(重复定义):

2.什么是泛型

泛型(GenericType),从Java5开始支持的新的语法:
  什么是泛型:
                  1):广泛通用的类型.
                  2):代码模板中类型不确定,谁调用该段代码,谁指明类型是什么.

3.泛型类

直接在类/接口上定义的泛型.
使用泛型:
保证前后类型相同. List<String> list = new ArrayList<String>();//该List集合中只能存储String类型的元素.
因为前后类型相同,所以从Java7开始,推出泛型的菱形语法<>.即List<String> list = new ArrayList<>();
    

泛型不存在继承的关系(错误如下).
     List<Object> list = new ArrayList<String>();//错误的

从此以后,使用集合都得使用泛型来约束该集合中元素的类型.

public class Point<T> {
	private T x;
	private T y;
	public T getX() {
		return x;
	}
	public void setX(T x) {
		this.x = x;
	}
	public T getY() {
		return y;
	}
	public void setY(T y) {
		this.y = y;
	}
	
}

class Test{
	public static void main(String[] args) {
		//情况1:使用String类型
		Point<String> p1 = new Point<String>();
		String x = p1.getX();
		//情况2:使用Integer类型
		Point<Integer> p2 = new Point<Integer>();
		Integer x2 = p2.getX();
	}
}

通过反编译,发现:泛型其实也是语法糖,底层依然没有泛型,而且依然使用强转.

2.泛型方法

在方法上声明泛型.
    情况1):泛型类中的泛型只能适用于非静态方法,如果需要给静态方法设置泛型,此时使用泛型方法:
    情况2):泛型类中的泛型应该适用于整个类中多个方法,有时候只对某一个方法设置泛型即可.
-----------------------------------------------------
    一般的,把自定义的泛型作为该方法的返回类型才有意义,而且此时的泛型必须是由参数设置进来的.
    如果没有参数来设置泛型的具体类型,此时的方法一般返回设计为Object即可.

3.泛型的通配符和上限和下限:

  泛型的通配符:不知道使用什么类型来接收的时候,此时可以使用?,?表示未知,通配符.
  此时只能接受数据,不能往该集合中存储数据.

泛型的上限和下限:用来限定元素的类型必须是X类的子类或相同,  X的父类或相同.

4.泛型擦除和转换

泛型的擦除:  
         1):泛型编译之后就消失了(泛型自动擦除);
         2):当把带有泛型的集合赋给不带泛型的集合,此时泛型被擦除(手动擦除).

堆污染:
单一个方法既使用泛型的时候也使用可变参数,此时容易导致堆污染问题.
如:在Arrays类中的asList方法: public static <T> List<T> asList(T... a).