نمذجة الحالة بالأصناف وأصناف البيانات

class SeatCounter(initial: Int) {
    var remaining: Int = initial
        private set
    init { require(initial >= 0) { "negative capacity" } }
    fun reserve(): Boolean {
        if (remaining == 0) return false
        remaining -= 1
        return true
    }
}
fun main() {
    val counter = SeatCounter(1)
    println(counter.reserve())
    println(counter.reserve())
    println(counter.remaining)
}

true
false
0

المخرجات المتوقعة هي true ثم false ثم 0. يمنع الصنف السعة السالبة عبر عملياته العامة المعلنة في هذا المثال أحادي الخيط فقط. لم يُترجم البرنامج ولم يُختبر تزامنه هنا.

data class Reservation(val workshopId: String, val seats: Int)

fun main() {
    val first = Reservation("ws-6", 1)
    val equalValue = Reservation("ws-6", 1)
    val changed = first.copy(seats = 2)
    println(first == equalValue)
    println(first === equalValue)
    println(changed.seats)
    println(first.seats)
}

true
false
2
1

المخرجات المتوقعة هي true ثم false ثم 2 ثم 1. قد يتساوى مثيلان مختلفان بالقيمة. ويترك تغيير عدد المقاعد في النسخة خاصية العدد الصحيح في الأصل دون تعديل. لا يُدعى هنا اختبار بالمترجم.