为什么Java Collections不能直接存储Primitives类型？

Question

Java集合只存储对象,而不是基本类型; 但是我们可以存储包装类.

为什么这个约束？

Answer 1

这是一个Java设计决策,有些人认为是错误的.容器需要对象和基元不是从Object派生的.

这是.NET设计人员从JVM学到的一个地方,并实现了值类型和泛型,以便在许多情况下消除拳击.在CLR中,通用容器可以将值类型存储为底层容器结构的一部分.

Java选择在没有JVM支持的情况下在编译器中100%添加泛型支持.JVM就是这样,不支持"非对象"对象.Java泛型允许你假装没有包装器,但你仍然支付拳击的性能价格.这对于某些类程序来说非常重要.

拳击是一种技术妥协,我觉得这是实施细节渗透到语言中.Autoboxing是很好的语法糖,但仍然是性能损失.如果有的话,我希望编译器在自动装箱时警告我.(据我所知,现在可能,我在2010年写了这个答案).

关于拳击的一个很好的解释:为什么有些语言需要拳击和拆箱？

对Java泛型的批评: 为什么有人声称Java的泛型实现很糟糕？

在Java的辩护中,很容易回顾和批评.JVM经受住了时间的考验,在很多方面都是一个很好的设计.

Answer 2

使实施更容易.由于Java基元不被视为对象,因此您需要为每个基元创建单独的集合类(无需共享的模板代码).

你可以这样做,当然,只需看看GNU Trove,Apache Commons Primitives或HPPC.

除非你有非常大的集合,否则包装器的开销对于人们来说并不重要(当你确实拥有非常大的原始集合时,你可能需要花费精力来研究为它们使用/构建专门的数据结构).

Answer 3

这是两个事实的组合:

• Java原始类型不是引用类型(例如,int不是一个Object)
• Java使用类型擦除引用类型做泛型(例如,a List<?>实际上是List<Object>在运行时)

由于这两者都是正确的,因此通用Java集合无法直接存储基本类型.为方便起见,引入了自动装箱以允许原始类型自动装箱作为参考类型.不过不要误会,集合仍然存储对象引用,无论如何.

这可以避免吗？也许.

• 如果a int是a Object,则根本不需要盒子类型.
• 如果没有使用类型擦除来完成泛型,那么原语可以用于类型参数.

Answer 4

有自动装箱和自动拆箱的概念.如果你试图存储一个int在List<Integer>Java编译器会自动将其转换为Integer.