12.2 自定义泛型
泛型字母
形式类型参数(formal type parameters)即泛型字母
命名:泛型字母可以随意指定,尽量使用单个的大写字母(有时候多个泛型类型时会加上数字,比如T1,T2)
常见字母(见名知意)
- T:Type
- K V:Key Value
- E:Element
12.2.1 泛型声明形式之一:泛型类、接口
需求:定义学生类,其中有学生成绩
- 整数
- 小数
- 字符串“优秀、良好、合格、不及格”
class Student<T>{ private String name; private T score;
public Student() { super(); } public Student(String name, T score) { super(); this.name = name; this.score = score; } public String getName() { return name; } public void setName(String name) { this.name = name; } public T getScore() { return score; } public void setScore(T score) { this.score = score; } @Override public String toString() { return "姓名:" + name + ", 成绩:" + score; } }
|
public class TestStudentScore {
public static void main(String[] args) { Student<Integer> s1 = new Student<Integer>("张三",89); Integer score = s1.getScore();
Student<Integer> s2 = new Student<Integer>(); // s2.setScore("优秀"); s2.setScore(99); } } |
声明时的要点
- 在类/接口上声明的泛型,在本类或本接口中即代表某种类型,可以作为非静态属性的类型、非静态方法的参数类型、非静态方法的返回值类型
- 在类/接口上声明的泛型不能使用在静态成员上
泛型类的构造器如下:public GenericClass(){}。
而如下是错误的:public GenericClass<E>(){}
- 泛型类在声明时还可以指定泛型的上限
package com.atguigu.generic.classtype;
public class TestPerson {
public static void main(String[] args) { // Person<Dog> p = new Person<Dog>(); // Person<Object> = new Person<Object>(); }
} /*class Human<T super Person>{
}*/ class Person<T extends Person>{ private T parnter;//伴侣 }
class Man extends Person<Woman>{
} class Woman extends Person<Man>{
} class Dog{
} |
指定时的要点
当类或接口被使用时,会使用具体的实际类型参数(actual type argument)代替
- 泛型的指定中不能使用基本数据类型,可以使用包装类替换
- 泛型如果不指定,将被擦除,泛型对应的类型均按照Object处理,但不等价于Object
例如:
(1)ArrayList<String> list = new ArrayList<String>(); 声明集合变量或创建集合对象,指定泛型
(2)class Dog implements Comparable<Dog>{...} 实现接口时,指定泛型
(3)public void test(ArrayList<Student> list){} 使用泛型类或接口作为形参时,此处指定为学生类型
(4)public void test(ArrayList<?> list){} 使用泛型类或接口作为形参时,此处指定为任意类型
(5)public void test(ArrayList<? extends Person> 使用泛型类或接口作为形参时,此处指定为Person或其子类
(6)public void test(ArrayList<? super Son> 使用泛型类或接口作为形参时,此处指定为Son或其父类
关于泛型类/接口的继承/实现说明
父类有泛型,子类可以选择保留泛型也可以选择指定泛型类型:
- 子类不保留父类的泛型:按需实现
- 没有类型 擦除
- 具体类型
- 子类保留父类的泛型:泛型子类
- 全部保留
- 部分保留
结论:子类必须是“富二代”,子类除了指定或保留父类的泛型,还可以增加自己的泛型
class Father<T1,T2>{
} //子类不保留父类的泛型 //1)没有类型 擦除 class Son extends Father{//等价于class Son extends Father<Object,Object>{
} //2)具体类型 class Son2 extends Father<Integer,String>{
} //子类保留父类的泛型 //1)全部保留 class Son3<T1,T2> extends Father<T1,T2>{
} //2)部分保留 class Son4<T2> extends Father<Integer,T2>{
} |
class Father<T1,T2>{
} //子类不保留父类的泛型 //1)没有类型 擦除 class Son<A,B> extends Father{//等价于class Son extends Father<Object,Object>{
} //2)具体类型 class Son2<A,B> extends Father<Integer,String>{
} //子类保留父类的泛型 //1)全部保留 class Son3<T1,T2,A,B> extends Father<T1,T2>{
} //2)部分保留 class Son4<T2,A,B> extends Father<Integer,T2>{
} |
具体示例代码
class Dog implements Comparable{
@Override public int compareTo(Object o) { return 0; }
} class Cat implements Comparable<Cat>{
@Override public int compareTo(Cat o) { return 0; }
} |
class MySet<E> implements Collection<E>{
@Override public boolean add(E e) { return false; } ...... } |
关于泛型的擦除说明
使用泛型类时未指定泛型的具体类型:类似于Object,不等同于Object
- 泛型擦除,默认按照Object处理但编译不会类型检查
- 明确指定Object,编译会按Object类型检查
public class TestGenericErasure { public static void main(String[] args) { //1、使用时:类似于Object,不等同于Object ArrayList list = new ArrayList(); // list.add(new Date());//有风险 list.add("hello");
test(list);//泛型擦除,编译不会类型检查
// ArrayList<Object> list2 = new ArrayList<Object>(); // test(list2);//一旦指定Object,编译会类型检查,必须按照Object处理 }
public static void test(ArrayList<String> list){ String str = ""; for(String s:list){ str += s + ","; } System.out.println("元素:"+str); } } |
本教程由尚硅谷教育大数据研究院出品,如需转载请注明来源。