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

类型擦除

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

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

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

1. 替换泛型的类型参数：<T> 这种无界类型参数替换成 Object，<? super String> 或 <? extend String>这种有界类型参数替换为边界 String。因此，最后字节码中包含的都是普通的Java类型参数
2. 插入类型转换，以保证类型安全
3. 添加桥接方法，以保持运行时多态。详见 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.valueOf(1), Integer.valueOf(2));

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

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

参考备注

1. 类型擦除参考自Oracle的Java文档：docs.oracle.com/javase/tuto…