1.位置与作用

1.类
2.接口
3.参数类型
4.方法返回值
作用
1.可以在编译期间检查错误
2.降低运行时产生 ClassCastException 异常的概率（如：动态自定义泛型转换）
3.实现声明类型限制，使代码更加规范、易读、健壮
注意：
运行时就不会产生 ClassCastException异常，这句话并不准确
请看 4.参数指明泛型中的异常

2.类泛型

类中的泛型，可以只有1个，可以存在多个（用逗号分隔）
自定义的任意字母都可以，T只是一个代号（表示Type的意思）

3.参数与返回值泛型

根据参数类型传递的泛型，返回对应类型的返回值
注意：如果方法内部无法处理类型转换，仍然会出现 ClassCastException异常

4.父子类泛型

对于父类中存在泛型，子类继承父类
已知:父类class Father <T,M>{},则存在以下四种情况

//1.全部保留
class son1<T, M> extends Father<T, M> {
}

//2.1.部分保留、部分变更
class son2_1<T,Integer> extends Father<T,Integer> {
}

//2.2.部分保留、部分变更
class son2_2<T> extends Father<T,Integer> {
}

//3.全部变更
class son3<A, B> extends Father<A,B> {
}

//4.擦除
class son4<T, M> extends Father<T, M> {
}

5.接口与实现泛型

对于接口中存在泛型，实现类应满足如下情况
已知:接口interface TestInterFace<T, M> {,则存在以下四种情况

package com.abl.javabasis._08_generics;

public interface TestInterFace<T, M> {
}

//全部保留
class Impl_1<T, M> implements TestInterFace<T, M> {
}

//部分保留、部分变更
class Impl_2_1<T, Integer> implements TestInterFace<T, Integer> {
}

//部分保留、部分变更
class Impl_2_2<T> implements TestInterFace<T, Integer> {
}

//全部变更
class Impl_3<A, B> implements TestInterFace<A, B> {
}

//擦除
class Impl_4<T, M> implements TestInterFace<T, M> {
}

6.通配符（？、extends、super）

如下方代码所示：

通配符的限制
<? > : 没有任何类型限制，任意对象都可
<? extends Number> : 继承，限制为 Number或Number的子类（接口和实现类也是这个关系）
<? super Number> : 向上，限制为 Number或Number的父类

如下方代码所示：

1.不能用在泛型方法声明上，返回值类型前面<>不能使用?
2.不能用在泛型类的声明上
3.不能用在创建对象上，右边属于创建集合对象

package com.abl.javabasis._08_generics;

import java.util.HashSet;

//1：不能用在泛型方法声明上，返回值类型前面<>不能使用?
//public static <错误> void test(ArrayList<?> list){}
//2：不能用在泛型类的声明上
//class Test<错误>{}
//3：不能用在创建对象上，右边属于创建集合对象
//ArrayList<?> list2 = new ArrayList<错误>();
public class TestWildcard {

    // ? extends 继承，限制为 Number或Number的子类
    void ltClass(HashSet<? extends Number> param) {

    }

    //? super 向上，限制为 Number或Number的父类
    void gtClass(HashSet<? super Number> param) {

    }

    //? 没有任何限制，任意对象都可
    void objClass(HashSet<?> p) {

    }

}

7.注意

1.可以声明多个泛型，多个泛型用逗号分隔 class Test1 <Object,T,A> { }
2.泛型对构造器没有影响，只是类声明处加尖括号
3.泛型不相同的两个对象（引用），不能相互赋值
4.自定义泛型，默认继承 object 但是不等于 Object
5.不可以使用基本数据类型，但是可以使用包装类型
6.简化操作=号右边，new后面的泛型声明可以忽略 ArrayList<String> strList = new ArrayList<>();
7.类上的泛型，不能使用在静态变量和静态方法中
（错误示范）