Kotlin官方文档中inline函数的「直接从函数体调用」是什么意思？

1. 「直接从函数体调用」的定义及lambda调用形式 #

所谓「直接从函数体调用」，指的是传入的lambda参数在inline函数的顶层执行流程中被调用，没有嵌套在其他对象、嵌套函数、异步逻辑中，调用时机和inline函数本身的执行完全同步，属于inline函数调用栈的一部分。

直接调用的示例 #

Kotlin标准库中大部分高阶inline函数都属于这种场景，比如run函数的源码简化后如下：

inline fun <T, R> T.run(block: T.() -> R): R {
    // 直接在inline函数顶层调用lambda，没有嵌套其他结构
    return block()
}

这种场景下lambda允许使用非局部返回，直接跳出inline函数的外层调用方：

fun testRun() {
    "test".run {
        println(length)
        return // 直接返回testRun函数，属于合法的非局部控制流
    }
    println("这行代码不会被执行")
}

非直接调用的示例 #

如果lambda没有在inline函数顶层被调用，而是被放到其他结构中延迟执行，就不属于直接调用：

// 嵌套函数中调用lambda
inline fun nestedCall(body: () -> Unit) {
    fun inner() {
        body() // lambda在嵌套函数中调用，不属于直接调用
    }
    inner()
}

// 存入匿名对象中后续调用，就是官方给出的示例场景
inline fun f(crossinline body: () -> Unit) {
    val runnable = object: Runnable {
        override fun run() = body() // lambda在匿名对象的方法中调用，不属于直接调用
    }
    // 后续可能把runnable提交给线程池、post到消息队列等延迟执行
}

如果非直接调用的lambda参数不加crossinline修饰，编译器会直接报错，禁止这种用法。

2. 「其他执行上下文」的概念 #

「其他执行上下文」本质是指和inline函数调用时的栈帧完全分离的执行环境，这类环境的执行时机、生命周期和inline函数本身的执行没有同步关系：

• 最常见的就是匿名类/局部对象的成员方法：比如官方示例中的Runnable的run方法，它的执行时机完全由Runnable的调用方决定，可能inline函数f执行返回很久之后，run方法才会被触发，此时inline函数的栈帧早已销毁
• 嵌套函数/局部函数的作用域：嵌套函数的调用时机可控，可能脱离inline函数的执行流程被调用
• 异步执行逻辑：比如把lambda传入协程体、Handler消息、线程池任务中，执行时已经完全脱离了inline函数的调用栈
  这种场景下如果允许lambda使用非局部return，会出现逻辑错误：因为return要返回的外层函数早已执行结束，没有对应的栈帧可以返回，所以必须用crossinline修饰lambda参数，约定该lambda中禁止使用非局部返回，避免运行异常。

内容的提问来源于stack exchange，提问作者ltoibq93578