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语句了
//因为擦除和兼容性,使得泛型不是强制使用的,这也是为了兼容无泛型使用时的代码。
泛型擦除机制
最新推荐文章于 2024-07-23 11:46:38 发布