java - Scala 为非常相似的表达式返回不同的类型

Question

如果我在 Scala REPL 中计算以下表达式:

scala> "1" + 1
res0: java.lang.String = 11

返回的类型是:java.lang.String。

如果我计算这个相似的表达式:

scala> 1 + "1"
res1: String = 11

返回的类型是:String。

为什么不同？

Answer 1

没有区别，但也不是错误。在这种情况下:

"1" + 1

您正在使用 Java 的内置功能将任何内容连接成一个字符串。毕竟，许多人使用以下“成语”将数字转换为字符串:

String s = "" + 5;

它也可以在 Scala 中使用，并使用 java.lang.String 产生结果 - 与在 Java 中相同。

另一方面:

1 + "1"

有点复杂。这被翻译成:

1.+("1")

+() 方法取自 Int.scala 中的 Int.+ 方法:

final class Int extends AnyVal {
    //....
    def +(x: String): String = sys.error("stub")

此上下文中的String定义在Predef.scala中:

type String        = java.lang.String

这是“差异”类型的来源。如您所见，这两个字符串实际上是同一类型。