定义语法:
class 泛型类名称<类型形参列表> {
// 这里可以使用类型参数
}
举例:class ClassName<T1, T2, ..., Tn> {
}
class 泛型类名称<类型形参列表> extends 继承类/* 这里可以使用类型参数 */ {
// 这里可以使用类型参数
}
举例:class ClassName<T1, T2, ..., Tn> extends ParentClass<T1> {
// 可以只使用部分类型参数
}
类型形参一般使用一个大写字母表示,常用的有:
- E 表示 Element
- K 表示 Key
- V 表示 Value
- N 表示 Number
- T 表示 Type
- S,U,V等 - 第二,第三,第四个类型
简单示例:
// 定义
class Person<T>{
// 类型变量并不是任何场景都可以使用,静态的类型变量不可以被使用
T name;//如定义为静态属性static T name
T getName(){// 方法 static T geName(){ return name; }
return name;
}
class Node{//内部类 static class Node{ T age; }
T age;
}
}
// 使用
public class generic {
public static void main(String[] args) {
Person<String> q = new Person<>();
String s1 = q.getName();
Person<Integer> p = new Person<>();
Integer s2 = p.getName();
}
}
定义顺序表:泛型类型无法直接创建数组 array = (E[])new Object[16];
定义泛型类链表
public class MyLinkedList<E> {
public static class Node<F> {
private F value;
private Node<F> next;
private Node(F e) {
value = e;
next = null;
}
}
private Node<E> head;
private int size;
public MyLinkedList() {
head = null;
size = 0;
}
泛型类接口
interface List<E>{
E get(){}
E put(E e){}
}
class MyList<F> implements List<F 或者 (String)具体类型>{}
使用语法:
泛型类<类型实参> 变量名; // 定义一个泛型类引用
new 泛型类<类型实参>(构造方法实参); // 实例化一个泛型类对象
类型推导(Type Interence):当编译器可以根据上下文推导出类型实参时,可以省略类型实参的填写。
MyArrayList<String> list = new MyArrayList<>();// 可以推导出实例化需要的类型实参为 String
裸类型(Raw Type)
@SuppressWarnings("unchecked") Person<String> s = new Person();
泛型类的定义-类型边界:在定义泛型类时,有时需要对传入的类型变量做一定的约束,可以通过类型边界来约束。
语法:
class 泛型类名称<类型形参 extends 类型边界> {}
public class MyArrayList<E extends Number> {
}
如:
MyArrayList<Integer> l1; // 正常,因为 Integer 是 Number 的子类型
MyArrayList<String> l2; // 编译错误,因为 String 不是 Number 的子类型
了解: 没有指定类型边界 E,可以视为 E extends Object
泛型擦除:泛型是作用在编译期间的一种机制,主要看其类型边界而定
泛型类使用:通配符:
上界 < ? extends 上界>
下界 < ? super 下界>
泛型类子类父类问题:
public class MyArrayList<E> { ... }
// MyArrayList<Object> 不是 MyArrayList<Number> 的父类型
// MyArrayList<Number> 也不是 MyArrayList<Integer> 的父类型
// 需要使用通配符来确定父子类型
// MyArrayList<?> 是 MyArrayList<? extends Number> 的父类型
// MyArrayList<? extends Number> 是 MyArrayList<Integer> 的父类型
泛型的限制:
1. 泛型类型参数不支持基本数据类型
2. 无法实例化泛型类型的对象
3. 无法使用泛型类型声明静态的属性
4. 无法使用 instanceof 判断带类型参数的泛型类型
5. 无法创建泛型类数组
6. 无法 create、catch、throw 一个泛型类异常(异常不支持泛型)
7. 泛型类型不是形参一部分,无法重载