Java泛型原理详解

最新推荐文章于 2024-04-13 13:29:46 发布

AdobeSolo

最新推荐文章于 2024-04-13 13:29:46 发布

阅读量1.4k

点赞数

分类专栏： Java Android 文章标签： java 泛型泛型原理泛型擦除

本文链接：https://blog.csdn.net/AdobeSolo/article/details/76221597

版权

Android 同时被 2 个专栏收录

12 篇文章 0 订阅

订阅专栏

Java

8 篇文章 0 订阅

订阅专栏

在Java 5时，引入了泛型，本文主要从原理的层面上分析泛型。

泛型的作用

为什么需要引入泛型呢？泛型有什么样的作用呢？先看段代码


public class Fruits {
    Fruits fruits;
    protected void set(Fruits item){
        fruits = item;
    }
    protected Fruits get(){
        return fruits;
    }
}

public class Apple extends Fruits {
    private static final String name = "apple";
}

public class Orange extends Fruits {
    private static final String name = "orange";
}

private void addFruit() {
    Fruits fruits = new Fruits();
    fruits.set(new Apple());
    Apple apple = (Apple) fruits.get();
    Orange orange = (Orange) fruits.get();//强制转换崩溃
}

水果类Fruits，有set()和get()设置水果和取出水果，Apple和Orange分别是Fruits的子类，在addFruit()添加一个Apple，然后通过get()取出来，在取出来的水果转换为Orange的时候，会抛出ClassCastException。

上述的代码在语法上是可以的，导致编译器无法检查出类型转换非法的问题，而在运行时会导致强制转换失败而导致崩溃。而泛型的作用就是用来在编译时来进行类型安全检查，能够让开发人员在编译的时候能够检查出非法的类型。

编译时泛型

不知道大家有没有听过“Java伪泛型”或者“编译时泛型”的说法。这两种说法都体现了Java的泛型只是在编译时期起作用，对于运行时没有任何影响。由编译器来执行类型安全检查和类型推断，然后生成非泛型的字节码。而虚拟机无法感知到泛型的存在，这种实现方式叫做擦除(erasure)。那接下来从泛型的编译时类型安全检查和擦除性来分析。

1.编译时类型安全检查

修改上面的代码Fruits为GenericFruits，通过泛型实现，具体代码如下

public class GenericFruits<T> {
    T fruits;
    protected void set(T item) {
        fruits = item;
    }
    protected T get() {
        return fruits;
    }
}

private void addFruit() {
    GenericFruits<Apple> fruits = new GenericFruits<>();
    fruits.set(new Apple());
    Apple apple = fruits.get();
    Orange orange = (Orange) fruits.get();//编译无法通过
}

同样是在addFruit()添加一个Apple，然后通过get()取出来，在取出来的水果转换为Orange，此时代码编译无法通过，泛型设置的是Apple，而当把它强制转化为Orange的时候，编译器检查到非法类型转换，提示编译错误Inconvertible types: “xxx.Apple” to “xxx.Orange”。

2.泛型类型擦除

既然泛型是由编译器来执行类型安全检查和类型推断，然后生成非泛型的字节码，而虚拟机无法感知到泛型的存在。那么我们反编译APK来看看编译之后是怎样的。
通过apktool反编译，得到Apple、GenericFruit等smail文件，直接上GenericFruit的smail代码

.class public Lcom/example/forone/genericdemo/GenericFruits;
.super Ljava/lang/Object;
.source "GenericFruits.java"

# annotations
.annotation system Ldalvik/annotation/Signature;
    value = {
        "<T:",
        "Ljava/lang/Object;",
        ">",
        "Ljava/lang/Object;"
    }
.end annotation


# instance fields
.field fruits:Ljava/lang/Object;
    .annotation system Ldalvik/annotation/Signature;
        value = {
            "TT;"
        }
    .end annotation
.end field


# direct methods
.method public constructor <init>()V
    .locals 0

    .prologue
    .line 8
    .local p0, "this":Lcom/example/forone/genericdemo/GenericFruits;, "Lcom/example/forone/genericdemo/GenericFruits<TT;>;"
    invoke-direct {p0}, Ljava/lang/Object;-><init>()V

    return-void
.end method


# virtual methods
.method protected get()Ljava/lang/Object;
    .locals 1
    .annotation system Ldalvik/annotation/Signature;
        value = {
            "()TT;"
        }
    .end annotation

    .prologue
    .line 17
    .local p0, "this":Lcom/example/forone/genericdemo/GenericFruits;, "Lcom/example/forone/genericdemo/GenericFruits<TT;>;"
    iget-object v0, p0, Lcom/example/forone/genericdemo/GenericFruits;->fruits:Ljava/lang/Object;

    return-object v0
