اختيار المجموعات وتحويلها بقصد واضح

fun main() {
    val capacities = listOf(0, 3, 1, 0)
    val labels = capacities.filter { seats -> seats > 0 }
        .map { seats -> "available:$seats" }
    println(labels.joinToString("|"))
    println(capacities.size)
}

available:3|available:1
4

السطران المتوقعان هما available:3|available:1 ثم 4. يحفظ الترشيح الترتيب النسبي للعناصر الباقية، وتظل القائمة الأصلية محتوية على أربعة عناصر. هذا البرنامج لم يُترجم في بيئة التأليف.

fun main() {
    val mutable = mutableListOf("ws-1")
    val view: List<String> = mutable
    val snapshot = mutable.toList()
    mutable.add("ws-2")
    println(view.size)
    println(snapshot.size)
    val titles = mapOf("ws-1" to "Basics")
    println(titles["missing"] ?: "not found")
}

2
1
not found

المخرجات المتوقعة هي 2 ثم 1 ثم not found. استُخدمت عناصر نصية حتى لا يعقّد تعديل العناصر نفسها مثال النسخ السطحي. لم يُنفّذ البرنامج، ولا توجد نتيجة تشغيل مرصودة هنا.