【Java范型五】范型继承

定义如下一个抽象的范型类，其中定义了两个范型参数，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定义的三点，对于接口完全适用，即当一个类实现一个接口，而接口是一个范型类时，三点处理的方式完全一样