Java之泛型（总结）

泛型在Java中是重要的，emmmm…这么说有点笼统，这样说吧，泛型在很多源码中都有使用，所以看源码的时候，泛型这个概念很重要，而且平常写代码的时候泛型也很方便。

那么就开始介绍泛型了。

泛型的概念：

所谓泛型，就是允许在定义类、接口时通过一个标识表示类中某个属性的类型或者是某个方法的返回值及参数类型。这个类型参数将在使用时（例如，继承或实现这个接口，用这个类型声明变量、创建对象时）确定（即传入实际的类型参数，也称为类型实参）。

为什么要有泛型，看下面：

Java泛型可以保证如果程序在编译时没有发出警告，运行时就不会产生ClassCastException异常。同时，代码更加简洁、健壮。

---

在集合里用泛型

在集合中使用泛型，别的我都不说，我就放两个例子，看下就知道了。

在List中使用泛型

public class Test {
    public static void main(String[] args) {
    		ArrayList<Integer> s = new ArrayList<>();
    		for(int i=0;i<10;i++) {
    			s.add(i);
    		}
      
        //方法一：
        for(Integer i:s){
            System.out.println(i);
        }
        
        //方法二：
    	Iterator it = s.iterator();
    	while(it.hasNext()) {
    		System.out.println(it.next());
    	}
    }
}

在Set中使用泛型

public class Test03 {
    public static void main(String[] args) {
    		Map<String,Integer> map = new HashMap<>();
    		map.put("A",123);
    		map.put("B",456);
    		map.put("C",789);
    		Set<Entry<String,Integer>> entrySet = map.entrySet();
    		Iterator it = entrySet.iterator();
    		while(it.hasNext()) {
			Entry<String,Integer> entry = (Entry<String, Integer>) it.next();
			System.out.println(entry.getKey());
			System.out.println(entry.getValue());
		}
	}
}

---

自定义泛型

自定义泛型接口：泛型类、泛型接口

1. 泛型类可能有多个参数，此时应将多个参数一起放在尖括号内。比如：
2. 实例化后，操作原来泛型位置的结构必须与指定的泛型类型一致。
3. 泛型不同的引用不能相互赋值。
4. 泛型如果不指定，将被擦除，泛型对应的类型均按照Object处理，但不等价于Object。经验：泛型要使用一路都用。要不用，一路都不要用。
5. 如果泛型结构是一个接口或抽象类，则不可创建泛型类的对象。
6. 泛型的指定中不能使用基本数据类型，可以使用包装类替换。
7. 异常类不能是泛型的，静态方法中不能使用类的泛型。

自定义泛型方法：

方法，也可以被泛型化，不管此时定义在其中的类是不是泛型类。在泛型方法中可以定义泛型参数，此时，参数的类型就是传入数据的类型。

泛型方法的格式：
[访问权限] <泛型> 返回类型 方法名([泛型标识 参数名称]) (抛出的异常)
eg:

public static <E> E func(E x) {
	...	
return x;
}

---

介绍通配符

1.使用类型通配符：？
比如：List ，Map
List是List、List等各种泛型List的父类。

2.读取List的对象list中的元素时，永远是安全的，因为不管list的真实类型是什么，它包含的都是Object。

3.写入list中的元素时，不行。因为我们不知道c的元素类型，我们不能向其中添加对象。
唯一的例外是null，它是所有类型的成员。

注意：不能同时声明泛型通配符申明上界和下界

语法：

泛型类名
或
泛型类名
或
泛型类名

注意点1：编译错误：不能用在泛型方法声明上，返回值类型前面<>不能使用‘?’

public static <?> void test(ArrayList<?> list){
}

注意点2：编译错误：不能用在泛型类的声明上

class GenericTypeClass<?>{
} 

注意点3：编译错误：不能用在创建对象上，右边属于创建集合对象

ArrayList<?> list2 = new ArrayList<?>();

---

有限制的通配符

通配符指定上限
上限extends：使用时指定的类型必须是继承某个类，或者实现某个接口，即<=

通配符指定下限
下限super：使用时指定的类型不能小于操作的类，即>=

举例：

(无穷小 , Number]
只允许泛型为Number及Number子类的引用调用

[Number , 无穷大)
只允许泛型为Number及Number父类的引用调用


只允许泛型为实现Comparable接口的实现类的引用调用

简单来说：
? extends T：表示T或T的子类
? super T：表示T或T的父类
?：表示可以是任意类型


若有不当之处，欢迎指正！！！