泛型

泛型

泛型概述

泛型定义：可以在类或方法中预支地使用未知的类型。

tips:一般在创建对象时，将未知的类型确定具体的类型。当没有指定泛型时，默认类型为Object类型。

前因：
集合中是可以存放任意对象的，只要把对象存储集合后，那么这时他们都会被提升成Object类型。
当取出每一个对象，并且进行相应的操作，这时必须采用类型转换。
Collection虽然可以存储各种对象，但实际上通常Collection只存储同一类型对象。例如都是存储字符串对象。

后果：
因此在JDK5之后，新增了泛型(Generic)语法，
让你在设计API时可以指定类或方法支持泛型，并得到了编译时期的语法检查。

---

使用泛型的好处

• 将运行时期的ClassCastException，转移到了编译时期变成了编译失败。
• 避免了类型强转的麻烦。

---

泛型的定义与使用

含有泛型的类

格式定义、使用：

定义：

修饰符 class 类名<代表泛型的变量> {  }

使用：
即什么时候确定泛型------在实例化类的时候指明泛型的具体类型

自定义泛型类及使用

定义：

public class MyGenericClass<MVP> {
	//没有MVP类型，在这里代表 未知的一种数据类型 未来传递什么就是什么类型
	private MVP mvp;
     
    public void setMVP(MVP mvp) {
        this.mvp = mvp;
    }
     
    public MVP getMVP() {
        return mvp;
    }
}

使用：

public class GenericClassDemo {
  	public static void main(String[] args) {		 
         // 创建一个泛型为String的类
         MyGenericClass<String> my = new MyGenericClass<String>();    	
         // 调用setMVP
         my.setMVP("大胡子登登");
         // 调用getMVP
         String mvp = my.getMVP();
         System.out.println(mvp);
         //创建一个泛型为Integer的类
         MyGenericClass<Integer> my2 = new MyGenericClass<Integer>(); 
         my2.setMVP(123);   	  
         Integer mvp2 = my2.getMVP();
    }
}

含有泛型的方法

格式定义、使用：

定义：

修饰符 <代表泛型的变量> 返回值类型 方法名(参数){  }

使用：
调用方法时，确定泛型的具体类型

只有声明了的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法

与泛型类的定义一样，上述T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型

自定义泛型方法及使用

定义：

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

使用：

public class GenericMethodDemo {
    public static void main(String[] args) {
        // 创建对象
        MyGenericMethod mm = new MyGenericMethod();
        // 演示看方法提示
        mm.show("aaa");
        mm.show(123);
        mm.show(12.45);
    }
}

含有泛型的接口

格式定义、使用：

定义：

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

使用：
定义类时确定泛型的类型**

自定义泛型接口及使用

定义：

public interface MyGenericInterface<E>{
	public abstract void add(E e);
	
	public abstract E getE();  
}

使用：
1、定义类时确定泛型的类型
实现类：

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

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

此时，泛型E的值就是String类型

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");
    }
}

---

泛型通配符

使用场景

当使用泛型类或者接口时，传递的数据中，类型还不确定，则可以通过通配符<?>表示。

但是一旦使用泛型的通配符后，只能使用Object类中的共性方法，集合中元素自身方法无法使用。

通配符基本使用

泛型的通配符:不知道使用什么类型来接收的时候,此时可以使用?,?表示未知通配符。
代码示例：

public static void main(String[] args) {
    Collection<Intger> list1 = new ArrayList<Integer>();
    getElement(list1);
    Collection<String> list2 = new ArrayList<String>();
    getElement(list2);
}
public static void getElement(Collection<?> coll){ // ？代表可以接收任意类型
	for (Object o : coll) {
         System.out.println(o);
    }
}

通配符高级使用----受限泛型

泛型的上限：

• 格式： 类型名称 <? extends 类 > 对象名称
• 意义： 只能接收该类型及其子类

泛型的下限：

• 格式： 类型名称 <? super 类 > 对象名称
• 意义： 只能接收该类型及其父类型

代码示例：

public static void main(String[] args) {
    Collection<Integer> list1 = new ArrayList<Integer>();
    Collection<String> list2 = new ArrayList<String>();
    Collection<Number> list3 = new ArrayList<Number>();
    Collection<Object> list4 = new ArrayList<Object>();
    
    getElement(list1);
    getElement(list2);//报错
    getElement(list3);
    getElement(list4);//报错
  
    getElement2(list1);//报错
    getElement2(list2);//报错
    getElement2(list3);
    getElement2(list4);
  
}
// 泛型的上限：此时的泛型?，必须是Number类型或者Number类型的子类
public static void getElement1(Collection<? extends Number> coll){}
// 泛型的下限：此时的泛型?，必须是Number类型或者Number类型的父类
public static void getElement2(Collection<? super Number> coll){}