泛型
泛型又称参数化类型,是 jdk5.0 出现的新特性,解决数据类型的安全性问题
在类声明或实例化时只要指定好需要的具体类型即可
泛型可以保证如果程序在编译时没有发出警告,运行时就不会产生 ClassCastException 异常。同时,代码更加简洁、健壮
泛型的作用是:可以在类声明时通过一个标识表示类中某个属性的类型,或者是某个方法的返回值类型,或者是参数类型
自定义泛型类
基本语法
class 类名<T, R...>{ // ...表示可以有多个泛型
//成员
}
注意细节
- 普通成员可以使用泛型(属性、方法)
- 使用泛型的数组,不能
初始化 - 静态方法中不能使用
类的泛型 - 泛型类的类型是在创建对象时确定的,因为创建对象时,需要指定确定类型
- 如果在创建对象时没有指定类型,默认为 Object
自定义泛型接口
基本语法
interface 接口名<T, R...>{ // ...表示可以有多个泛型
}
注意细节
- 接口中,静态成员也不能使用
泛型(这个和泛型类规定一样) - 泛型接口的类型,在继承接口或者实现接口时确定,若没有指定类型,默认为 Object
自定义泛型方法
基本语法
修饰符 <T, R...> 返回类型 方法名(参数列表){ // ...表示可以有多个泛型
}
注意细节
- 泛型方法可以定义在普通类中,也可以定义在泛型类中
- 当泛型方法被调用时,类型会确定
public void eat(E e) {},修饰符后没有 <T,R..>,则 eat() 不是泛型方法,而是使用了泛型
泛型的继承和通配符
- 泛型不具备继承性
List<Object> list = new ArrayList<String>{}; 语法错误 - <?>:支持任意泛型类型
- <?extends A>:支持A类以及A类的子类,规定了泛型的上限
- <?super A>:支持A类以及A类的父类,不限于直接父类,规定了泛型的下限