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 дает несоответствие типов; найдено: String требуется:() ⇒ снабжать струной, тетивой и т.п.

версия 3

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

println(fn3()); 

Я понимаю, что для версии 2 уже знает Scala тип возвращаемого System.getProperty, но почему она производит эту конкретную ошибку, почему это делает не позволяйте мне явно указывать тип возврата. Я лично предпочитаю явные типы возвращаемых данных, поэтому мне не нужно погружаться в метод, чтобы увидеть, что он возвращает.

Answer 1

В val fn2 :() => String = System.getProperty("os.name") будет выполнен и возвращен значение строки System.getProperty("os.name"). Но вы говорите, что fn2 - это значение, которое является функцией, которая не принимает аргументов и возвращает строку.

Когда вы делаете System.getProperty(_), это похоже на выполнение x => System.getProperty(x), который является функцией, которая берет строку и возвращает строку. Вот почему работает первая версия.

Answer 2

Эта версия typecheck:

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)