斯卡拉「一」 + _.toString沒有表現得像「一個」。+（_。的toString）

Question

據我所知，在斯卡拉管道符的使用應相當於一個方法的調用。所以：

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