概述
Java 泛型是 JDK 5 中引入的一个新特性,它提供了编译时类型安全检测机制,该机制允许程序员在编译时检测到非法的类型。
泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。
优点
- 把运行时期的问题提前到了编译期间
- 避免了强制类型转换
泛型类
泛型类的定义格式
- 修饰符 class 类名<类型> { }
- 示例:public class Fruit { }
此处 T 可以为任意标识,常见的如 T (Type)、E (Entity)、K (Key)、V (Value) 等形式的参数常用于表示泛型
public class Fruit<T> {
private T t;
public T getT() {
return t;
}
public void setT(T t) {
this.t = t;
}
}
泛型方法
泛型方法的定义格式
- 修饰符 <类型> 返回值类型 方法名(类型 变量名) { }
- 示例: public void show(T t) { }
public <T> void show(T t) {
System.out.println(t);
}
泛型接口
泛型接口的定义格式
- 修饰符 interface 接口名<类型> {}
- 示例:public interface Generic { }
public interface Fruit<T> {
void show(T t);
}
public class FruitImpl<T> implements Fruit<T> {
@Override
public void show(T t) {
System.out.println(t);
}
}
类型通配符
类型通配符表示为:<?>
List<?>:表示元素类型未知的List,它的元素可以匹配任何的类型
这种带通配符的 List 仅表示它是各种泛型 List 的父类,并不能把元素添加到其中
List<?> list1 = new ArrayList<Object>();
List<?> list2 = new ArrayList<Number>();
List<?> list3 = new ArrayList<Integer>();
类型通配符上限:<? extends 类型>
List<? extends Number>:表示的类型是 Number 或者其子类型
// 下面这行代码会报错 因为 Object 不是 Number 的子类
List<? extends Number> list4 = new ArrayList<Object>();
List<? extends Number> list5 = new ArrayList<Number>();
List<? extends Number> list6 = new ArrayList<Integer>();
类型通配符下限:<? super 类型>
List<? super Number>:表示的类型是 Number 或者其父类型
List<? super Number> list7 = new ArrayList<Object>();
List<? super Number> list8 = new ArrayList<Number>();
// 下面这行代码会报错 因为 Integer 不是 Number 的父类
List<? super Number> list9 = new ArrayList<Integer>();
可变参数
可变参数又称参数个数可变,用作方法的形参出现
- 格式:修饰符 返回值类型 方法名(数据类型… 变量名) { }
- 示例:public static int sum(int… a) { }
可变参数注意事项
- 这里的变量其实是一个数组
- 如果一个方法有多个参数,包含可变参数,可变参数要放在最后
public static void main(String[] args) {
sum(1);
sum(1, 1);
sum(1, 1, 1);
int[] arr = {1, 1, 1};
// 变量其实是一个数组
sum(arr);
// 如果一个方法有多个参数,包含可变参数,可变参数要放在最后
sum2(2, 1, 1, 1);
// 变量其实是一个数组
sum2(2, arr);
}
private static void sum(int... a) {
// 忽略内容
}
// 下面这行如果换成 private static void sum2(int... a, int b) 就会报错
private static void sum2(int b, int... a) {
// 忽略内容
}
10万+





