太美的承诺因为太年轻

原创

木子的昼夜 2022-06-25 00:08:41 ©著作权

文章标签 java java-ee 开发语言泛型基本类型 文章分类 虚拟化云计算

©著作权归作者所有：来自51CTO博客作者木子的昼夜的原创作品，请联系作者获取转载授权，否则将追究法律责任

你有没有承诺过一些事情，并为这些承诺付出过代价。

比如你承诺你爸妈，过年回家带个媳妇儿，为了找媳妇儿，你是心力憔悴呀。

比如你给你对象承诺，以后家务都给你做，结果你是天天擦地、刷碗、做饭等。

有些承诺是因为太年轻，比如长大了我就嫁给你。

有些承诺是为了达到目的，比如我会对你好的。

有些承诺是为了保住工作，比如绝对可以按时完成。

我们所熟知的Java，曾经也做过承诺，那就是"二进制向后兼容",这个承诺是被明确写入《Java语言规范》中的。

那“二进制向后兼容”是什么意思呢，就是说比如你在JDK1.2编译出一个Class文件，必须保证这个文件在JDK999或者更新的版本中能够正常运行。

为什么要有这个承诺呢，我想大概率是为了让Java使用者放心大胆的编码，不用考虑版本升级带来的一系列不兼容问题，说白了，就是吸引使用者的到来。

我们前边提到了，承诺一些事情，势必会付出代价。那么Java有没有因此付出过代价呢？

答案是：有的。

一、承诺与代价

我们都知道2004年，也就是在我还在玩泥巴的年龄，Java更新了一个版本，即Java5.0。

这个版本中Java加入了泛型的语法特性。

Java选择的泛型实现方式是“类型擦除”，什么是类型擦除了，就是说，全部的泛型都被替换为原来的裸类型，并且在相应的地方插入了强制转换，比如ArrayList 、ArrayList 编译完后其实是同一个类型ArrayList ，也就可以理解成类型被擦除了。

名词说明："裸类型"可以被认为是所有该类型泛型化实例的公共父类型

比如:ArrayList 、ArrayList 、ArrayList 的裸类型就是ArrayList

我们可以看下面一段代码：

package ss;

import java.util.ArrayList;

/**
 * @author 木子的昼夜编程
 */
public class AA {
    public static void main(String[] args) {
        ArrayList<String> sarr = new ArrayList<>();
        ArrayList<Integer> iarr = new ArrayList<>();

        // 这就是裸类型  也就是没有任何泛型修饰
        // 跟没穿衣服一样
        ArrayList arrayList;

        arrayList = sarr;
        arrayList = iarr;
    }
}

为什么说这是Java付出的代价呢？

我们无法使用基本类型作为泛型
因为泛型类型擦除后，在使用的地方用到了强制转换，也就是从Object转换成基本类型，我们知道基本类型是不能强转的比如

Object o = (Object)1;

这种强制转换理论上是要报错的，因为Object不是基本类型的父类和基类。那肯定有人说了，我这样写了，代码没报错呀，那是因为编译器做了处理，自动转换成了

Object o = (Object)Integer.valueOf(1);

Java的作者给出的解决办法很简单，那就是既然没法转换，那我就索性不支持原生类型的泛型了。

好嘛，你这就决定了？作者为什么会这么爽快（也可能纠结了很久）的决定呢，因为。。 Java可以自动装箱、拆箱。这就导致了，我们使用泛型的地方都会涉及到装箱、拆箱，这也成为泛型慢的重要原因。

无法在运行期获取到泛型类型信息。
这个是什么意思呢，Java泛型类型被擦除了，在运行期间，我们无法获取到泛型的真实类型，如果我们需要用这个类型创建对象等，我们需要多加一个参数，例如：

package ss;
import java.util.ArrayList;
import java.util.List;

/**
 * @author 木子的昼夜编程
 */
public class AA<T>  {

    public static void main(String[] args) {
        //
        new AA<String>().test(new ArrayList<>(), String.class);
    }

    // 我们需要额外的一个参数 classType来传递泛型类型
    public void test(List<T> list, Class<T> classType) {

    }
}

但是再C#中，他的泛型用的是“具现化泛型”，他就可以支持基本类型，说白了就是你泛型是什么，编译后就会记录成什么，不会丢失。比如下边这段代码,对于学C#的人来说，他们很难想象，在Java中这些语法都是非法的。

/**
 * @author 木子的昼夜编程
 */
public class AA<T>  {

    public void test(Object obj) {
        if (obj instanceof  T) {

        }
        T newObj = new T();
        T[]  arr = new T[10];
    }

}