为什么Java泛型不支持原始类型

最新推荐文章于 2021-03-24 00:09:07 发布

Harold Gao

最新推荐文章于 2021-03-24 00:09:07 发布

阅读量379

点赞数

分类专栏： Java 文章标签： java 泛型

欢迎访问我的博客网站 https://thenorthsea.cn/

本文链接：https://blog.csdn.net/weixin_40255793/article/details/113754229

版权

42 篇文章 0 订阅

订阅专栏

本文首发于掘金

为什么Java泛型支持非原始类型呢？

Java语言中，类型分为原始类型（primitive types: int、boolean…）和引用类型，引用类型都是Object类的子类。

Java的泛型检查，发生在编译期，并没有新的Java类型出现在class文件中。编译器的工作是进行类型擦除：

替换泛型的类型参数：<T> 这种无界类型参数替换成 Object，<? super String> 或 <? extend String>这种有界类型参数替换为边界 String。因此，最后字节码中包含的都是普通的Java类型参数
插入类型转换，以保证类型安全
添加桥接方法，以保持运行时多态。详见 Effects of Type Erasure and Bridge Methods

假设泛型支持原始类型，那么由于原始类型和引用类型的分裂，采用super和extend这种有界类型参数的泛型将无法实现。

对于无界类型参数，假设代码上编译器用自动装箱和自动拆箱来实现的：

class Math<T> {
    public T add(T a, T b) {
        return a + b;
    }
}

int sum = new Math<int>().add(1, 2);

类型擦除后：

class Math {
    public Object add(Object a, Object b) {
        return a + b;
    }
}

int sum = (int) new Math().add((Integer)1, (Integer) 2);

既然原始类型的装箱和拆箱可以自动进行，而且原始类型无法实现super和extend的泛型，所以与其定义原始类型的泛型，不如定义对应包装类型的泛型。

个人猜测就是出于以上考虑，没有必要实现原始类型的泛型支持。

类型擦除参考自Oracle的Java文档：https://docs.oracle.com/javase/tutorial/java/generics/erasure.html

关注

专栏目录