Scala - Co oznacza "=> SomeType"?

Question

Dzisiaj chciałbym zapytać, co znaczy "=> SomeType". Znalazłem go użyty w this article. Jest w części "Sekwencyjny kombinator".

Dzięki za odpowiedź!

Answer 1

Oznacza to blok kodu, który można uruchomić.

Tak na przykład:

scala> def doTwice(op: =>Unit) = {op; op} 
doTwice: (op: => Unit)Unit 

scala> doTwice({println("Hi")}) 
Hi 
Hi 

W tym przypadku =>Unit jest {println("Hi")}

Here "SomeType" to jednostka ponieważ println nie wytwarza wartości. Jeśli wyprodukowałby ona kod Int, byłby to =>Int.

Answer 2

To tylko typ wartości funkcji, która nie przyjmuje parametrów. Przykład Owena jest fajny, po prostu wiedz, że "A => B" jest funkcją z parametrem, który ma typ A, a wartość powrotu z typem B i "=> B" jest funkcją, która nie przyjmuje parametrów i zwraca wartość z typem B.

Answer 3

Wskazuje dwie rzeczy. Po pierwsze, z powodu prefiksu =>, wskazuje on, że parametr zostanie przekazany by name. Następnie wskazuje, że typ przekazywanego parametru musi być SomeType.

Niektórzy ludzie łączą oba, myśląc, że => SomeType jest typem - nie jest. Jest to połączenie dwóch rzeczy: strategii oceny parametrów i typu parametru.

Więc krótkie wyjaśnienie na wezwanie przez nazwę, w przypadku łącza wikipedia nie było jasne, czy masz to:

def f[A](x: => A) = { x; x } 
f(some stuff) 

Potem Scala będzie wykonywał to tak:

{ some stuff; some stuff } 

na rozmowy przez wartość, co się dzieje, jest więcej tak:

val x = some stuff 
{ x; x } 

Należy również zauważyć, że parametr jest zawsze oceniane na wywołanie według wartości, ale tylko raz. Podczas wywoływania według nazwy parametr może być oceniany (jeśli nie znajduje się na gałęzi if), ale może być oceniany wiele razy.