Kotlin空安全编译疑问：为何无法用特定语法返回非空值或抛异常？

先看你给出的第一段代码：

fun foo(): String{
    val s: String? = null
    return s?.let{ it }?: {throw IllegalStateException("you got something screwed up...")}
}

核心问题是类型不匹配：

• s?.let{ it }的返回值是String?（s非空时返回String，为空时返回null）
• ?:右边的{ throw ... }是一个未执行的lambda表达式，类型为() -> Nothing（抛异常的函数返回Nothing类型）
• ?:运算符要求左右两边类型兼容，String和() -> Nothing的共同父类是Any，所以整个表达式结果类型是Any，但函数声明返回String，类型不匹配导致编译失败。

再看第二段代码：

fun foo(): String{
    val s: String? = null
    s?.let{
        return it
    }?: {throw IllegalStateException("you got something screwed up...")}
}

这里的问题是异常逻辑并未实际执行：

• 当s为null时，s?.let{...}返回null，?:右边的lambda只是被定义了，但没有被调用（你只是创建了一个lambda对象，没执行它）。这会导致函数走到末尾没有return语句，编译器报错“缺少返回值”。

你觉得编译器应该识别到“要么返回非空要么抛异常”，是因为你默认期望?:右边的lambda能自动执行，但Kotlin语法里，{...}是lambda字面量，不是立即执行的代码块。要执行它必须加括号调用：{...}()。

另外你提到的KT-28061是Kotlin编译器的已知问题：编译器未对“?:右边是返回Nothing的lambda”做特殊处理，无法自动推断表达式结果类型为左边的非空类型，也不会自动执行该lambda。

正确的写法可以是：

// 直接抛异常
fun foo(): String{
    val s: String? = null
    return s?.let{ it } ?: throw IllegalStateException("you got something screwed up...")
}

或者用run包裹复杂的异常逻辑：

fun foo(): String{
    val s: String? = null
    return s?.let{ it } ?: run {
        // 可以加其他前置逻辑
        throw IllegalStateException("you got something screwed up...")
    }
}

第二段代码的正确写法：

fun foo(): String{
    val s: String? = null
    s?.let{
        return it
    }
    // 直接抛出异常，无需用?:
    throw IllegalStateException("you got something screwed up...")
}

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