泛型

package generics;
//泛型存在的意义：解决类型转换时可能发生的转化异常，同时可避免转化操作（如集合中使用泛型）
//1.在类上定义泛型。泛型不能定义在静态属性上
public class GenericsDemol<T>{
	//public static T a;也许是没法定义初始值的缘故，故不能在静态属性上设置泛型
	/*public static void wrongMethod(T t) {	
	}*/
	public static <E> E method1(E e) {
		System.out.println(e.getClass());
		return e;//静态泛型方法
	}
	public void method2(T t) {
		System.out.println("对象方法中使用泛型");
	}
	public static void main(String[] args) {
		//wrongMethod(t);
	}
}

 

package generics;

public abstract class GenericsDemol1<T>{
	T name;
	public abstract void method(T t);
}
class Son1 extends GenericsDemol1<String>{

	@Override
	public void method(String t) {
		// TODO Auto-generated method stub
		
	}
	//父类声明为具体类型时，父类中的方法和属性类型确定

	
}

class Son2<T> extends GenericsDemol1<T>{

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

class Son3<T,E> extends GenericsDemol1<T>{

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

	
}
class Son4<T,T1> extends GenericsDemol1<String>{

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

//泛型擦出，默认为Object
class Son5 extends GenericsDemol1{

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

	
	
}
//子类泛型，父类泛型被擦除
class Son6<T,E> extends GenericsDemol1{

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

}

 

package generics;
//泛型接口
//接口中的泛型只能使用在方法上，不能用在属性（即全局常量上）,其实现类完全等同于继承
public interface GenericsInterface<T>{
	void compare(T t);
}
class S1 implements GenericsInterface<String>{

	@Override
	public void compare(String t) {
		// TODO Auto-generated method stub
		
	}
	
}
class S2<T> implements GenericsInterface<T>{

	@Override
	public void compare(T t) {
		// TODO Auto-generated method stub
		
	}
	
}
class S3<T1,T> implements GenericsInterface<T>{

	@Override
	public void compare(T t) {
		// TODO Auto-generated method stub
		
	}
	
}
class S4<T,T1> implements GenericsInterface<String>{

	@Override
	public void compare(String t) {
		// TODO Auto-generated method stub
		
	}
	
}
class S5 implements GenericsInterface{

	@Override
	public void compare(Object t) {
		// TODO Auto-generated method stub
		
	}
	
}
class S6<T> implements GenericsInterface{

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

package generics;

public class GenericsAttention<T>{
//泛型中的通配符？可以声明在方法参数上，不能用在声明类上。泛型无多态，
//？不能使用，只能声明?
//无泛型数组
	public static void main(String[] args) {
		GenericsDemol<Father> gf = new GenericsDemol<>();
		GenericsDemol<Son> gs = new GenericsDemol<>();
		method1(gf);
		//method1(gs);由此见泛型无多态
		method3(gf);
		method3(gs);
		
		method4(gf);
		method4(gs);
		
		method5(gf);
		//method5(gs);
		
		//GenericsDemol<String>[] arr = new GenericsDemol<String>[10];
		//貌似无意义
		GenericsDemol<?>[] arr = new GenericsDemol[10];//此处还是泛型擦除
		GenericsDemol<String>[] arr1 = new GenericsDemol[10];//此处还是泛型擦除
		
		
	}
	//形参使用多态
	public static void method1(GenericsDemol<Father> g) {
		
	}
	//返回类型使用多态
	public static GenericsDemol<Father> method2() {
		//return new GenericsDemol<>();//此处可验证泛型擦除在编译时不检查，可见泛型擦除和Object的不完全相同
		//return new GenericsDemol<Son>();//泛型无多态
		return null;
	}
	public static void method3(GenericsDemol<?> g) {
		
	}
	public static void method4(GenericsDemol<? extends Father> g) {
		
	}
	public static void method5(GenericsDemol<? super Father> g) {
		
	}
	
}
class Father{
	
}
class Son extends Father{
	
}