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