Java | 泛型实现机制

简介: Java | 泛型实现机制

前言


泛型的本质是参数化类型,就是将原来的具体的类型参数化。在不确定需要类型的情况下,通过泛型来指定具体的限制


Java 的实现机制就是类型擦除,在编译的时候被擦除为 Obect


类型擦除有哪些好处


image.png

首先是运行时内存负担小,经过了类型擦除后,在运行期间,内存里面是不会有泛型的,只会有一个 List,所以减少了内存负担。对比下面的 C# ,在运行时泛型是真实存在的。


还有就是兼容性好了,


类型擦除有哪些问题


基本类型无法作为泛型的实参


所有就有了装箱和拆箱的类型,这就涉及到了装箱和拆箱的内存开销。但是在 C# 中基本数据类型是可以的


泛型类型无法用作方法重载


public void printList(List list)

public void printList(List list)


上面这种写法就是错误的,因为在编译后泛型被擦除后这两个方法就没有任何区别了,这种写法是不行的。


泛型类型无法当做真实的类型使用


public <T> void genericMethod(T t){
  T newInstance = new T(); //Error
  Class c = T.class;    //Error
    Class c = T.class;    //Error
    List<T> list = new ArrayList<T>(); //Ok,用于其他的泛型类型可以
    if(list instanceof List<String>) //Error,非法的类型判断,因为 List<String> 不是一个真实的类型,真实的类型就是 List
  ....
}


上面的 T 在编译完之后就会变成一个 Object,但是方法中想要创建的实际上是 T ,并不是 Object,所以 java 中不能这样写。


Gson.fromJson 为什么要传入 T


public <T> T fromJson(Reader json, Class<T> classOfT) throws JsonSyntaxException, JsonIOException {
  JsonReader jsonReader = newJsonReader(json);
  Object object = fromJson(jsonReader, classOfT);
  assertFullConsumption(object, jsonReader);
  return Primitives.wrap(classOfT).cast(object);
}


实际上,编译过来这个方法返回的是一个 Object,如果不传入 T,就不知道传进来的类型是什么,也不知道拿到的是一个什么样的对象。


静态方法无法引用类泛型参数


class Demo<T>{
  public static T test(T t){}
}


这种写法是错误的,因为泛型是在创建实例的时候才能确定,而静态方法在一开始就创建好了,并不需要有类的实例


类型强转的运行时开销


List<String> strs = new ArrayList();
strs.add("hello");
String value = strs.get(0);


如果成字节码上来看,从 list 中获取到元素之后会进行类型强转,这也会带来开销。


类型擦除对反射的影响


泛型擦除后就会导致在反射的时候有些信息获取不到,但是 java 提供了附加的签名信息。


附加的签名信息,如果实现了一个带泛型的类,并且确定的泛型的类型。那么编译的时候就会为 这个类附加一个签名信息。这个签名信息里面就会携带这个泛型的具体类型。


这个附加信息一般是没有什么用的,但是在反射的时候就可以通过这个附加信息获取的具体的泛型类型。


class Test<T> {
    public static void main(String[] args) {
        try {
            //凡是看到 Generic..Type 都是获取的泛型类型,例如 getGenericReturnType 就是获取返回泛型类型
            Type type = Test2.class.getField("list").getGenericType();
            System.out.println(type);
        } catch (NoSuchFieldException e) {
            e.printStackTrace();
        }
    }
}
class Test2 extends Test<String> {
    public List<String> list = new ArrayList<>();
}


使用泛型签名的两个实例:


Gson


Type collectionType = new TypeToken<Collection<Integer>>(){}.getType();
Collection<Ingeger> ints = gson.fromJson(json,collectionType);


TypeToken 本身是 protected 的,不能直接 new 出来,但是可以创建他的匿名内部类,这个内部类就是TtypeToken的子类,子类可以访问父类的构造方法。创建出对象以后泛型的实参也就有了,然后通过 getType 获取具体的 type 类型。getType 里面调用的就是 getGenericSuperclass 获取超类的泛型 Type。


Type type = new TypeToken<Collection<Integer>>() {
}.getType();
System.out.println(type);


打印结果如下:


java.util.Collection<java.lang.Integer>
Retrofit
interface Api{
    @GET("users/${name}")
  Call<User> getUser(@Path("user")String name)
}


对于这个方法,其实在运行的时候泛型擦除,返回值类型应该是个 Call。


这里其实也是通过实现类的反射拿到了返回值的泛型,也就是 getGenericReturnType。


Kotlin 反射的实现原理


Kotlin 的每一个类在编译后都会有一个注解,叫做 Metadata,这个注解里面就会有这个类的名称,方法名称,签名等信息


