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 时返回 falsereturns (false) implies (this@isNullOrEmpty != null)}return this == null || this.length == 0
}

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