Odpowiedź.

Zakresy (Range) i progresje (Progression) to wbudowany mechanizm w Kotlinie do reprezentowania sekwencji wartości z określonym krokiem. Często są stosowane w pętlach, warunkach, iteracji po kolekcjach i walidacji danych. Zakresy pojawiły się jako jeden ze sposobów, aby uczynić składnię Kotlina bardziej zwięzłą i wyrazistą w porównaniu do Javy.

Historia pytania

W Javie podobne zadania rozwiązywano za pomocą pętli for i while z indeksami — co jest mówiąc wprost zbyt obszerne i podatne na błędy. W Kotlinie pojawiły się kompaktowe operatory tworzenia zakresów (na przykład, 1..10) oraz metody do określania kroków.

Problem

Konieczność łatwego przekazywania zakresu wartości (na przykład, wszystkich wartości liczbowych od 1 do 100).
Zwiększenie wygody przy iteracji i walidacji.
Możliwość nadpisywania zakresów dla typów użytkownika.

Rozwiązanie

Kotlin zapewnia standardowe zakresy liczbowe (IntRange, LongRange, CharRange, UIntRange, itd.) oraz interfejsy do tworzenia własnych progresji:

Przykład kodu:

for (i in 1..5) print("$i ") // 1 2 3 4 5
for (i in 5 downTo 1 step 2) print("$i ") // 5 3 1

// Sprawdzenie wartości
val x = 42
if (x in 1..100) println("W zakresie!")

Niestandardowe zakresy

Można zdefiniować zakres dla swoich typów, implementując operatory rangeTo i Progression:

data class Version(val major: Int, val minor: Int) : Comparable<Version> {
    override fun compareTo(other: Version) =
        compareValuesBy(this, other, Version::major, Version::minor)
}

operator fun Version.rangeTo(other: Version) = VersionRange(this, other)

class VersionRange(
    override val start: Version,
    override val endInclusive: Version
) : ClosedRange<Version>

for (v in Version(1, 0)..Version(1, 2)) println(v)

Kluczowe cechy:

Kompaktowa składnia do tworzenia zakresów (start..end, downTo, step).
Wbudowane sprawdzenia przynależności (in, !in).
Możliwość definiowania zakresów i progresji dla typów użytkownika.

Pytania pułapki.

Co właściwie zwraca wyrażenie 1..5?

Tworzy instancję klasy IntRange, implementującą interfejs ClosedRange<Int>. To nie jest kolekcja, lecz obiekt definiujący granice i krok. Lazy-implementacja.

Dlaczego krok (step) w Range zawsze wynosi 1? Jak zmienić krok?

Domyślnie krok w zakresie wynosi 1 (lub -1 przy downTo). Do innego kroku używane są metody step i downTo. Na przykład:

for (i in 2..10 step 2) println(i)

Czy można używać zakresów z typami, które nie implementują Comparable?

Nie, aby zakres użytkownika działał poprawnie, typ musi implementować interfejs Comparable, w przeciwnym razie operator rangeTo będzie niemożliwy.

Typowe błędy i antywzorce

Próba zmiany kroku w Range bez użycia metody step.
Używanie zakresu z typami bez Comparable.
Pomylenie kierunków (na przykład, 5..1 nic nie zwróci).

Przykład z życia

Negatywny przypadek

Programista używa pętli for (i in 5..1) bez downTo, oczekując, że będzie "5, 4, 3, 2, 1", a w rezultacie pętla nie wykona się ani razu.

Zalety:

Łatwość składni.

Wady:

Nieoczywiste zachowanie ujemnego zakresu.
Łatwo się pomylić dla nowicjusza.

Pozytywny przypadek

Użycie progresji z downTo i step do iteracji po raportach z wymaganym interwałem, co czyni kod kompaktowym i samodokumentującym się.