为什么是原始类型,例如在Scala中的Int被清除为Object？

在斯卡拉,

{ x: Option[Int] => x }
   .getClass
   .getmethod("apply",classOf[Option[_]])
   .getGenericParameterTypes

返回Array(scala.Option< java.lang.Object>).我最初期望看到Array(scala.Option< scala.Int>),但是我看到scala.Int是一个值类(扩展AnyVal),其实例不被底层主机系统表示为对象.

我仍然不明白对象的擦除,但是.这不是更有用的java.lang.Integer吗？

解决方法

Couldn’t it be the much more useful java.lang.Integer?

是的,甚至是这样,一次.不幸的是,这导致了类型签名的破坏.也就是说,如果Int被删除到java.lang.Integer,则在所有情况下都不可能生成正确的字节码.

没有一张机票或承诺,但是更改这种特殊行为的机票是this commit,this commit.