Java泛型

前言

“泛型”只在程序源码中存在，在编译后的字节码文件中，就已经被替换为原来的原始类型（Raw Type，也称为裸类型）了，并且在相应的地方插入了强制转型代码，因此对于运行期的Java语言来说，ArrayList与ArrayList就是同一个类。所以说泛型技术实际上是Java语言的一颗语法糖，Java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型被称为伪泛型。最大好处是编绎期的类型错误检查。

C++的泛型是在编绎期实现的，为每一个类型都生成一份代码，所以C++的泛型容易让编绎后的代码出现膨胀。

实例对比

public class A{  
    public static void main(String[] args) {  
        A a = new A();  
        a.test();  
          
        String r = a.test();  
    }  
      
    public <T> T test() {  
        return (T) new Object();  
    }  
} 

javap -c A对应的字节码

public class A {
  public A();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: new           #2                  // class A
       3: dup
       4: invokespecial #3                  // Method "<init>":()V
       7: astore_1
       8: aload_1
       9: invokevirtual #4                  // Method test:()Ljava/lang/Object;
      12: checkcast     #5                  // class java/lang/String
      15: astore_2
      16: return

  public <T extends java/lang/Object> T test();
    Code:
       0: new           #6                  // class java/lang/Object
       3: dup
       4: invokespecial #1                  // Method java/lang/Object."<init>":()V
       7: areturn
}

Java的泛型是伪泛型。在编译期间，所有的泛型信息都会被擦除掉。

public class A{  
    public static void main(String[] args) {  
        A a = new A();  
        a.test();  
          
        String r = (String)a.test();  
    }  
      
    public  Object test() {  
        return new Object();  
    }  
} 

对应的字节码

public class A {
  public A();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: new           #2                  // class A
       3: dup
       4: invokespecial #3                  // Method "<init>":()V
       7: astore_1
       8: aload_1
       9: invokevirtual #4                  // Method test:()Ljava/lang/Object;
      12: pop
      13: aload_1
      14: invokevirtual #4                  // Method test:()Ljava/lang/Object;
      17: checkcast     #5                  // class java/lang/String
      20: astore_2
      21: return

  public java.lang.Object test();
    Code:
       0: new           #6                  // class java/lang/Object
       3: dup
       4: invokespecial #1                  // Method java/lang/Object."<init>":()V
       7: areturn
}

可见，两个类的字节码文件基本一摸一样。

引用

java泛型（一）、泛型的基本介绍和使用

技术

生活

标签

Docker 30

WEB 10

Data 21

Java 53

Linux 14

Tool 9

Algorithm 9

Go 6

CoreOS 4

Kubernetes 20

Other 13

Network 19

Python 1

Netty 16

Spring 19

Mesos 6

Distribute 8

Scala 6

Basic 2

Life 7

Ops 4

MQ 2

eureka 2

Apollo 2

OAuth2 1

MySql 1

前言

实例对比

引用