package genericity.gen03;/* * 父类为泛型类 *  * 要么同时擦除，要么子类类型 >= 父类类型；不能子类擦除，父类泛型 * 1.属性类型 *  父类中，随父类而定 *  子类中，随子类而定 * 2.方法重写 *  随父类而定 *  */public abstract class Father<T1,T2> {	T1 name;	public abstract void test(T1 t);	}/* * 子类声明时指定具体的父类类型 * 属性类型为具体类型 * 方法同理 */class Child1 extends Father<String,Integer>{	@Override	public void test(String t) {		name = t;	}}/* * 子类为泛型,类型在使用时确定 */class Child2<T2,T1> extends Father<T1,T2>{	@Override	public void test(T1 t) {		// TODO Auto-generated method stub			}	}/* * 子类为泛型类，父类不指定类型，泛型的擦除，使用Object替换 *  */class Child3<T1,T2,T3> extends Father{	@Override	public void test(Object t) {		// TODO Auto-generated method stub			}}/* * 子类与父类同事擦除 */class Child4 extends Father{	@Override	public void test(Object t) {		// TODO Auto-generated method stub			}	}/* * 错误：子类擦除，父类使用泛型class Child5 extends Father<T1, T2>{	@Override	public void test(genericity.gen03.T1 t) {		// TODO Auto-generated method stub			}} */

package genericity.gen03;/* * 泛型接口 * 重写方法随父类而定 *  */public interface Comparable<T> {	void test(T t);}//声明子类指定具体类型class Comp0 implements Comparable<Integer>{	@Override	public void test(Integer t) {		// TODO Auto-generated method stub			}	}/* * 擦除 * 1.继承或实现声明时不指定类型 * 2.使用时 不指定类型 * 统一以Object类型对待 * 1.编译器警告，使用Object可以消除 * 2.不完全等同于Object */class Comp1 implements Comparable{	@Override	public void test(Object t) {		// TODO Auto-generated method stub			}	}//父类擦除，子类泛型class Comp2<T> implements Comparable{	@Override	public void test(Object t) {		// TODO Auto-generated method stub			}	}//子类泛型 >= 父类泛型class Comp3<T> implements Comparable<T>{	@Override	public void test(T t) {		// TODO Auto-generated method stub			}	}//错误：父类泛型，子类擦除