Java的泛型

泛型

泛型又称参数化类型，是Jdk5.0出现的新特性,解决数据类型的安全性问题

在类声明或实例化时只要指定好需要的具体的类型即可

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

泛型的作用是可以在类声明时通过一个标识表示类中某个属性的类型，或者法的返回值的类型，或者是参数类型

泛型的语法

interface 接口<T>{} 和 class 类 <K,V>{}
//比如:List , ArrayList

其中，T，K，V不代表值,而是表示类型，任意字母都可以。常用T表示，是Type的缩写

在给泛型指定具体类型后，传入该类型或者其子类类型

List<String> strList = new ArrayList<String>();
Iterator<Customer> iterator = customers.iterator();

泛型注意事项

List<lnteger> list1 =new ArrayList<lnteger>();
List<lnteger> list2 = new ArrayList<>(); // 推荐省略写法

List list3 = new ArrayList(); // 如果全部省略默认给它的泛型是<E> E就是Object

自定义泛型

自定义泛型类

class 类名 <T,R..> {//..表示可以有多个泛型
	成员
}

普通成员可以使用泛型(属性、方法)

使用泛型的数组,不能初始化：因为没有确定类型，就不知道到底要开辟多大的空间。

静态方法中不能使用类的泛型，因为静态是与类相关的，因此类的加载时对象还没有创建，因此无法指定静态方法/变量的类型。

如果静态方法和静态属性使用了泛型，JVM就无法完成初始化。

泛型类的类型，是在创建对象时确定的(因为创建对象时，需要指定确定类型)，如果在创建对象时,没有指定类型，默认为Object

自定义泛型接口

interface 接口名 <T,R...> {
}

接口中，静态成员也不能使用泛型(这个和泛型类规定一样)

泛型接口的类型,在继承接口或者实现接口时确定

没有指定类型，默认为Object

自定义泛型方法

修饰符 <T,R..> 返回类型 方法名 (参数列表){}

可以定义在普通类中，也可以定义在泛型类中，当泛型方法被调用时，类型会确定

可以使用类声明的泛型，也可以使用自己声明泛型。

泛型的继承和通配符

泛型不具备继承性，需要使用通配符

List <Object> list = new ArrayList<String>(); //错误

<?> 支持任意泛型类型

<? extends A> 支持A类以及A类的子类，规定了泛型的上限

<? super A> 支持A类以及A类的父类，不限于直接父类，规定了泛型的下限