【Type】类型 ParameterizedType Type 接口的四个子接口ParameterizedType 泛型/参数化类型【重要】public interface java.lang.reflect.ParameterizedType extends TypeParameterizedType 表示参数化类型，带有类型参数的类型，即常说的泛型，如：List<T>、Map<Integer, String>、List<? extends Number>。方法Type[] getActualTypeArguments() 返回表示此类型实际类型参数的 Type 对象的数组。【重要】简单来说就是：获得参数化类型中<>里的类型参数的类型。因为可能有多个类型参数，例如Map<K, V>，所以返回的是一个Type[]数组。注意：无论<>中有几层<>嵌套，这个方法仅仅脱去最外层的<>，之后剩下的内容就作为这个方法的返回值，所以其返回值类型不一定。Type getOwnerType()

Type 接口【重要】

Type接口完整的定义：

public interface java.lang.reflect.Type {
    /**
     * Returns a string describing this type, including information about any type parameters.
     * @implSpec The default implementation calls {@code toString}.
     * @return a string describing this type
     * @since 1.8
     */
    default String getTypeName() {
        return toString();
    }
}

所有已知子接口：GenericArrayType, ParameterizedType, TypeVariable<D>, WildcardType

所有已知实现类：Class

Type is the common superinterface for all types in the Java programming language. These include raw types, parameterized types, array types, type variables and primitive types.

Type 是 Java 编程语言中【所有类型】的公共高级接口。它们包括原始类型、参数化类型(泛型)、数组类型、类型变量和基本类型。

注意区分Type与Class的区别，这里的Class是Type的一种，而像数组、枚举等"类型"是相对于Class来说的。

Type接口的来历

我们知道，Type是JDK5开始引入的，其引入主要是为了泛型，没有泛型的之前，只有所谓的原始类型。此时，所有的原始类型都通过字节码文件类Class类进行抽象。Class类的一个具体对象就代表一个指定的原始类型。

泛型出现之后，也就扩充了数据类型。从只有原始类型扩充了参数化类型、类型变量类型、泛型数组类型，也就是Type的子接口。

那为什么没有统一到Class下，而是增加一个Type呢？（Class也是种类的意思，Type是类型的意思）

是为了程序的扩展性，最终引入了Type接口作为Class，ParameterizedType，GenericArrayType，TypeVariable和WildcardType这几种类型的总的父接口。这样实现了Type类型参数接受以上五种子类的实参或者返回值类型就是Type类型的参数。

Java中的所有类型

对于这篇笔记，只需搞清楚这里就差不多了：

raw type：原始类型，对应Class 。这里的Class不仅仅指平常所指的类，还包括数组、接口、注解、枚举等结构。
primitive types：基本类型，仍然对应Class
parameterized types：参数化类型，对应ParameterizedType，带有类型参数的类型，即常说的泛型，如：List<T>、Map<Integer, String>、List<? extends Number>。
type variables：类型变量，对应TypeVariable<D>，如参数化类型中的E、K等类型变量，表示泛指任何类。
array types：(泛型)数组类型，对应GenericArrayType，比如List<T>[]，T[]这种。注意，这不是我们说的一般数组，而是表示一种【元素类型是参数化类型或者类型变量的】数组类型。

注意：WildcardType代表通配符表达式，或泛型表达式，比如【?】【? super T】【? extends T】。虽然WildcardType是Type的一个子接口，但并不是Java类型中的一种。

测试代码

public class Test {
	public static void main(String[] args) throws NoSuchMethodException, SecurityException {
		Method method = Test.class.getMethod("testType", List.class, List.class, List.class, List.class, List.class, Map.class);
		Type[] types = method.getGenericParameterTypes();//按照声明顺序返回 Type 对象的数组
		for (Type type : types) {
			ParameterizedType pType = (ParameterizedType) type;//最外层都是ParameterizedType
			Type[] types2 = pType.getActualTypeArguments();//返回表示此类型【实际类型参数】的 Type 对象的数组
			for (int i = 0; i < types2.length; i++) {
				Type type2 = types2[i];
				System.out.println(i + "  类型【" + type2 + "】	类型接口【" + type2.getClass().getInterfaces()[0].getSimpleName() + "】");
			}
		}
	}

	public <T> void testType(List<String> a1, List<ArrayList<String>> a2, List<T> a3, //
			List<? extends Number> a4, List<ArrayList<String>[]> a5, Map<String, Integer> a6) {
	}
}

运行结果

0  类型【class java.lang.String】	类型接口【Serializable】
0  类型【java.util.ArrayList<java.lang.String>】	类型接口【ParameterizedType】
0  类型【T】	类型接口【TypeVariable】
0  类型【? extends java.lang.Number】	类型接口【WildcardType】
0  类型【java.util.ArrayList<java.lang.String>[]】	类型接口【GenericArrayType】
0  类型【class java.lang.String】	类型接口【Serializable】
1  类型【class java.lang.Integer】	类型接口【Serializable】

Type 接口【重要】

Type接口的来历

Java中的所有类型

测试代码

相关推荐