Scala：沒有參數的函數

Question

我對scala函數相對來說比較陌生，我對這個語法糖是如何工作的以及何時使用特定類型感到困惑。

我已經寫了3個功能都應該做同樣的事情，但我有爲什麼Function0的表現不同

版本1

val fn1 : (String) => String = System.getProperty(_) 

println(fn1("os.name")); 

版本2

val fn2 :() => String = System.getProperty("os.name") 

    println(fn2()); 

理解問題

版本2給出類型不匹配;發現：需要字符串：（）⇒字符串

版本3

val fn3 =() => System.getProperty("os.name") 

println(fn3()); 

我明白，版本2階已經知道System.getProperty的返回類型，但它爲什麼產生特定的錯誤，爲什麼它阻止我明確聲明返回類型。我個人更喜歡明確的返回類型，所以我不必深入一種方法來查看它返回的內容。

Answer 1

在val fn2 :() => String = System.getProperty("os.name")，System.getProperty("os.name")將被執行並返回一個字符串值。但是你說fn2是一個值，它是一個不帶參數並返回字符串的函數。

當你做System.getProperty(_)，就像做x => System.getProperty(x)，這是一個函數，它接受一個字符串並返回一個字符串。這就是第一個版本起作用的原因

Answer 2

這個版本將進行類型檢查：

val fn2 :() => String =() => System.getProperty("os.name") 

調用fn2()這裏就像調用：

def fn2(): String = System.getProperty("os.name") 
fn2() 

在你fn1例如，下劃線提供這種隱含的語法，這看起來更像是你需要什麼空白的情況下：

val fn1 : (String) => (String) = (s) => System.getProperty(s)