Spring 泛型处理

Java 泛型基础

• 泛型类型

• 泛型类型是在类型上参数化的泛型类或接口

• 泛型使用场景

• 编译时强类型检查
• 避免类型强转
• 实现通用算法

Java 泛型基础

泛型类型擦写

泛型被引入到 Java 语言中，以便在编译时提供更严格的类型检查并支持泛型编程。类型擦除确保不会为参数化类型创建新类；因此，泛型不会产生运行时开销。为了实现泛型，编译器将类型擦除应用于：
• 将泛型类型中的所有类型参数替换为其边界，如果类型参数是无边界的，则将其替换为
“Object”。因此，生成的字节码只包含普通类、接口和方法。
• 必要时插入类型转换以保持类型安全。
• 生成桥方法以保留扩展泛型类型中的多态性。

public class GenericDemo {

    public static void main(String[] args) {
        // Java 7 Diamond 语法
        Collection<String> list = new ArrayList<>();
        list.add("Hello");
        list.add("World");
        // 编译时错误
        // list.add(1);

        // 泛型擦写
        Collection temp = list;
        // 编译通过
        temp.add(1);

        System.out.println(list);
    }
}

Java 5 类型接口

• Java 5 类型接口 - java.lang.reflect.Type

派生类或接口	说明
java.lang.Class	Java 类 API，如 java.lang.String
java.lang.reflect.GenericArrayType	泛型数组类型
java.lang.reflect.ParameterizedType	泛型参数类型
java.lang.reflect.TypeVariable	泛型类型变量，如 Collection 中的 E
java.lang.reflect.WildcardType	泛型通配类型

• Java 泛型反射 API

类型	API
泛型信息（Generics Info）	java.lang.Class#getGenericInfo()
泛型参数（Parameters）	java.lang.reflect.ParameterizedType
泛型父类（Super Classes）	java.lang.Class#getGenericSuperclass()
泛型接口（Interfaces）	java.lang.Class#getGenericInterfaces()
泛型声明（Generics Declaration）	java.lang.reflect.GenericDeclaration

Spring 泛型类型辅助类

核心 API - org.springframework.core.GenericTypeResolver
• 版本支持：[2.5.2 , )
• 处理类型相关（Type）相关方法

• resolveReturnType
• resolveType

• 处理泛型参数类型（ParameterizedType）相关方法

• resolveReturnTypeArgument
• resolveTypeArgument
• resolveTypeArguments

• 处理泛型类型变量（TypeVariable）相关方法

• getTypeVariableMap

class StringList extends ArrayList<String> { // 泛型参数具体化（字节码有记录）
}

/**
 * {@link GenericTypeResolver} 示例
 */
public class GenericTypeResolverDemo {

    public static void main(String[] args) throws NoSuchMethodException {

        // String 是 Comparable<String> 具体化
        displayReturnTypeGenericInfo(GenericTypeResolverDemo.class, Comparable.class, "getString");

        // ArrayList<Object> 是 List 泛型参数类型的具体化
        displayReturnTypeGenericInfo(GenericTypeResolverDemo.class, List.class, "getList");

        // StringList 也是 List 泛型参数类型的具体化
        displayReturnTypeGenericInfo(GenericTypeResolverDemo.class, List.class, "getStringList");

        // 具备 ParameterizedType 返回，否则 null

        // TypeVariable
        Map<TypeVariable, Type> typeVariableMap = GenericTypeResolver.getTypeVariableMap(StringList.class);
        System.out.println(typeVariableMap);
    }


    public static StringList getStringList() {
        return null;
    }

    public static ArrayList<Object> getList() { // 泛型参数类型具体化
        return null;
    }

    public static String getString() {
        return null;
    }

