为什么scala将java定义的方法的java.lang.Object参数映射到scala.Any？

2023年8月17日 488次阅读

给定一个
Java类

public class Test {
  public static int foo(Object o) {
    return 10;
  }
}

Scala编译器将参数类型Object映射到scala.Any：

scala> Test.foo _
res0: Any => Int = <function1>

我想原因是允许将Scala原语(如true)传递给这样的函数,这在许多情况下可能是理想的.任何重要的例子？

scala> Test.foo(true)
res1: Int = 10

这是一个反例：

scala> val h = 1000
h: Int = 1000

scala> System.identityHashCode(h) == System.identityHashCode(h)
res8: Boolean = false

在Scala中定义类似的方法会导致类型不匹配(错误消息有点令人困惑,但最终,Int&lt ;: AnyVal不符合Object / AnyRef).

scala> def foo(o: Object) = 10
foo: (o: Object)Int

scala> foo(true)
<console>:9: error: the result type of an implicit conversion must be more specific than AnyRef
              foo(true)
                  ^

最佳答案 这可能是部分历史性的,无论如何,这是我的2美分：

> Scala具有统一泛型,因此可以使用原始类型来实例化泛型类型(例如,List [Int]).在编译List [A]时,A可以代表原语和引用类型,但是在擦除之后,所有提及A的签名都被其上限(擦除)替换.那就是Object(JVM上没有更好的选择).

如果你走另一条路,那么与Object关联的Scala类型应该是什么？当然,擦除不是双射的,但将它映射回Any是一个好主意.这允许将Scala泛型类型传递给期望Object的Java代码.在Java泛型(Scala在Java 1.5之前存在)之前,这是一个非常有用的功能(其中包括使用Java集合).
>普遍平等.这允许在泛型类型上使用==(可以是原语,因此它需要在其签名中使用Any).普遍平等有其缺点,但我怀疑我们可以在JVM上没有它.

点赞