如何避免Kotlin中Lambda作为参数时隐式转为Unit类型

要解决Promise<Unit>().resolve{ getInt() }可以编译的问题，核心是阻止Kotlin对kotlin.Unit的特殊隐式转换规则（允许任意返回值的Lambda转换为() -> Unit）。以下是两种可行方案：

方案一：使用Kotlin内部@Exact注解（推荐） #

@kotlin.internal.Exact注解可以禁止编译器对参数进行隐式类型转换，正好命中需求。将resolve方法的函数参数标记为@Exact后，非Unit返回值的Lambda无法隐式转换为() -> Unit，从而在编译阶段报错。

import kotlin.internal.Exact

class Promise<T> {
    fun resolve(block: @Exact () -> T) {}
}

fun getInt() = 1
fun doSomething() {}

fun test() {
    Promise<Int>().resolve{ 1 } // 正常编译
    Promise<Double>().resolve{ 2 } // 无法编译，符合预期
    Promise<Unit>().resolve{ doSomething() } // 正常编译
    Promise<Unit>().resolve{ getInt() } // 编译失败！符合需求
}

注意事项 #

• @Exact是Kotlin的内部注解，属于kotlin.internal包，虽不属于稳定API，但在实际项目（如React Native包装）中可稳定使用，Kotlin团队极少修改这类核心内部注解的行为。

方案二：重载+泛型约束（无内部注解） #

如果不想依赖内部注解，可以通过重载resolve方法，为Promise<Unit>单独定义严格要求返回Unit的版本，并利用泛型约束区分类型：

class Promise<T> {
    // 通用版本：适用于非Unit类型
    fun resolve(block: () -> T) where T != Unit {}

    // Unit专用版本：仅接受返回Unit的Lambda
    fun resolve(block: () -> Unit) where T == Unit {}
}

fun getInt() = 1
fun doSomething() {}

fun test() {
    Promise<Int>().resolve{ 1 } // 正常编译
    Promise<Double>().resolve{ 2 } // 无法编译，符合预期
    Promise<Unit>().resolve{ doSomething() } // 正常编译
    Promise<Unit>().resolve{ getInt() } 
    // 编译失败：() -> Int无法匹配() -> Unit（Kotlin的隐式转换在此处被泛型约束限制）
}

原理说明 #

通过where T != Unit和where T == Unit的泛型约束，将resolve方法拆分为两个版本：

• 非Unit类型的Promise使用通用版本，要求Lambda返回对应类型；
• Promise<Unit>只能调用专用版本，Kotlin对() -> Unit的隐式转换在此场景下会被编译器拦截，因为泛型约束明确限定参数类型必须严格匹配() -> Unit。

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