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))

这里有什么不同？我遗漏了什么？

乔迪

Answer 1

在其函数中，_占位符只能出现在最上面的Expr中。这意味着

(_.toString)

本身就是一个函数，而"a" + some function of unknown type对编译器来说意义不大。

Answer 2

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

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

_ + _ + _

它应该如何翻译？以下是一些替代方案：

(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))