scala - Scala "a" + _.toString 不像 "a".+(_.toString)

Question

据我所知，Scala 中的中缀运算符的使用应该等同于方法的调用。所以：

scala> "a" + 3.toString
res0: java.lang.String = a3

是相同的：

scala> "a".+(3.toString) 
res1: java.lang.String = a3

当有一个占位符时，我遇到了一个没有发生这种情况的场合。我正在做一些更复杂的事情，但可以提炼为：

scala> def x(f:(Int)=>String) = f(3)
x: (f: Int => String)String
scala> x("a" + _.toString)
res3: String = a3

到现在为止还挺好。但...

scala> x("a".+(_.toString))
<console>:9: error: missing parameter type for expanded function ((x$1) => x$1.toString)
          x("a".+(_.toString))

这里有什么区别？我错过了什么？

霍尔迪

score 11 · Accepted Answer

_占位符只能出现Expr在其功能的最顶部。这意味着

(_.toString)

本身就是一个函数，"a" + some function of unknown type对编译器没有多大意义。

score 10 · Accepted Answer

您对中缀符号的评估是正确的，但您对占位符参数的理解是有缺陷的。

当您使用下划线作为占位符参数时，您正在创建一个函数。问题是该功能的边界是什么：它从哪里开始，在哪里结束？例如，考虑这个表达式：

_ + _ + _

应该怎么翻译？以下是一些替代方案：

(x, y, z) => { x + y + z }
(x, y) => { (z) => { x + y } + z }
(x) => { x + { (y, z) => y + z } }

好吧，Scala 的规则是作用域是最里面的括号分隔的表达式，否则就是整个表达式。所以，在实践中，你写了两个不同的东西：

x("a" + _.toString) // is the same thing as
x((y) => "a" + y.toString)

x("a".+(_.toString)) // is the same thing as
x("a".+((y) => y.toString))

2 回答 2