总结


Java 的泛型通过类型擦除来实现

类型编译时被擦除为 Object,不兼容基本类型

类型擦除的实现方案主要考虑的是向后兼容

泛型类型签名信息在特定场合下可通过反射获取


相关文章
|
6天前
|
XML 安全 Java
Java反射机制:解锁代码的无限可能
Java 反射(Reflection)是Java 的特征之一,它允许程序在运行时动态地访问和操作类的信息,包括类的属性、方法和构造函数。 反射机制能够使程序具备更大的灵活性和扩展性
17 5
Java反射机制:解锁代码的无限可能
|
5天前
|
存储 缓存 安全
🌟Java零基础:深入解析Java序列化机制
【10月更文挑战第20天】本文收录于「滚雪球学Java」专栏,专业攻坚指数级提升,希望能够助你一臂之力,帮你早日登顶实现财富自由🚀;同时,欢迎大家关注&&收藏&&订阅!持续更新中,up!up!up!!
14 3
|
6天前
|
安全 Java UED
深入理解Java中的异常处理机制
【10月更文挑战第25天】在编程世界中,错误和意外是不可避免的。Java作为一种广泛使用的编程语言,其异常处理机制是确保程序健壮性和可靠性的关键。本文通过浅显易懂的语言和实际示例,引导读者了解Java异常处理的基本概念、分类以及如何有效地使用try-catch-finally语句来处理异常情况。我们将从一个简单的例子开始,逐步深入到异常处理的最佳实践,旨在帮助初学者和有经验的开发者更好地掌握这一重要技能。
14 2
|
8天前
|
Java 数据库连接 开发者
Java中的异常处理机制####
本文深入探讨了Java语言中异常处理的核心概念,通过实例解析了try-catch语句的工作原理,并讨论了finally块和throws关键字的使用场景。我们将了解如何在Java程序中有效地管理错误,提高代码的健壮性和可维护性。 ####
|
10天前
|
安全 Java 程序员
深入浅出Java中的异常处理机制
【10月更文挑战第20天】本文将带你一探Java的异常处理世界,通过浅显易懂的语言和生动的比喻,让你在轻松阅读中掌握Java异常处理的核心概念。我们将一起学习如何优雅地处理代码中不可预见的错误,确保程序的健壮性和稳定性。准备好了吗?让我们一起踏上这段旅程吧!
22 6
|
7天前
|
存储 运维 Java
💻Java零基础:深入了解Java内存机制
【10月更文挑战第18天】本文收录于「滚雪球学Java」专栏,专业攻坚指数级提升,希望能够助你一臂之力,帮你早日登顶实现财富自由🚀;同时,欢迎大家关注&&收藏&&订阅!持续更新中,up!up!up!!
21 1
|
10天前
|
存储 Java 程序员
Java面试加分点!一文读懂HashMap底层实现与扩容机制
本文详细解析了Java中经典的HashMap数据结构,包括其底层实现、扩容机制、put和查找过程、哈希函数以及JDK 1.7与1.8的差异。通过数组、链表和红黑树的组合,HashMap实现了高效的键值对存储与检索。文章还介绍了HashMap在不同版本中的优化,帮助读者更好地理解和应用这一重要工具。
29 5
|
9天前
|
Java API
[Java]泛型
本文详细介绍了Java泛型的相关概念和使用方法,包括类型判断、继承泛型类或实现泛型接口、泛型通配符、泛型方法、泛型上下边界、静态方法中使用泛型等内容。作者通过多个示例和测试代码,深入浅出地解释了泛型的原理和应用场景,帮助读者更好地理解和掌握Java泛型的使用技巧。文章还探讨了一些常见的疑惑和误区,如泛型擦除和基本数据类型数组的使用限制。最后,作者强调了泛型在实际开发中的重要性和应用价值。
12 0
[Java]泛型
|
2天前
|
Java 开发者
深入理解Java异常处理机制
【10月更文挑战第29天】在Java的世界中,异常处理如同生活的调味品,不可或缺。它确保了程序在遇到错误时不会崩溃,而是优雅地继续运行或者给出提示。本文将带你领略异常处理的奥秘,从基础的try-catch语句到高级的自定义异常,让你在面对程序中的各种“意外”时,能够从容应对。
|
4天前
|
SQL Java
探索Java中的异常处理机制
【10月更文挑战第26天】 在本文中,我们将深入探讨Java编程语言的异常处理机制。通过分析不同类型的异常、异常的捕获与抛出方式,以及如何自定义异常类,读者将能够更好地理解并应用Java中的异常处理机制来提高代码的健壮性和可读性。
11 0