泛型小记，泛型有什么用

泛型小记，泛型有什么用

我们为什么要使用泛型?

在学习集合时，我们都知道集合中是可以存放任意对象的，只要把对象存储集合后，那么这时他们都会被提升成Object类型。当我们在取出每一个对象，并且进行相应的操作，这时必须采用向下类型转换。这个时候就要注意了,很容易出现问题.

public class GenericDemo {
	public static void main(String[] args) {
		Collection coll = new ArrayList();
		coll.add("abc");
		coll.add("itcast");
		coll.add(5);//由于集合没有做任何限定，任何类型都可以给其中存放
		Iterator it = coll.iterator();
		while(it.hasNext()){
			//需要打印每个字符串的长度,就要把迭代出来的对象转成String类型
			String str = (String) it.next();
			System.out.println(str.length());
		}
	}
}

运行时会出现一下异常.

也就是说我们虽然可以向集合中存放任意类型,但是对他进行相应方法的调用时,必须把他向下转成以前的类型.

那么要我们显然来记忆我们存了什么类型进去是不靠谱的 ,怎么来解决这个问题呢?

在JDK5之后，新增了泛型(Generic)语法，我们可以指定类或方法支持泛型，这样我们对一个集合就只能存进去对应泛型的类型了(这个泛型可以直接确定是什么确定的类,也可以预支地使用未知的类型。).并且编译时期就可以进行语法检查.

泛型：可以在类或方法中预支地使用未知的类型。我们在创建对象时，将未知的类型确定具体的类型。

泛型可以用到类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。

1.泛型类

//代表泛型的变量可以随便定义,一般用 T,K,E...
修饰符 class 类名<代表泛型的变量> { }

class ArrayList<E>{ 
    public boolean add(E e){ }

    public E get(int index){ }
   	....
}

2.含有泛型的方法

public class MyGenericMethod {	  
    public <T> void show(T t) {    
    	System.out.println(t.getClass());
    }
    
    public <T> T show2(T t) {	
    	return t;
    }
}

注意:
2.1.调用方法时，确定泛型的类型,传递的是什么类型的参数,泛型就是什么类型
2.2. public 与 返回值中间的<.T>非常重要，可以理解为声明此方法为泛型方法。只有声明了<.T>的方法才是泛型方法，泛型类和接口中的使用了泛型的成员方法并不是泛型方法.

3.含有泛型的接口

修饰符 interface接口名<代表泛型的变量> {  }

public interface MyGenericInterface<E>{

	public abstract void add(E e);
	
	public abstract E getE();  
}

3.1何时确定泛型的类型呢?
(1)、定义实现类时确定泛型的类型,此时就会重写接口中的方法.

public class MyImp1 implements MyGenericInterface<String> {
	@Override
    public void add(String e) {
        // 省略...
    }

	@Override
	public String getE() {
		return null;
	}
}

(2)、始终不确定泛型的类型，直到创建对象时，确定泛型的类型

public class MyImp2<E> implements MyGenericInterface<E> {
	@Override
	public void add(E e) {
       	 // 省略...
	}

	@Override
	public E getE() {
		return null;
	}
}

public class GenericInterface {
    public static void main(String[] args) {
        MyImp2<String>  my = new MyImp2<String>();  
        my.add("aa");
    }
}

4.泛型的通配符
`
为什么出现呢?

这是因为泛型不存在继承关系 Collection