.end method

.method protected set(Ljava/lang/Object;)V
    .locals 0
    .annotation system Ldalvik/annotation/Signature;
        value = {
            "(TT;)V"
        }
    .end annotation

    .prologue
    .line 13
    .local p0, "this":Lcom/example/forone/genericdemo/GenericFruits;, "Lcom/example/forone/genericdemo/GenericFruits<TT;>;"
    .local p1, "item":Ljava/lang/Object;, "TT;"
    iput-object p1, p0, Lcom/example/forone/genericdemo/GenericFruits;->fruits:Ljava/lang/Object;

    .line 14
    return-void
.end method

smail代码比较长，挑重点来看

# instance fields
.field fruits:Ljava/lang/Object;
    .annotation system Ldalvik/annotation/Signature;
        value = {
            "TT;"
        }
    .end annotation
.end field

这是定义字段fruits，我们看到后面的Ljava/lang/Object;编译之后fruits变为了Object类型，那再看看get()与set()方法是怎样的呢？

# virtual methods
.method protected get()Ljava/lang/Object;//get()的返回类型为object
    .locals 1
    .annotation system Ldalvik/annotation/Signature;
        value = {
            "()TT;"
        }
    .end annotation
    /...省略部分代码.../
    return-object v0
.end method

.method protected set(Ljava/lang/Object;)V//set()的参数类型也为Object
    .locals 0
    .annotation system Ldalvik/annotation/Signature;
        value = {
            "(TT;)V"
        }
    .end annotation
/...省略部分代码.../
    return-void
.end method

从上面的代码中发现，get()的返回类型变为了object，同时set()的返回类型也成了Object，参数fruits也变成了Object。将泛型中的T类型变成了Object，而虚拟机运行的时候将泛型参数变成了Object来处理，无法感知到泛型的存在，这就是泛型类型的擦除性质。

既然编译的时候泛型类型参数被转换为了Object，那看看下面这段代码

   private void addGenericFruit() {
        GenericFruits<Apple> fruits = new GenericFruits<>();
        fruits.set(new Apple());
        Apple apple = fruits.get();
    }

其中Apple apple = fruits.get();并不需要进行强制转换为Apple，那么就有一个疑问，什么时候将Object转化为Apple的呢？继续看上面这段代码反编译之后的代码

.method private addGenericFruit()V
      /...省略部分代码.../
    .line 26
    invoke-virtual {v1}, Lcom/example/forone/genericdemo/GenericFruits;->get()Ljava/lang/Object;
    move-result-object v0

    check-cast v0, Lcom/example/forone/genericdemo/Apple;
    .line 28
    .local v0, "apple":Lcom/example/forone/genericdemo/Apple;
    return-void
.end method

首先看到get()Ljava/lang/Object;此时返回的是Object类型，接下来check-cast v0, Lcom/example/forone/genericdemo/Apple;此时将Object类型转换为了Apple类型。

花非花 —— 重写非重写，而是重载

新建一个Banana类，继承GenericFruits<Banana>类，重写get()与set()方法

public class Banana extends GenericFruits<Banana> {
    private static final String name = "Banana";

    @Override
    protected void set(Banana item) {
        super.set(item);
    }

    @Override
    protected Banana get() {
        return super.get();
    }
}

根据上面的分析，GenericFruits<Banana>中的set()和get()方法的泛型类型会被擦除，变成set(Object)和Object get();然而在Java中普通重写方法时方法的形参是不能改变的，否则是编译器会提示报错,这一点应该是编译器针对泛型进行了特殊的处理，没有报编译错误。而上面的set(Banana item)，参数从Object变成了Banana，set(Banana)与set(Object)实际上是重载，而我们用Override注解修饰时，我们是去实现重写的功能，那么虚拟机在运行时是怎么将重载变成重写的呢？在反编译的字节码中发现在泛型编译之后，引入了一个bridge的概念，先看代码

.class public Lcom/example/forone/genericdemo/Banana;
.super Lcom/example/forone/genericdemo/GenericFruits;
.source "Banana.java"


# annotations
.annotation system Ldalvik/annotation/Signature;
    value = {
        "Lcom/example/forone/genericdemo/GenericFruits",
        "<",
        "Lcom/example/forone/genericdemo/Banana;",
        ">;"
    }
.end annotation


# static fields
.field private static final name:Ljava/lang/String; = "apple"


# direct methods
.method public constructor <init>()V
    .locals 0

    .prologue
    .line 7
    invoke-direct {p0}, Lcom/example/forone/genericdemo/GenericFruits;-><init>()V

    return-void
.end method


