- 当前位置：首页 >应用开发 >Java中如何获得A泛型中T的运行时类型及原理探究
Java中如何获得A泛型中T的运行时类型及原理探究
发布时间：2025-11-05 07:46:24 来源：创站工坊 作者：系统运维
来源：阿里开发者
阿里妹导读
本文从Java的泛型开始，研究反射针对泛型的型中型及扩展，类型擦除的运行原理影响。然后通过生成匿名类实例的时类小技巧，获得了泛型的探究运行时类型的技巧。
简介
如果经常写工具类，中何很大概率会遇到一个比较实际的型中型及问题，就是运行原理需要在泛型表达式A
引言
在写工具类或者使用泛型精简逻辑的时候，经常需要获取运行时的类型信息，用来做下一步的逻辑判断，比如业务里经常使用的插件式架构，或者反序列化时，获取类型的详细信息。比如，应该有不少新手比较会试图写如下代码来通过反射和泛型获取类型的运行时类型。public static <T> Class<T> typeOf(T obj) { return (Class<T>)obj.getClass();}是的。以上的代码，可以在一定范围内工作的很好。但是，当遇到泛型的时候，就事与愿违了。可以说，Java从1.5引入泛型后，对于反射中泛型的处理，就一直是一个比较麻烦的源码下载事情。泛型（Generics）
泛型是Java1.5引入的特性，主要是为了解决类型检查（Type Checking）问题 [1]，为我们编写通用代码（尤其是库）时提供强有力的类型约束，而不用担心1.5之前满天乱飘的cast导致heap pollution[13]。为什么要引入泛型，泛型设计的思路，可以参考Gilad Bracha在1998年OOPLSA会议上的论文 [2]。后来形成了JSR14：Adding Generics to the Java Programming Language
add generics in java[ 14]，并最终在1.5进入JDK。泛型的形式化定义参考JLS[3],[4],[5],[6]泛型的非形式化定义可以参考下面的简单代码。其中比如很容易混淆的几个概念，Type Variable和Type Parameter和Type Argument也一并做了说明/** * 定义一个泛型类，其中 * * Type Parameter是T extends Number * Type Variable是T * Type Argument是Foo<Integer>里的Integer */class Foo<T extends Number> {}反射（Reflection）
因为1.5引入了泛型，所以反射也针对新概念，做了相应的扩展7在实现上，反射引入了Type接口，以及派生接口和类，实现了泛型JLS的标准。它们的UML类型如下。
类型擦除（Type Erasure）
虽然Java引入了泛型这个概念，但为了保持向前兼容（JVM层面的兼容，不需要改动Bytecode和JVM设计），和编译性能（相比C++的Template会以模板参数生成新的类型），Java引入了类型擦除[9]作为泛型的实现方案。通过类型擦除，Java不需要在虚拟机实现上做任何修改，同时也不会为ParameterizedType创建新的类。
类型擦除的缺陷
正如所有设计都存在权衡。Java泛型通过类型擦除获得了好处同时也导致了两个主要问题。Java泛型是Compile-time（编译期的）的，也就是说在运行时，所有泛型信息都被抹除了。所以JVM无法感知类型的存在。
所以我们无法通过反射API，在运行期获得Type Variable所代表的类型。但是这个特性导致我们在写工具类时会遇到一些困难。比如无法单独通过T来创建实例。如果T是一个非泛型类还好，我们可以通过直接传入类型信息进行一些操作
public static final <T> void foo(List<T> list, Class<T> tClass)但当T是一个ParameterizedType时，上述接口里的tClass类型信息，也只能获得ParameterizedType里非泛型的类型信息。比如T位List时，Class就是List.class。在一些场景，比如反序列化时，会遇到一些麻烦。
获取泛型的运行时类型的技巧
引入TypeReference
那么，在Java中，就没有办法获得泛型的运行时类型了吗？答案是可以的。但是我们需要做一些改动。比如，我们可以在很多序列化框架（比如Jackson，Fastjson）里看到TypeReference或者类似的设计机制。在“基本”不改动函数签名的情况下获得T的运行时类型。我们定义类class Wrapper<T> {}它非常简单，基本就类似一个包装类。然后再做一个简单的方法定义
public static <T> Type getGenericRuntimeType(Wrapper<T> wrapper)最后通过一个小技巧，就是创建匿名派生类的实例，配合反射API，先获取superClass的泛型信息，如果是ParameterizedType，就尝试获取真实的Type Argument信息，就可以获取T的运行时类型了。
public static <T> Type getGenericRuntimeType(Wrapper<T> wrapper) { Type type = wrapper.getClass().getGenericSuperclass(); if (type == null) { return null; } if (type instanceof ParameterizedType) { Type[] types = ((ParameterizedType)type).getActualTypeArguments(); return types[0]; } return null;}比如以下两个语句中，唯一的区别就是第2行创建了一个Wrapper的匿名类
Type type1 = getGenericRuntimeType(new Wrapper<List<String>>());Type type2 = getGenericRuntimeType(new Wrapper<List<String>>() {});但是最终运行后的结果，则分别打印nulljava.util.List<java.lang.String>那么，为什么仅仅一个匿名类的实例就可以产生这么巨大的差别？还可以在类型擦除的框架下完成泛型类型的获取？其中的原理是什么？其实它利用了JSR14[14]中，对类中的泛型信息，保存到类签名（Signature）的一个技巧。Classfiles need to carry generic type information in a backwards compatible way. This is accomplished by introducing a new “Signature” attribute for classes, methods and fields.首先，Java的编译器将泛型信息写入到ClassFile的Signature属性中。然后通过JRE的反射接口解析Signature中的字符串。最终“扒”出被隐藏的运行时类型信息。下面，我们从JVMS的定义开始，研究Java代码编译并产生ClassFile的过程，和JRE反射代码一探究竟。原理分析
JVM的ClassFile标准
JVM的ClassFile就是Java源文件编译后产生的二进制格式。类似于Linux下的ELF或者Windows的COFF，可以简单的理解为JVM的“可执行文件”。JVM通过读取它，并执行bytecode，最终执行程序的运行。ClassFile的格式如下:ClassFile { u4 magic; u2 minor_version; u2 major_version; u2 constant_pool_count; cp_info constant_pool[constant_pool_count-1]; u2 access_flags; u2 this_class; u2 super_class; u2 interfaces_count; u2 interfaces[interfaces_count]; u2 fields_count; field_info fields[fields_count]; u2 methods_count; method_info methods[methods_count]; u2 attributes_count; attribute_info attributes[attributes_count];}其中的attributes数组里，就是JSR14里提到的，泛型信息的保存所在。JVMS指出[11]
A Java compiler must emit a signature for any class, interface, constructor, method, or field whose declaration uses type variables or parameterized types可以看到Java编译器需要把泛型类信息带到Signature这个attribute，然后存储于编译后的ClassFile里。
做一个小实验
我们简单继承一下Wrapper类，编译后通过javap验证下结论public class ExtendedWrapper extends Wrapper<List<String>> {}javap后，可以看到42行类的Signature已有相应的类型信息了（Lcom/aliyun/cwz/model/Wrapper<Ljava/util/List<Ljava/lang/String;>;>;）。基本验证了JVMS标准
Classfile /Users/alibaba/myprojects/GenericsAndReflection/target/test-classes/com/aliyun/cwz/impl/ExtendedWrapper.class Last modified 2023-4-17; size 413 bytes MD5 checksum 96ca23aed30b94c2a445bbd76189e250 Compiled from "ExtendedWrapper.java"public class com.aliyun.cwz.impl.ExtendedWrapper extends com.aliyun.cwz.model.Wrapper<java.util.List<java.lang.String>> minor version: 0 major version: 52 flags: ACC_PUBLIC, ACC_SUPERConstant pool: #1 = Methodref #3.#15 // com/aliyun/cwz/model/Wrapper."<init>":()V #2 = Class #16 // com/aliyun/cwz/impl/ExtendedWrapper #3 = Class #17 // com/aliyun/cwz/model/Wrapper #4 = Utf8 <init> #5 = Utf8 ()V #6 = Utf8 Code #7 = Utf8 LineNumberTable #8 = Utf8 LocalVariableTable #9 = Utf8 this #10 = Utf8 Lcom/aliyun/cwz/impl/ExtendedWrapper; #11 = Utf8 Signature #12 = Utf8 Lcom/aliyun/cwz/model/Wrapper<Ljava/util/List<Ljava/lang/String;>;>; #13 = Utf8 SourceFile #14 = Utf8 ExtendedWrapper.java #15 = NameAndType #4:#5 // "<init>":()V #16 = Utf8 com/aliyun/cwz/impl/ExtendedWrapper #17 = Utf8 com/aliyun/cwz/model/Wrapper{ public com.aliyun.cwz.impl.ExtendedWrapper(); descriptor: ()V flags: ACC_PUBLIC Code: stack=1, locals=1, args_size=1 0: aload_0 1: invokespecial #1 // Method com/aliyun/cwz/model/Wrapper."<init>":()V 4: return LineNumberTable: line 7: 0 LocalVariableTable: Start Length Slot Name Signature 0 5 0 this Lcom/aliyun/cwz/impl/ExtendedWrapper;}Signature: #12 // Lcom/aliyun/cwz/model/Wrapper<Ljava/util/List<Ljava/lang/String;>;>;SourceFile: "ExtendedWrapper.java"那么Java编译器是如何操作的呢？
JavaCompiler探秘
根据《The Hitchhikers Guide to javac》[15]，JavaCompiler是javac的driver。所以我们可以通过研究JavaCompiler的实现，来研究javac编译文件的过程（通过strace javac的编译过程，可以看到调用里含有JavaCompiler。基本可以得到相同的结论）。我们使用OpenJDK1.8，看下JavaCompiler是如何编译ExtendedWrapper的。首先在编译过程中JavaCompiler类调用了compile方法。这是核心编译方法，最终会把Java类输出为ClassFile。com.sun.tools.javac.main.JavaCompiler#compile(com.sun.tools.javac.util.List<javax.tools.JavaFileObject>, com.sun.tools.javac.util.List<java.lang.String>, java.lang.Iterable<? extends javax.annotation.processing.Processor>)在这个函数中，Java文件首先会被parser解析为JCTree.JCCompilationUnit。就是抽象语法树中的基本单元。然后会被类com.sun.tools.javac.comp.Enter通过Visitor模式，在方法com.sun.tools.javac.jvm.ClassReader#enterClass
获得superClass的类型信息，并通过ClassWriter写入到ClassFile的Signature这个attribute里。
JRE（Java Runtime Environment）源码
我们现在分析JRE中的反射API是如何把Signature字符串，转换为Type类型的。我们注意到之前代码主要用到的反射方法就是Class类下的getGenericSuperclass方法。我们从这里开始分析。这是1.5时引入的一个方法，用于返回带有泛型的基类。它的代码如下:public Type getGenericSuperclass() { ClassRepository info = getGenericInfo(); if (info == null) { return getSuperclass(); } // Historical irregularity: // Generic signature marks interfaces with superclass = Object // but this API returns null for interfaces if (isInterface()) { return null; } return info.getSuperclass();}我们可以注意到核心是第2行产生的ClassRepository类型的变量，它代表类的泛型类型信息。具体如下
This class represents the generic type information for a class. The code is not dependent on a particular reflective implementation. It is designed to be used unchanged by at least core reflection and JDI.深入getGenericInfo，我们可以看一下info到底如何产生private ClassRepository getGenericInfo() { ClassRepository genericInfo = this.genericInfo; if (genericInfo == null) { String signature = getGenericSignature0(); if (signature == null) { genericInfo = ClassRepository.NONE; } else { genericInfo = ClassRepository.make(signature, getFactory()); } this.genericInfo = genericInfo; } return (genericInfo != ClassRepository.NONE) ? genericInfo : null;}可以看到是来自方法getGenericSignature0字符串signature，通过ClassRepository的处理，最终产生了info。那么，这个字符串从哪里来呢？我们跟踪一下就可以发现，这是一个native方法。来自JVM实现。
// Generic signature handlingprivate native String getGenericSignature0();既然是JVM的方法，那么我们可以翻一下源码来验证下是否符合之前提到的JVMS标准。
OpenJDK源码验证
通过JVMS的学习，结合JRE的Class#getGenericSignature0，我认为有必要探索一下JVM里面的具体实现。基于之上使用的JavaCompiler源码，所以最终决定参考OpenJDK的实现。我们参考内部使用更广泛的jdk8[12]，搜索函数名getGenericSignature0，可以发现有一个JNI方法的配置数组在文件./jdk/src/share/native/java/lang/Class.c里static JNINativeMethod methods[] = { {"getName0", "()" STR, (void *)&JVM_GetClassName}, {"getSuperclass", "()" CLS, NULL}, {"getInterfaces0", "()[" CLS, (void *)&JVM_GetClassInterfaces}, {"isInterface", "()Z", (void *)&JVM_IsInterface}, {"getSigners", "()[" OBJ, (void *)&JVM_GetClassSigners}, {"setSigners", "([" OBJ ")V", (void *)&JVM_SetClassSigners}, {"isArray", "()Z", (void *)&JVM_IsArrayClass}, {"isPrimitive", "()Z", (void *)&JVM_IsPrimitiveClass}, {"getComponentType", "()" CLS, (void *)&JVM_GetComponentType}, {"getModifiers", "()I", (void *)&JVM_GetClassModifiers}, {"getDeclaredFields0","(Z)[" FLD, (void *)&JVM_GetClassDeclaredFields}, {"getDeclaredMethods0","(Z)[" MHD, (void *)&JVM_GetClassDeclaredMethods}, {"getDeclaredConstructors0","(Z)[" CTR, (void *)&JVM_GetClassDeclaredConstructors}, {"getProtectionDomain0", "()" PD, (void *)&JVM_GetProtectionDomain}, {"getDeclaredClasses0", "()[" CLS, (void *)&JVM_GetDeclaredClasses}, {"getDeclaringClass0", "()" CLS, (void *)&JVM_GetDeclaringClass}, {"getGenericSignature0", "()" STR, (void *)&JVM_GetClassSignature}, {"getRawAnnotations", "()" BA, (void *)&JVM_GetClassAnnotations}, {"getConstantPool", "()" CPL, (void *)&JVM_GetClassConstantPool}, {"desiredAssertionStatus0","("CLS")Z",(void *)&JVM_DesiredAssertionStatus}, {"getEnclosingMethod0", "()[" OBJ, (void *)&JVM_GetEnclosingMethodInfo}, {"getRawTypeAnnotations", "()" BA, (void *)&JVM_GetClassTypeAnnotations},};其中getGenericSignature0对应JNINativeMethod这个struct的一个对象。{"getGenericSignature0", "()" STR, (void *)&JVM_GetClassSignature}
JNINativeMethod定义如下 typedef struct { char *name; char *signature; void *fnPtr;} JNINativeMethod;可见getGenericSignature0对应的jvm实现是JVM_GetClassSignature，一个函数指针。
这个函数的实现在./hotspot/src/share/vm/prims/jvm.cpp，包裹在JVM_ENTRY宏里。 JVM_ENTRY(jstring, JVM_GetClassSignature(JNIEnv *env, jclass cls)) assert (cls != NULL, "illegal class"); JVMWrapper("JVM_GetClassSignature"); JvmtiVMObjectAllocEventCollector oam; ResourceMark rm(THREAD); // Return null for arrays and primatives if (!java_lang_Class::is_primitive(JNIHandles::resolve(cls))) { Klass* k = java_lang_Class::as_Klass(JNIHandles::resolve(cls)); if (k->oop_is_instance()) { Symbol* sym = InstanceKlass::cast(k)->generic_signature(); if (sym == NULL) return NULL; Handle str = java_lang_String::create_from_symbol(sym, CHECK_NULL); return (jstring) JNIHandles::make_local(env, str()); } } return NULL;JVM_END可以看到，最终getGenericSignature0是从InstanceKlass::cast(k)->generic_signature方法获得。而这个方法使用_generic_signature_index这个序号从ClassFile的Symbol数组里获取相关数据。与javac编译过程的源码和JVMS标准是符合的。
// for adding methods, ConstMethod::UNSET_IDNUM means no more ids available inline u2 next_method_idnum(); void set_initial_method_idnum(u2 value) { _idnum_allocated_count = value; } // generics support Symbol* generic_signature() const { return (_generic_signature_index == 0) ? (Symbol*)NULL : _constants->symbol_at(_generic_signature_index); } u2 generic_signature_index() const { return _generic_signature_index; } void set_generic_signature_index(u2 sig_index) { _generic_signature_index = sig_index; }对应jvm里Class文件格式里的Signature[11]结论
我们从Java的泛型开始，研究反射针对泛型的扩展，类型擦除的影响。然后通过生成匿名类实例的小技巧，获得了泛型的运行时类型的技巧。
然后根据JVM标准，javac的编译过程，通过JRE源码入手，研究了JVM对泛型获取的实现，了解了底层原理。比较好的解决了这个问题。
参考链接：
【1】: https://docs.oracle.com/javase/tutorial/java/generics/why.html【2】: https://homepages.inf.ed.ac.uk/wadler/gj/Documents/gj-oopsla.pdf【3】: https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.1.2【4】: https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.4【5】: https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.8.4【6】: https://docs.oracle.com/javase/specs/jls/se8/html/jls-9.html#jls-9.1.2【7】: https://docs.oracle.com/javase/1.5.0/docs/guide/reflection/enhancements.html【8】: https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/class-use/Type.html【9】: https://docs.oracle.com/javase/specs/jls/se8/html/jls-4.html#jls-4.6【10】: https://docs.oracle.com/javase/specs/jls/se8/html/jls-4.html#jls-4.5【11】: https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html#jvms-4.7.9.1【12】: https://github.com/openjdk/jdk8u【13】: https://docs.oracle.com/javase/tutorial/java/generics/nonReifiableVarargsType.html#heap_pollution【14】https://jcp.org/aboutJava/communityprocess/review/jsr014/index.html【15】https://openjdk.org/groups/compiler/doc/hhgtjavac/index.html- 解决电脑蓝牙启动数据错误的方法（排查和修复蓝牙启动数据错误的步骤）
- 罗马仕Sense4（一款高性能、便携的智能充电宝，为您的生活带来便利与乐趣）
- 乐视1Pro（深入评测乐视1Pro的功能和性能，解密用户体验）
- 红米Note4音质测评（红米Note4的音质评测及优点分析）
- 电脑剪映成品教程（轻松学会电脑剪映，制作出令人惊艳的影片效果）
- 高通616芯片日常使用体验（高通616芯片的性能、功耗和使用感受）
- CANTV超能电视（享受超凡视听的最佳选择）
- 荣耀V10手机屏幕展现出色的视觉体验（超视觉沉浸，细腻还原，开启新时代的屏幕时代）
- 优盘PE系统安装教程（打造高效便捷的移动操作系统，提升工作效率）
- 长虹手机和华硕手机对比评测（性能与价格谁更出色？）
- 电脑驱动重装教程（轻松学会电脑驱动重装，解决设备冲突和性能问题）
- 一百元买的蓝牙耳机如何？（性价比超高的蓝牙耳机推荐！）
- 三星A7100拍照表现如何？（探索三星A7100摄像头的品质和功能）
- 以得胜TS610耳机如何打造震撼音乐体验（逼真音质和舒适佩戴，让你沉浸在音乐的海洋中）
- 电脑开机总提示错误恢复（解决电脑开机错误的有效方法）
- 全自动洗衣机LG的卓越性能与便利性（为您节省时间和精力的理想选择）
- 铭9600gt显卡性能测评（了解铭9600gt显卡的关键特性与表现）
- 全自动洗衣机LG的卓越性能与便利性（为您节省时间和精力的理想选择）
- 重装电脑脚本错误的解决方法（快速修复电脑重装脚本错误的技巧）
- DellE7440风扇散热表现如何？（性能超强的风扇系统让你安心使用）
随便看看
亿华云源码库益华科技IT技术网企商汇IT资讯网源码下载服务器租用香港云服务器益强科技益强编程堂多维IT资讯益强编程舍益强IT技术网益强前沿资讯益强智未来益强科技思维库云站无忧亿华互联亿华云计算极客编程IT资讯网编程之道极客码头益强智囊团亿华科技益华科技益强资讯优选亿华云码力社益强数据堂码上建站益华科技创站工坊智能时代全栈开发云智核技术快报汇智坊亿华智慧云科技前瞻
- Copyright © 2025 Powered by Java中如何获得A泛型中T的运行时类型及原理探究,创站工坊 滇ICP备2023006006号-44sitemap