【Java范型五】范型继承

Java  /  管理员 发布于 4年前   312

定义如下一个抽象的范型类，其中定义了两个范型参数，T1，T2

 

package com.tom.lang.generics;public abstract class SuperGenerics<T1, T2> {    private T1 t1;    private T2 t2;    public abstract void doIt(T1 t1, T2 t2);    public void sayHello() {        System.out.println(t1);        System.out.println(t2);    }}

 

定义一个实现了这个抽象范型的具体类

 

1. 子类携带父类的范型参数

 

package com.tom.lang.generics;public class SubGenerics<T1, T2, T3> extends  SuperGenerics<T1, T2> {    private T3 t3;        @Override    public void doIt(T1 t1, T2 t2) {        System.out.println(t3);    }}

 

2. 子类不携带父类的范型参数，默认以Object代替

package com.tom.lang.generics;public class SubGenerics<T1,T2,T3> extends  SuperGenerics {    private T3 t3;//    @Override //此处有编译错，因为@Override会让编译器认为SuperGenerics定义了类型为T1和T2的doIt方法//    public void doIt(T1 t1, T2 t2) {//        System.out.println(t3);//    }    @Override    public void doIt(Object o1, Object o2) {    }    public static void main(String[] args){        SubGenerics<String, Integer, Date> sg = new SubGenerics<String, Integer, Date>();    }}

 

3. 子类不携带父类的范型参数，但以指定的类型代替默认的Object

 

 

package com.tom.lang.generics;public class SubGenerics<T1,T2,T3> extends  SuperGenerics<String, Integer> {    private T3 t3;    @Override    public void doIt(String s, Integer integer) {        //父类的范型参数变为String和Integer    }}

 

 

总结

1. 在范型继承中，作为让别人继承的父类，要写清楚这个类用了哪些范型，使用范型的目的是解决什么问题

2. 作为子类，要把父类的范型参数带上，不要使用默认的Object或者使用指定的类型

 

java.util.ArrayList范型集合类的定义

 

public class ArrayList<E> extends AbstractList<E>        implements List<E>, RandomAccess, Cloneable, java.io.Serializable

 可见，ArrayList把父类AbstractList的范型参数E带过来了

 

 接口：

 

上面针对superType和SubType定义的三点，对于接口完全适用，即当一个类实现一个接口，而接口是一个范型类时，三点处理的方式完全一样