Contracts

Kotlin contracts ile derleme zamanı güvencesi öğrenirsin.

Sözleşmeler (contracts)

Contracts, bir fonksiyonun çağrıldıktan sonra hangi koşulların geçerli olacağını derleyiciye bildiren taahhütlerdir. Kotlin'in kotlin.contracts API'si ile yazılır; deneysel bir API'dir.

En yaygın kullanım: bir fonksiyon döndüğünde bir değerin null olmadığını şöylemek. Örnek: contract { returns() implies (x != null) }. Böylece çağıran yerde ek bir !! ya da if (x != null) bloğu gerekmez. Contracts yalnızca derleyiciye bilgi verir; çalışma zamanında ek kod üretmez.

returns() implies

Bir sözleşme bloğu contract { ... } ile açılır. En sık kullanılan madde returns() implies (koşul) şeklindedir.

Örnek: contract { returns() implies (x != null) }. Bu sözleşme şunu söyler: bu fonksiyon normal döndüğünde x null değildir. Böylece requireNonNull(name) çağrısından sonra derleyici name'i String türünde kabul eder. Sözleşme yanlışsa çalışma zamanında hata alınır; bu yüzden sözleşme yazarken dikkatli olun.

Uygulama requireNonNull fonksiyonunu yaz

requireNonNull(x: String?): String fonksiyonunu tanımla. İçinde contract { returns() implies (x != null) } sözleşmesi olsun. main içinde requireNonNull(name) çağrısından sonra println(name.length) yaz.

Örnek çözümü göster

fun requireNonNull(x: String?): String {
    contract { returns() implies (x != null) }
    return x!!
}
fun main() {
    val name: String? = "Ayşe"
    requireNonNull(name)
    println(name.length)
}

Kendini test et

Bir contract ne işe yarar?
- Çalışma zamanında hata fırlatır
- Async çağrıyı bekletir
- Yeni bir sınıf üretir
- Derleyiciye davranış taahhüdü verir
Cevabı göster

Derleyiciye davranış taahhüdü verir — Contract derleyiciye bilgi verir; çalışma zamanında kod üretmez.

Sözleşme bloğunu tamamla

fun requireNonNull(x: String?): String {
    ____ { returns() implies (x != null) }
    return x!!
}

Cevabı göster

fun requireNonNull(x: String?): String {
    contract { returns() implies (x != null) }
    return x!!
}

Sözleşme parçalarını eşle

contract

Sözleşme bloğu
returns()

Dönüş koşulu
implies

Sonucu bildirir
x != null

Null olmama güvencesi

Sıradaki ders: Inline function

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler