斯卡拉中的「遞歸方法<method name>需要類型」是什麼意思？

Question

當我嘗試從方法調用省略點，就像這個例子程序：

object Test extends Application { 
    val baz = new Baz 
    var foo = baz bar 
    println(foo) 
} 

class Baz { 
    def bar = "bar" 
} 

我一些奇怪的錯誤。第一個是error: recursive method foo needs type: println foo，另一個是error: type mismatch; found: Unit, required: Int, println(foo)。如果我指定foo的類型應該是String，那麼第一個錯誤是以某種奇怪的方式修復的。第二個在我在baz和bar之間加點之前不會消失。這是什麼原因？爲什麼Scala認爲baz bar是遞歸方法？

Answer 1

您所看到的問題是，如果您忽略了小點，則代碼是模糊的。編譯器將處理該表達式作爲

var foo = baz.bar(println(foo)) 

foo從而遞歸地定義並StringOps.apply方法需要一個Int參數（String將被隱式轉換爲StringOps作爲String沒有apply方法）。

在調用採用一個非Unit參數的方法以避免此類歧義時，應該只使用操作符的語法。