Java中的泛型擦除

淡淡的烟草味﹌ 2022-05-30 07:16 175阅读 0赞

有着样一种泛型的用法：

class SelfBounded<T extends SelfBounded<T>>{}

这就像两面镜子，两个镜子之间永远看不到头，SelfBounded接受T作为泛型参数，T又由拥有T参数的SelfBounded作为边界限定。这就叫做**循环泛型**，为了理解这种命名，看下面一段代码：

class GenericType<T>{}
    class CuriosRecurringGeneric extends GenericType<CuriosRecurringGeneric>{}

这个泛型基类的用处就是可产生使用导出类作为其参数和返回类型，还可以将导出类（子类）作为其域类型。看下面的代码：

//我们先定义一个基类，他有一个泛型参数T
    class BasicHolder<T>
    {
        T element;
        void set(T arg){ element = arg; }
        T get(){ return element; }
        void f()
        {
            System.out.println(element.getClass().getSimpleName());
        }
    }

下面我们分别用两种方法定义子类：  
一种是继承自BasicHolder的原型

class Subtype extends BasicHolder {}
    public class CRGWithBasicHolder { 
        public static void main(String[] args)
        {
            Subtype st1 = new Subtype();
            Subtype st2 = new Subtype();
            st1.set(st2);
            Subtype st3 = st1.get();
            st1.f();
        }
    }

这个时候程序将无法编译，原因是代码st1.set();st1.get();实际上都需要转型，因为这个时侯st1中实际上存储的是Object

另一种是继承自拥有Subtype也就是子类的泛型参数的BasicHolder(基类)

class Subtype extends BasicHolder<Subtype> {}
    public class CRGWithBasicHolder { 
        public static void main(String[] args)
        {
            Subtype st1 = new Subtype();
            Subtype st2 = new Subtype();
            st1.set(st2);
            Subtype st3 =(Subtype) st1.get();
            st1.f();
        }
    }

这时候代码是完全没有问题的 。这个时候再Subtype中传递给set()的参数和get()返回的类型都是确切的Subtype，在基类中使用子类的泛型类型可以很方便的在基类中用子类替代其参数，这也叫做**CRG：基类用导出类代替其参数**。