Java泛型的子类，属性类型，重写方法类型，泛型擦除（三）

一、父类和子类的泛型关系

/**
 * 父类为泛型类
 * 1、属性
 * 2、方法
 * 
 * 要么同时擦除，要么子类大于等于父类的类型
 * 不能子类擦除，父类泛型
 * 1、属性类型
 * 父类中，随父类而定
 * 子类中，随子类而定
 *2、方法重写：
 *随父类而定
 */
public abstract class Father<T,T1> {
	T name;
	public abstract void test(T t);
	
	
	
}
/**
 * 子类声明时指定具体类型
 * 属性类型为具体类型
 * 方法同理
 */
class Child extends Father<String,Integer>{
	String t2;

	@Override
	public void test(String t) {
		
	}
	
}
/**
 * 子类为泛型类
 */
class Child2<T,T1> extends Father<T,T1>{
	T1 t2;
	@Override
	public void test(T t) {
		// TODO Auto-generated method stub
		
	}	
}

/**
 * 子类为泛型类，父类不指定类型,泛型的擦除，使用Object替换
 */
class Child3<T1,T2> extends Father/*(Object)*/{
	T1 name2;
	@Override
	public void test(Object t) {
		// TODO Auto-generated method stub
		
	}
	
}
/**
 * 子类父类同时擦除,指定继承类型为Object
 */
class Child4 extends Father{
	String name;
	@Override
	public void test(Object t) {
		
	}
	
}
/**
 *错误：子类擦除，父类使用泛型 

class Child5 extends Father<T,T1>{
	String name;
	@Override
	public void test(T t) {
		
	}
	
}
*/

二、接口类与子类的泛型关系

/**
 * 泛型接口：与继承同理
 * 重写方法随父类而定
 *
 */
public interface Comparable<T> {
	void compare(T t);
}
//声明子类指定具体类型
class Comp implements Comparable<Integer>{

	@Override
	public void compare(Integer t) {
		// TODO Auto-generated method stub
		
	}
	
}


//擦除
class Comp1 implements Comparable{

	@Override
	public void compare(Object t) {
		// TODO Auto-generated method stub
		
	}
	
}
//父类擦除，子类泛型
class Comp2<T> implements Comparable{

	@Override
	public void compare(Object t) {
		// TODO Auto-generated method stub
		
	}
	
}
//子类泛型>=父类泛型
class Comp3<T> implements Comparable<T>{

	@Override
	public void compare(T t) {
		// TODO Auto-generated method stub
		
	}
	
}
//父类泛型，子类擦除，是错误的