文章目录

• 一、Java 泛型基础
• • 1、泛型类型擦写
  • • 代码实例
  • 2、Java 5 类型接口
  • • 源码分析
    • 代码实例
  • 3、更多java泛型相关基础
• 二、Spring旧版本泛型处理
• • 1、Spring 泛型类型辅助类
  • • 代码实例
  • 2、Spring 泛型集合类型辅助类
  • • 代码实例
  • 3、Spring 方法参数封装
• 三、Spring 4.0泛型优化实现
• • 1、ResolvableType
  • • 源码分析
    • 代码实例
  • 2、ResolvableType 的局限性
  • 3、ResolvableType 的设计优势
• 参考资料

一、Java 泛型基础

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

泛型使用场景：
• 编译时强类型检查
• 避免类型强转
• 实现通用算法

1、泛型类型擦写

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

代码实例

List list = new ArrayList<>();
list.add("hello");
list.add("world");// 1.将有泛型约束的list赋值给没有泛型约束的一个新集合
List temp = list;// 2.此时temp可以添加任意对象到集合中
temp.add(2);// 3.使用temp获取集合中的元素可以正常获取，没有泛型约束意味着参数类型无边界
// 则将其泛型替换为Object类型
System.out.println(temp.get(2));// 4.使用list获取集合中的元素会抛出类型转换异常，因为list集合的泛型为String类型
// 在获取元素时，会进行一次类型转换将元素转为String类型，所以会报错
System.out.println(list.get(2));

Java泛型 更多的是编译期间给我们做的强类型约束，而运行时JVM不会关心泛型的类型。

2、Java 5 类型接口

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

Java 泛型反射 API：

源码分析

我们看一下Class类，实现了Type接口。

public final class Class implements java.io.Serializable,GenericDeclaration,Type,AnnotatedElement {

Type接口在JDK1.8之前，是一个空的接口，表示Java编程语言中所有类型的公共超接口。这些类型包括原始类型、参数化类型、数组类型、类型变量和基本类型。1.8之后增加了一个方法：

public interface Type {default String getTypeName() {return toString();}
}

Class中有着很多对泛型操作的方法，获取的泛型类型就是Type类型。

代码实例

// 基本类型 primitive types : int long float
Class intClass = int.class;// 数组类型 array types : int[],Object[]
Class objectArrayClass = Object[].class;// 原始类型 raw types : java.lang.String
Class rawClass = String.class;// 泛型参数类型 parameterized type
ParameterizedType parameterizedType = (ParameterizedType) ArrayList.class.getGenericSuperclass();//  parameterizedType.getRawType() = java.util.AbstractList// 泛型类型变量 Type Variable:System.out.println(parameterizedType.toString()); // java.util.AbstractList// 
Type[] typeVariables = parameterizedType.getActualTypeArguments();Stream.of(typeVariables).map(TypeVariable.class::cast) // Type -> TypeVariable.forEach(System.out::println);

java反射获取泛型此处只做简单实例。

3、更多java泛型相关基础

更多java泛型相关基础请自行学习，本文主要介绍Spring对泛型的处理。

二、Spring旧版本泛型处理

1、Spring 泛型类型辅助类

核心 API - org.springframework.core.GenericTypeResolver

版本支持：[2.5.2 , )

处理类型相关（Type）相关方法
• resolveReturnType
• resolveType

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

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

代码实例

import org.springframework.core.GenericTypeResolver;
import java.lang.reflect.Method;
import java.lang.reflect.Type;
import java.lang.reflect.TypeVariable;
import java.util.ArrayList;
import java.util.List;
import java.util.Map;/*** {@link GenericTypeResolver} 示例*/
public class GenericTypeResolverDemo {public static void main(String[] args) throws NoSuchMethodException {// String 是 Comparable 具体化displayReturnTypeGenericInfo(GenericTypeResolverDemo.class, Comparable.class, "getString");// ArrayList