Java泛型擦除和泛型重载

泛型擦除

什么是泛型

在JDK1.5中添加了泛型的特性，它的本质是参数化类型的应用，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类，接口和方法的创建中，分别称为泛型类，泛型接口，和泛型方法

java的泛型并不是真正的泛型

在java和C#中都有泛型的应用，但是C#中的泛型是纯粹的泛型，java的泛型只存在于程序源码中，在字节码中已经被替换为原生类型，并且在相应的地方插入了强制转换代码，所以泛型技术只是为了方便程序员编程，是一种语法糖，java中的泛型实现方法被称为类型擦除，基于类型擦除方法实现的泛型被称为伪泛型。

类型擦除的例子

示例代码：

import java.util.Map;
import java.util.HashMap;
public class FakeClass{
    public static void main(String[]args){
        Map<String,String>map=new HashMap<String,String>();
        map.put("hello","你好");
        map.put("how are you?","吃了吗？");
        System.out.println(map.get("hello"));
        System.out.println(map.get("how are you?"));
    }
}

使用反编译工具反编译class文件

步骤：
在命令行模式下，进入工作目录，找到FakeClass.Class文件
输入命令javap -c FakeClass.class
输出结果：

F:\NotePadPP\Codes>javap -c FakeClass.class
Compiled from "FakeClass.java"
public class FakeClass {
  public FakeClass();
    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 java/util/HashMap
       3: dup
       4: invokespecial #3                  // Method java/util/HashMap."<init>":()V
       7: astore_1
       8: aload_1
       9: ldc           #4                  // String hello
      11: ldc           #5                  // String 你好
      13: invokeinterface #6,  3            // InterfaceMethod java/util/Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
      18: pop
      19: aload_1
      20: ldc           #7                  // String how are you?
      22: ldc           #8                  // String 吃了吗？
      24: invokeinterface #6,  3            // InterfaceMethod java/util/Map.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
      29: pop
      30: getstatic     #9                  // Field java/lang/System.out:Ljava/io/PrintStream;
      33: aload_1
      34: ldc           #4                  // String hello
      36: invokeinterface #10,  2           // InterfaceMethod java/util/Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
      41: checkcast     #11                 // class java/lang/String
      44: invokevirtual #12                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      47: getstatic     #9                  // Field java/lang/System.out:Ljava/io/PrintStream;
      50: aload_1
      51: ldc           #7                  // String how are you?
      53: invokeinterface #10,  2           // InterfaceMethod java/util/Map.get:(Ljava/lang/Object;)Ljava/lang/Object;
      58: checkcast     #11                 // class java/lang/String
      61: invokevirtual #12                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      64: return
}

可以看到并没有包括Map<String,String>的字段
但是这样并不是特别直观。
可以使用一些反编译工具直接打开FakeClass.class文件
比如：

import java.io.PrintStream;
import java.util.HashMap;
import java.util.Map;

public class FakeClass
{
  public static void main(String[] paramArrayOfString)
  {
    HashMap localHashMap = new HashMap();
    localHashMap.put("hello", "你好");
    localHashMap.put("how are you?", "吃了吗？");
    System.out.println((String)localHashMap.get("hello"));
    System.out.println((String)localHashMap.get("how are you?"));
  }
}

没有看到此时代码擦除了泛型，并且添加了强制转换的代码。

泛型重载

示例代码：

import java.util.List;
public class FakeClass{
    public static void method(List<String>list){
        System.out.println("invoke method(List<String>list)");
    }
    public static void method(List<Integer>list){
        System.out.println("invoke method(List<Integer>list)");
    }
    public static void main(String[]args){
        System.out.println("hello,world");
    }
}

编译这段代码
输出结果：

这里编译失败了，因为在编译之后参数的类型被擦除了，于是List<String> 和List<Integer> 参数的方法的特征签名变得相同。

java的返回值不参与重载选择

示例代码：

public class ReturnClass{
    public static int method(int a,int b){
        System.out.println("this is method int");
    }
    public static double method(int a,int b){
        System.out.println("this is method double");
    }
    public static void main(String[]args){
        method(1,2);
    }
}

编译这段代码：
输出结果：