Java泛型的理解（Class,Class＜?＞,Class＜? extends T＞,Class＜？ super T＞）

什么是泛型？

泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？
顾名思义，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

泛型的用途

当我们将一个对象放入集合中，集合不会记住此对象的类型，当再次从集合中取出此对象时，改对象的编译类型变成了Object类型，但其运行时类型任然为其本身类型。

泛型的理解（代码级）

首先让我来实现一个很简单的场景，现在我们有一个场景，我们假设类B继承类A，基于某种业务需求，我们在类C的构造函数中传入一个Class类型的参数。

代码实现（问题代码）

package test;

public class Test {
    public Test(Class<A> aClass){

    }


    public static void main(String[] args) {
        Test test1 = new Test(A.class);//编译正常
        Test test2 = new Test(B.class);//编译错误
    }
}


class A{

}


class B extends A{

}

运行发现代码报错，发现问题？为什么明明类B继承自类A，但仍会报错？

原因：简单而言就是说没有这个类型的构造函数。
The constructor Test(Class) is undefined

如何解决这个问题，使之可以同时实现A与B呢？

通过泛型来解决（其中：T是类型 ?表示任意通配符）：
泛型中专门有一个表示继承/实现关系的写法：（下面我来介绍其中的几种泛型）

1. Class 表示可以放入任何类 返回的是object
2. Class 表示只能接收T类
3. Class<? extends T>表示只能接收T类与T的子类
4. Class<? super T>表示只能接收T与T的父类

代码实现（优化代码）

package test;

public class Test {
	//通过泛型Class<? extends A> aClass，标识接收对象为A与A的子类
    public Test(Class<? extends A> aClass){

    }


    public static void main(String[] args) {
        Test test1 = new Test(A.class);
        Test test2 = new Test(B.class);
    }
}


class A{

}


class B extends A{

}