الفصل بين التحقق والاستثناءات والتنظيف

fun subtotal(seats: Int, unitCents: Int): Int {
    require(seats > 0) { "seats must be positive" }
    require(unitCents >= 0) { "unit amount must be nonnegative" }
    return seats * unitCents
}
fun main() {
    println(subtotal(2, 150))
    try {
        subtotal(0, 150)
    } catch (error: IllegalArgumentException) {
        println("invalid argument")
    }
}

300
invalid argument

المخرج المتوقع هو 300 ثم invalid argument. تقع مدخلات العرض ضمن مجال Int. لم يُترجم البرنامج، ولا ينفّذ دفعة حقيقية أو عملية محاسبية.

fun parseOrFallback(text: String): Int = try {
    text.toInt()
} catch (error: NumberFormatException) {
    -1
} finally {
    println("parse finished")
}
fun main() {
    println(parseOrFallback("12"))
    println(parseOrFallback("bad"))
}

parse finished
12
parse finished
-1

الأسطر المتوقعة هي parse finished ثم 12 ثم parse finished ثم -1. تطبع finally قبل أن يطبع المستدعي القيمة المعادة. تمثل -1 علامة تعليمية للفشل، ولا تناسب مجالا تكون فيه -1 قيمة بيانات صالحة.