java层面List<Integer>与List<Double>是两个不同的类型

Question

最近在看《深入理解java虚拟机特性》，谈到擦除法实现泛型丧失了泛型思想的优雅！我就想为什么下面这段代码可行

    ```java
            import java.util.ArrayList;

    public class Test {
public static String method(ArrayList<String> list) {
    System.out.println("invoke method(ArrayList<String> list)");
    return "";
}

public static int method(ArrayList<Integer> list) {
    System.out.println("invoke method(ArrayList<Integer> list)");
    return 1;
}

public static void main(String argc[]) {
    method(new ArrayList<String>());
    method(new ArrayList<Integer>());
}

}

而这段就不行呢
java
import java.util.ArrayList;

public class Test {
public static String doSomething(int a){
    return "";
}
public static Double doSomething(int a){
    return 1.0;
}


public static void main(String argc[]) {
  doSomething
}

}
```

            不是在字节码中都存了他们的特征标签（包含返回值的），既然不同，为什么不能重载呢？于是我网上查了一下，是**因为Java虚拟机规范和Java语言规范不同，两者是分开的**   。

Answer 1

新版的java也支持协变与逆变了
https://www.cnblogs.com/en-heng/p/5041124.html