Odpowiedź.

Funkcje wyższego rzędu to funkcje, które przyjmują inne funkcje jako parametry lub je zwracają. Kotlin używa wyrażeń lambda, aby wygodnie przekazywać zachowanie jako wartość.

Przykład deklaracji:

fun operateOnNumbers(a: Int, b: Int, operation: (Int, Int) -> Int): Int {
    return operation(a, b)
}

val sum = operateOnNumbers(3, 2) { x, y -> x + y } // sum = 5

Przekazywanie funkcji:

Funkcje można przekazywać nie tylko w postaci wyrażenia lambda, ale także jako odniesienie: :

fun multiply(x: Int, y: Int) = x * y
operateOnNumbers(2, 3, ::multiply)

Zwracanie funkcji:

fun makeMultiplier(factor: Int): (Int) -> Int = { x -> x * factor }
val triple = makeMultiplier(3)
val result = triple(10) // 30

Cechy szczególne:

Lambda może mieć nie więcej niż jeden nieoznaczony parametr (it).
Do funkcji można przekazać parametry nazwane, ale typy muszą być jawnie określone, jeśli nie można odczytać typu.
Wyrażenia lambda to obiekty (anonimowe klasy), co wpływa na wydajność przy dużej liczbie wywołań w gorących pętlach (rozwiązanie to funkcje inline).
Dla lambdy z przechwytywanymi zmiennymi używane jest zamknięcie (closure).

Pytanie z podstępem.

Jaka jest różnica między deklaracją typu funkcji (Int, Int) -> Int a używaniem typu Function2<Int, Int, Int>?

Odpowiedź: Składnia (Int, Int) -> Int to po prostu bardziej "estetyczna" deklaracja (syntaktyczny cukier) dla interfejsu Function2<Int, Int, Int>. W praktyce oba warianty są całkowicie wymienne.

val f1: (Int, Int) -> Int = { x, y -> x + y }
val f2: Function2<Int, Int, Int> = { x, y -> x + y }

Jednak pierwszy wariant jest zazwyczaj preferowany ze względu na czytelność.

Przykłady rzeczywistych błędów z powodu nieznajomości szczegółów tematu.

Historia

W dużym systemie przetwarzania zdarzeń tworzono dziesiątki wyrażeń lambda w obrębie pętli bez użycia funkcji inline. Spowodowało to wysokie obciążenie GC i degradację wydajności, ponieważ dla każdego wywołania tworzony był oddzielny anonimowy obiekt funkcji.

Historia

Przy próbie zwrócenia funkcji z innej funkcji nieprawidłowo określono sygnaturę zwracanej funkcji, co doprowadziło do błędu kompilacji i długiego poszukiwania przyczyny. Błąd polegał na braku nawiasów w typie: fun foo(): Int -> Int zamiast poprawnego fun foo(): (Int) -> Int.

Historia

Programista próbował użyć lambdy bez jawnie określonego typu jako parametru innej funkcji z niewydedukowanym typem, co doprowadziło do błędu "cannot infer a type for this parameter". Problem rozwiązano przez jawne określenie typu lambdy lub parametru funkcji.

Jak w Kotlinie implementowane są funkcje wyższego rzędu i wyrażenia lambda? Opisz szczegóły dotyczące przekazywania i zwracania funkcji, cechy składni, podstawowe ograniczenia i podaj przykłady kodu.