    private static void displayReturnTypeGenericInfo(Class<?> containingClass, Class<?> genericIfc, String methodName, Class... argumentTypes) throws NoSuchMethodException {
        Method method = containingClass.getMethod(methodName, argumentTypes);

        // 声明类 GenericTypeResolverDemo.class
        Class<?> returnType = resolveReturnType(method, containingClass);

        // 常规类作为方法返回值
        System.out.printf("GenericTypeResolver.resolveReturnType(%s,%s) = %s\n", methodName, containingClass.getSimpleName(), returnType);
        // 常规类型不具备泛型参数类型 List<E>
        Class<?> returnTypeArgument = resolveReturnTypeArgument(method, genericIfc);
        System.out.printf("GenericTypeResolver.resolveReturnTypeArgument(%s,%s) = %s\n", methodName, containingClass.getSimpleName(), returnTypeArgument);

    }

}

Spring 泛型集合类型辅助类

核心 API - org.springframework.core.GenericCollectionTypeResolver
• 版本支持：[2.0 , 4.3]
• 替换实现：org.springframework.core.ResolvableType
• 处理 Collection 相关

• getCollection*Type

• 处理 Map 相关

• getMapKey*Type
• getMapValue*Type

/**
 * {@link GenericCollectionTypeResolver} 示例
 */
public class GenericCollectionTypeResolverDemo {

    private static StringList stringList;

    private static List<String> strings;

    public static void main(String[] args) throws Exception {

        // StringList extends ArrayList<String> 具体化
        // getCollectionType 返回具体化泛型参数类型集合的成员类型 = String
        System.out.println(GenericCollectionTypeResolver.getCollectionType(StringList.class));

        System.out.println(GenericCollectionTypeResolver.getCollectionType(ArrayList.class));

        // 获取字段
        Field field = GenericCollectionTypeResolverDemo.class.getDeclaredField("stringList");
        System.out.println(GenericCollectionTypeResolver.getCollectionFieldType(field));

        field = GenericCollectionTypeResolverDemo.class.getDeclaredField("strings");
        System.out.println(GenericCollectionTypeResolver.getCollectionFieldType(field));
    }
}

Spring 方法参数封装

核心 API - org.springframework.core.MethodParameter

• 起始版本：[2.0 , )

• 元信息

• 关联的方法 - Method
• 关联的构造器 - Constructor
• 构造器或方法参数索引 - parameterIndex
• 构造器或方法参数类型 - parameterType
• 构造器或方法参数泛型类型 - genericParameterType
• 构造器或方法参数参数名称 - parameterName
• 所在的类 - containingClass

Spring 4.0 泛型优化实现 - ResolvableType

核心 API - org.springframework.core.ResolvableType

• 起始版本：[4.0 , )
• 扮演角色：GenericTypeResolver 和 GenericCollectionTypeResolver 替代者
• 工厂方法：for* 方法
• 转换方法：as* 方法
• 处理方法：resolve* 方法

/**
 * {@link ResolvableType} Demo
 */
public class ResolvableTypeDemo {

    public static void main(String[] args) {
        // 工厂创建
        // StringList <- ArrayList <- AbstractList <- List <- Collection
        ResolvableType resolvableType = ResolvableType.forClass(StringList.class);

        resolvableType.getSuperType(); // ArrayList
        resolvableType.getSuperType().getSuperType(); // AbstractList

        System.out.println(resolvableType.asCollection().resolve()); // 获取 Raw Type
        System.out.println(resolvableType.asCollection().resolveGeneric(0)); // 获取泛型参数类型
        
    }
}

ResolvableType 的局限性

• 局限一：ResolvableType 无法处理泛型擦写
• 局限二：ResolvableType 无法处理非具体化的 ParameterizedType

面试题

Java 泛型擦写发生在编译时还是运行时？
答：运行时

请介绍 Java 5 Type 类型的派生类或接口？
答：
• java.lang.Class
• java.lang.reflect.GenericArrayType
• java.lang.reflect.ParameterizedType
• java.lang.reflect.TypeVariable
• java.lang.reflect.WildcardType

请说明 ResolvableType 的设计优势？
答：
• 简化 Java 5 Type API 开发，屏蔽复杂 API 的运用，如 ParameterizedType
• 不变性设计（Immutability）
• Fluent API 设计（Builder 模式），链式（流式）编程