Kotlin contract 契约

Kotlin 的赋值智能推断可以根据值的类型来转化，但是对于函数就没有那么“智能”了

fun String?.isNotNull():Boolean {
    return this != null && isNotEmpty()
}

fun printLength(s:String?=null) {
    if (!s.isNotNull()) {
        // Only safe (?.) or non-null asserted (!!.) calls are allowed on a nullable receiver of type String?
        println("length=${s.length}")
    }
}

把上面这段代码复制到编译器会发现报错，明明已经判空在Java 上是可以通过的，但是在 Kotlin 上却没有那么“智能”，当我们将 printLength() 方法改为

fun printLength(s:String?=null) {
    if (!s.isNullOrEmpty()) {
        println("length=${s.length}")
    }
}

isNullOrEmpty() 可以让编译通过的原因就是其中的 contract，点开源码看看

// Returns true if this nullable char sequence is either null or empty.
// Samples:samples.text.Strings.stringIsNullOrEmpty
// Unresolved

@kotlin.internal.InlineOnly
public inline fun CharSequence?.isNullOrEmpty(): Boolean {
    // contract 是一种向编译器通知函数行为的方法。
    contract {
        //当 isNullOrEmpty != null 时返回 false
        returns (false) implies (this@isNullOrEmpty != null)
    }

    return this == null || this.length == 0
}

contract 是帮助编译器分析的工具，它可以让开发者写出更简洁的代码，但是请记住编译器并不会对 contract 内的代码进行验证分析，这仅仅只是约定。