嘿，老友，你Zui近在玩 Kotlin 吗？

Ru果你刚接触这个语言，kan到“contract”这个词肯定会皱眉头：这到底是什么鬼东西？

别急，我这就跟你聊聊。

Kotlin 的 contract其实是一个面向编译器的提示机制。

它不产生任何运行时代码，也不会让你的程序跑慢。

简单来说就是告诉编译器：“我知道这件事一定成立，你Ke以放心把类型推断到那儿。”

比如说你写了一个可空类型的 函数，想要在返回 true 时保证这个值非空，这时候就用 contract 来声明。

fun String?.isNotNullOrEmpty: Boolean {

    contract {
        // Ru果返回 true，则 this 一定不为 null
        returns implies 
    }
    return this != null && !this.trim.equals && this.trim.isNotEmpty
}

上面这段代码里当你在调用处检查 input.isNotNullOrEmpty 并且得到 true，编译器就Neng把 input 当作非空 String 来使用，而不用再加 ?. 或 !!。

fun initStr -> Unit) {

    contract {
        // 告诉编译器：block 一定会被调用一次
        callsInPlace
    }
    block
}

这样当你写：

var str: String
initStr { str = "hello" }
println   // OK，编译器知道 str 一定被初始化了

就不会报 “变量可Neng未初始化”的错误了。

I 曾经也搞不清楚两者区别。现在讲清楚：require / check 是运行时检查；contract 是编译期提示。

📝 require / check： 条件不满足就抛异常。 require 抛 IllegalArgumentException；check 抛 IllegalStateException。

contract： 告诉编译器某个条件一定成立，让它Zuogeng精准的类型推断和空安全分析。没有运行时开销。

配合使用： 先用 contract 声明“返回 true 时 X 非空”，再用 require Zuo实际检查。两者不是互相替代的关系。

一句话： "contract 给编译器一个小秘密；require 给程序一点安全阀门".

嘿，这个问题我也遇过一次。原来啊，有些技术文章因为内容过于专业，没有足够的外链和社交分享，所以搜索引擎觉得它们价值有限，从而排除在索引之外。再者，Ru果文章标题或关键词与常见热门词汇差距太大，也会影响收录率。所以记得多写点通俗易懂的解释，或者给点案例分享，让读者geng容易传播。这样才Neng提高被抓取和排名的机会哦！

'EXACTLY_ONCE' 在 DSL 或构建器模式里超有用。举个例子：

class ServerConfig {
    var host: String = ""
    var port: Int = 0
    fun build -> Unit): ServerConfig {
        contract {
            // block 一定会执行，所以里面的赋值是可靠的
            callsInPlace
        }
        block
        return this
    }
}

// 使用处 fun demo {   val config = ServerConfig.build {     host = "localhost"     port = 8080   }   println }

@ExperimentalContracts fun requireValue {   contract { returns implies }   require

IDK: "我刚学到这里还没完全搞清楚，但感觉还是挺酷".

DSL 定义的时候往往需要在 lambda 内部赋值，然后再继续链式调用；此时若没有 contract，编译器会怀疑变量可Neng没赋值导致报错——合同让它安心。

同理，在 Builder 模式里也经常出现类似情况，比如 Android 的 ViewBinding 就用了类似思路，让布局属性Neng被正确推断。

还有一种常见误区：把 contract 写在成员函数里以为只限顶层函数。但自 Kotlin 1.x 起，它Yi经支持成员、局部函数，只要放在函数体第一行即可。不过别忘了添加 @ExperimentalContracts 注解。否则 IDE 会提醒缺失注解，但实际上只要kan compiler 提示即可决定是否加注解。

# 小结一下： - Contract Neng让我们以声明式方式告诉编译器某些条件必然成立 - 它根本不会生成任何 byte‑code - 因此比 runtime 检查geng轻量 - 与 require/check 搭配使用Neng让代码既安全又高效。