# virtual methods
.method protected get()Lcom/example/forone/genericdemo/Banana;
    .locals 1

    .prologue
    .line 17
    invoke-super {p0}, Lcom/example/forone/genericdemo/GenericFruits;->get()Ljava/lang/Object;

    move-result-object v0

    check-cast v0, Lcom/example/forone/genericdemo/Banana;

    return-object v0
.end method

.method protected bridge synthetic get()Ljava/lang/Object;
    .locals 1

    .prologue
    .line 7
    invoke-virtual {p0}, Lcom/example/forone/genericdemo/Banana;->get()Lcom/example/forone/genericdemo/Banana;

    move-result-object v0

    return-object v0
.end method

.method protected set(Lcom/example/forone/genericdemo/Banana;)V
    .locals 0
    .param p1, "item"    # Lcom/example/forone/genericdemo/Banana;

    .prologue
    .line 12
    invoke-super {p0, p1}, Lcom/example/forone/genericdemo/GenericFruits;->set(Ljava/lang/Object;)V

    .line 13
    return-void
.end method

.method protected bridge synthetic set(Ljava/lang/Object;)V
    .locals 0

    .prologue
    .line 7
    check-cast p1, Lcom/example/forone/genericdemo/Banana;

    invoke-virtual {p0, p1}, Lcom/example/forone/genericdemo/Banana;->set(Lcom/example/forone/genericdemo/Banana;)V

    return-void
.end method

上面的代码太长，先看get()方法

# virtual methods
.method protected get()Lcom/example/forone/genericdemo/Banana;
    .locals 1
    .prologue
    .line 17
    invoke-super {p0}, Lcom/example/forone/genericdemo/GenericFruits;->get()Ljava/lang/Object;//调用父类即泛型类的get()方法，返回object类型
    move-result-object v0
    //将Object强制转换为banana
    check-cast v0, Lcom/example/forone/genericdemo/Banana;
    return-object v0
.end method

.method protected bridge synthetic get()Ljava/lang/Object;
    .locals 1
    .prologue
    .line 7
    //调用Banana get()方法
    invoke-virtual {p0}, Lcom/example/forone/genericdemo/Banana;->get()Lcom/example/forone/genericdemo/Banana;

    move-result-object v0
    return-object v0
.end method

Banana类在调用Banane get()方法时，首先调用父类也就是泛型类的get()方法，返回Object类型，并强制转换为Banana，实现的是重载功能。而多出了一个用bridge修饰的Object get() ，其返回值是Object，内部调用了Banane get()。到这里可以发现，其实重写父类即泛型类的Object get()是编译之后自动生成的用bridge修饰的Object get()方法，而Banana get()为重载的方法，被bridge修饰的Object get()方法调用，从而起到了重写的作用。

再看看set(Banana)方法

.method protected set(Lcom/example/forone/genericdemo/Banana;)V
    .locals 0
    .param p1, "item"    # Lcom/example/forone/genericdemo/Banana;

    .prologue
    .line 12
    invoke-super {p0, p1}, Lcom/example/forone/genericdemo/GenericFruits;->set(Ljava/lang/Object;)V

    .line 13
    return-void
.end method

.method protected bridge synthetic set(Ljava/lang/Object;)V
    .locals 0

    .prologue
    .line 7
    check-cast p1, Lcom/example/forone/genericdemo/Banana;

    invoke-virtual {p0, p1}, Lcom/example/forone/genericdemo/Banana;->set(Lcom/example/forone/genericdemo/Banana;)V

    return-void
.end method

跟get(Banana)一样，set(Banana)也是被编译器自动生成的bridge set(Object)的方法调用，而bridge set(Object)才是真正重写父类即泛型类的set(Object)方法。而set(Banana)只是一个重载的方法。
从上面的分析可以得知，泛型子类的重写其实只是重载，通过编译器生成的用bridge修饰的方法来实现重写，而该函数再调用子类重写(实际是重载)的方法是模拟实现重写的功能。

总结

泛型是编译时泛型，用于检查类型安全以及类型推断，虚拟机运行时已经被擦除
泛型的类型参数T在编译后为Object类型，编译器自动生成代码对Object进行强制转换成类型参数T
泛型子类的重写其实只是重载，通过编译器生成的用bridge修饰的方法来实现重写，而该函数再调用子类重写(实际是重载)的方法是模拟实现重写的功能。

AdobeSolo

关注

0
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
Java泛型原理详解

在Java 5时，引入了泛型，本文主要从原理的层面上分析泛型。泛型的作用为什么需要引入泛型呢？泛型有什么样的作用呢？先看段代码public class Fruits { Fruits fruits; protected void set(Fruits item){ fruits = item; } protected Fruits get(){
复制链接

扫一扫