🏝 В Kotlin 2.2.20 прокачали contracts — механизм, который позволяет компилятору делать больше проверок на этапе компиляции и давать дополнительные гарантии.

❗️ Все новые функции пока экспериментальные — их использование требует аннотаций или специальных флагов компилятора.

1️⃣ Контракты в get/set у property

val Any.isHelloString: Boolean
    get() {
        contract { returns(true) implies (this@isHelloString is String) }
        return "hello" == this
    }

2️⃣ returnsNotNull() — новая функция в контрактах, которая гарантирует, что функция вернёт не null

fun decode(encoded: String?): String? {
    contract { (encoded != null) implies (returnsNotNull()) }
    if (encoded == null) return null
    return java.net.URLDecoder.decode(encoded, "UTF-8")
}

3️⃣ holdsIn() — новая функция, которая позволяет зафиксировать, что условие будет true в пределах указанной лямбды
Документация

fun <T> T.alsoIf(
    condition: Boolean,
    block: (T) -> Unit,
): T {
    contract {
        // Объявляет, что лямбда будет вызвана не более одного раза
        callsInPlace(block, InvocationKind.AT_MOST_ONCE)
        // Объявляет, что условие считается истинным внутри лямбды
        condition holdsIn block
    }
    if (condition) block(this)
    return this
}

4️⃣ Поддержка generic типов в контрактах типов

fun <T, F : Failure> Result<T, F>.isHttpError(): Boolean {
    contract {
        returns(true) implies (this@isHttpError is Result.Failed<Failure.HttpError>)
    }
    return this is Result.Failed && this.failure is Failure.HttpError
}

✨ Зачем это нужно

Контракты помогают компилятору и IDE лучше понимать поведение функций и условий в коде. Это значит: меньше лишних !!, меньше кастов типов, больше подсказок от IDE и меньше багов на рантайме. По сути, вы даёте компилятору «дополнительные знания», и он становится умнее при анализе вашего кода.

#kotlin