泛型擦除机制

public class Test {
	public static void main(String[] args) {
		Class c1=new ArrayList<Integer>().getClass();
		Class c2=new ArrayList<String>().getClass();
		System.out.println(c1==c2);
		//因为擦除，得不到泛型的具体类型，只能得到占位符
		System.out.println(Arrays.toString(c1.getTypeParameters()));
		System.out.println("------------------------");
		Manipulator<Chiled> manipulator=new Manipulator<Chiled>(new Chiled());
		manipulator.get().f();
		manipulator.get().only();
		Manipulator2 manipulator2=new Manipulator2(new Chiled());
		manipulator2.get().f();
		//如果不用泛型只用继承和多态的话，返回的只是父类的引用，只能使用父类的方法，那么子类特有的方法就无法使用了。这也是多态的缺陷
		//manipulator2.get().only();	//error
	}
}

class Hasf{
	public void f(){
		System.out.println("hasf.f()");
	}
}
class Chiled extends Hasf{
	public void f(){
		System.out.println("Chiled.f()");
	}
	public void only(){
		System.out.println("only");
	}
}
//指定了边界之后，就不报错了
class Manipulator<T extends Hasf>{
	private T obj;
	public Manipulator(T x) {
		this.obj=x;
	}
	//在泛型代码内部，如果未指定边界，那么类型保存的是object类型，因此无法调用f()。如果想调用，必须指定泛型的边界
	public void manipulate(){
		obj.f();
	}
	public T get(){
		return obj;
	}
}
class Manipulator2{
	private Hasf obj;
	public Manipulator2(Hasf x) {
		this.obj=x;
	}
	//在泛型代码内部，如果未指定边界，那么类型保存的是object类型，因此无法调用f()。如果想调用，必须指定泛型的边界
	public void manipulate(){
		obj.f();
	}
	public Hasf get(){
		return obj;
	}
}
//泛型类型参数将擦除到他的第一个边界，因为这里的边界是Hasf，因此擦除到这个边界，所以所有的传入参数都会按照这个边界也就是当做Hasf处理
//即使这样，泛型本身的类型参数仍然无法获得
//可以将擦除统一起来，如果没有声明继承，那么默认就是继承的object，这样的话擦除到第一个边界，也就是object了
//而这种有边界的写法，我们完全可以不使用泛型，而使用继承多态机制实现。也就是这种情况下泛型并没有提供任何好处
//当时如果代码足够复杂，我们仍然有必要使用泛型，使用继承多态会导致类型的向上转型，而使用泛型可以保持原有类型，这样在返回此类型的时候很有帮助
//擦除导致无法在运行时得知泛型类型，也就是无法使用转型、instanceof、以及new语句了
//因为擦除和兼容性，使得泛型不是强制使用的，这也是为了兼容无泛型使用时的代码。