Kotlin中Optional的getOrNull空值检查行为与预期相反？

问题现象 #

• 当Optional的泛型为非可空类型（如String）时，getOrNull()返回值可通过?:做空值处理，代码正常编译：

class Compiles_TypeNonNullable {
    fun foo(o : Optional<String>): String {
        val result = o.getOrNull() ?: "fallback"
        return result
    }
}

• 当Optional的泛型为可空类型（如String?）时，调用getOrNull()会触发编译错误：

class DoesNotCompile_TypeNullable {
    fun foo(o : Optional<String?>): String {
        val result = o.getOrNull() ?: "fallback"
        return result
    }
}

错误信息：

Unresolved reference. None of the following candidates is applicable because of receiver type mismatch: 
[ERROR] public fun <T : Any> Optional<TypeVariable(T)>.getOrNull(): TypeVariable(T)? defined in kotlin.jvm.optionals

该现象在Kotlin 1.9.10和1.9.23版本中均存在。

原因解析 #

编译错误的核心是Kotlin标准库中针对Optional的getOrNull()扩展函数有泛型约束：

public fun <T : Any> Optional<T>.getOrNull(): T?

这里的<T : Any>限定了泛型参数T必须是非可空的Any子类。而Optional<String?>的泛型参数是String?，不满足T : Any的约束，因此找不到匹配的扩展函数。

这种约束是有意设计的：Java的Optional原本就是用来替代null、避免空指针的，其设计初衷不支持嵌套可空（即Optional<T>中的T不应为可空类型），Kotlin的扩展函数延续了这一设计逻辑。

解决办法 #

1. 直接使用Java Optional的原生方法

通过isPresent()判断是否存在值，再结合?:处理内部的可空值：

class NowCompiles_TypeNullable {
    fun foo(o: Optional<String?>): String {
        val result = if (o.isPresent) o.get() ?: "fallback" else "fallback"
        return result
    }
}

或者用orElse()简化逻辑：

fun foo(o: Optional<String?>): String {
    return o.orElse(null) ?: "fallback"
}

2. 自定义适配可空泛型的扩展函数

如果需要频繁处理Optional<T?>的场景，可以自己实现一个无泛型约束的getOrNull()：

fun <T> Optional<T?>.getOrNull(): T? {
    return if (isPresent) get() else null
}

之后Optional<String?>就可以正常调用getOrNull()并配合?:使用了。

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