Jaka jest różnica między =>, () => i Unit =>

Próbuję przedstawić funkcję, która nie przyjmuje argumentów i nie zwraca wartości (symuluję funkcję setTimeout w JavaScript, jeśli musisz wiedzieć).

case class Scheduled(time : Int, callback :  => Unit)

nie kompiluje się, mówiąc, że „parametry val mogą nie być wywołane przez nazwę”

case class Scheduled(time : Int, callback :  () => Unit)  

kompiluje się, ale zamiast tego musi być dziwnie wywołany

Scheduled(40, { println("x") } )

muszę to zrobić

Scheduled(40, { () => println("x") } )      

Co też działa

class Scheduled(time : Int, callback :  Unit => Unit)

ale jest przywoływany w jeszcze mniej rozsądny sposób

 Scheduled(40, { x : Unit => println("x") } )

(Jaka byłaby zmienna typu Unit?) To, czego chcę, oczywiście, to konstruktor, który można wywołać w taki sam sposób, w jaki wywołałby go, gdyby była to zwykła funkcja:

 Scheduled(40, println("x") )

Daj dziecku butelkę!

Call-by-Name: => Wpisz

=> TypeNotacja oznacza wywołanie według nazwy, która jest jednym z wielu sposobów, parametry mogą być przekazywane. Jeśli ich nie znasz, radzę poświęcić trochę czasu na przeczytanie tego artykułu na Wikipedii, mimo że obecnie jest to głównie wezwanie według wartości i wezwanie przez odniesienie.

Oznacza to, że to, co jest przekazywane, jest zastępowane nazwą wartości wewnątrz funkcji. Na przykład weź tę funkcję:

def f(x: => Int) = x * x

Jeśli tak to nazywam

var y = 0
f { y += 1; y }

Następnie kod zostanie wykonany w ten sposób

{ y += 1; y } * { y += 1; y }

Chociaż to podnosi punkt widzenia, co się stanie, jeśli wystąpi konflikt nazw identyfikatorów. W tradycyjnym zawołaniu według nazwy stosuje się mechanizm zwany zastępowaniem unikającym przechwytywania, aby uniknąć kolizji nazw. W Scali jest to jednak zaimplementowane w inny sposób z tym samym wynikiem - nazwy identyfikatorów wewnątrz parametru nie mogą się odwoływać ani identyfikatorów cienia w wywołanej funkcji.

Jest kilka innych punktów związanych z wezwaniem po imieniu, o których opowiem po wyjaśnieniu pozostałych dwóch.

Funkcje 0-arity: () => Typ

Składnia () => Typeoznacza typ pliku Function0. To znaczy funkcja, która nie przyjmuje parametrów i coś zwraca. Jest to równoznaczne z, powiedzmy, wywołując metodę size()- bierze żadnych parametrów i zwraca liczbę.

Ciekawe jest jednak to, że składnia ta jest bardzo podobna do składni dla literału funkcji anonimowej , co jest przyczyną pewnych nieporozumień. Na przykład,

() => println("I'm an anonymous function")

jest anonimową funkcją, literałem arity 0, której typ to

() => Unit

Moglibyśmy więc napisać:

val f: () => Unit = () => println("I'm an anonymous function")

Ważne jest jednak, aby nie mylić typu z wartością.

Jednostka => Typ

W rzeczywistości jest to tylko a Function1, którego pierwszy parametr jest typu Unit. Innymi sposobami zapisu byłyby (Unit) => Typelub Function1[Unit, Type]. Rzecz w tym, że ... jest mało prawdopodobne, że kiedykolwiek będzie to, czego się chce. Na Unitgłównym celem jest Type wskazuje na jedną wartość nie jest zainteresowany, więc nie ma sensu, aby otrzymać tę wartość.

Rozważmy na przykład

def f(x: Unit) = ...

Co można by zrobić x? Może mieć tylko jedną wartość, więc nie trzeba jej odbierać. Jednym z możliwych zastosowań byłoby łączenie funkcji zwracających Unit:

val f = (x: Unit) => println("I'm f")
val g = (x: Unit) => println("I'm g")
val h = f andThen g

Ponieważ andThenjest zdefiniowany tylko w Function1, a funkcje, które łączymy w łańcuch Unit, zwracają , musieliśmy zdefiniować je jako typu, Function1[Unit, Unit]aby móc je łączyć w łańcuch.

Źródła nieporozumień

Pierwszym źródłem nieporozumień jest myślenie, że podobieństwo między typem a literałem, które istnieje w przypadku funkcji 0-arity, istnieje również w przypadku wywołania według nazwy. Innymi słowy, myśląc tak, ponieważ

() => { println("Hi!") }

jest dosłownym przez () => Unit, a następnie

{ println("Hi!") }

byłoby dosłowne dla => Unit. Nie jest. To jest blok kodu , a nie literał.

Innym źródłem nieporozumień jest zapisanie wartości tego Unittypu , która wygląda jak lista parametrów o zerowej wartości (ale tak nie jest).()

case class Scheduled(time : Int, callback :  => Unit)

caseModyfikatora umożliwia ukryte valOUT każdy argument konstruktora. Dlatego (jak ktoś zauważył), jeśli usuniesz case, możesz użyć parametru wezwania według nazwy. Kompilator prawdopodobnie i tak by na to pozwolił, ale może zaskoczyć ludzi, gdyby utworzył val callbackzamiast przekształcać się w lazy val callback.

Kiedy zmieniasz na callback: () => Unitteraz, twoja sprawa przyjmuje po prostu funkcję, a nie parametr call-by-name. Oczywiście funkcja może być przechowywana w, val callbackwięc nie ma problemu.

Najłatwiejszym sposobem uzyskania tego, czego chcesz ( Scheduled(40, println("x") )gdzie parametr call-by-name jest używany do przekazania lambda) jest prawdopodobnie pominięcie casei jawne utworzenie tego apply, czego nie możesz uzyskać w pierwszej kolejności:

class Scheduled(val time: Int, val callback: () => Unit) {
    def doit = callback()
}

object Scheduled {
    def apply(time: Int, callback: => Unit) =
        new Scheduled(time, { () => callback })
}

W użyciu:

scala> Scheduled(1234, println("x"))
res0: Scheduled = Scheduled@5eb10190

scala> Scheduled(1234, println("x")).doit
x

W pytaniu chcesz zasymulować funkcję SetTimeOut w JavaScript. Na podstawie wcześniejszych odpowiedzi piszę następujący kod:

class Scheduled(time: Int, cb: => Unit) {
  private def runCb = cb
}

object Scheduled {
  def apply(time: Int, cb: => Unit) = {
    val instance = new Scheduled(time, cb)
    Thread.sleep(time*1000)
    instance.runCb
  }
}

W REPL możemy uzyskać coś takiego:

scala> Scheduled(10, println("a")); Scheduled(1, println("b"))
a
b

Nasza symulacja nie zachowuje się dokładnie tak samo jak SetTimeOut, ponieważ nasza symulacja jest funkcją blokującą, ale SetTimeOut nie blokuje.

Robię to w ten sposób (po prostu nie chcę przerywać aplikacji):

case class Thing[A](..., lazy: () => A) {}
object Thing {
  def of[A](..., a: => A): Thing[A] = Thing(..., () => a)
}

i nazwij to

Thing.of(..., your_value)