Kotlin中Optional.of配合泛型参数编译失败的原因及解决方法

问题现象 #

这段泛型函数无法编译：

fun <T> returnOptionalOf(t: T): Optional<T> {
    val optional: Optional<T> = Optional.of(t)
    return optional
}

报错信息：

Type mismatch: inferred type is T but T & Any was expected

而针对具体类型的函数却能正常编译：

fun returnOptionalOfString(t: String): Optional<String> {
    val optional: Optional<String> = Optional.of(t)
    return optional
}

原因解析 #

Kotlin里未加限定的泛型参数<T>允许T是可空类型（包括null），但Java的Optional.of()方法要求传入的参数必须是非空值（对应Kotlin中的T & Any，也就是排除了null的T类型）。当泛型T可能为null时，t的类型就和Optional.of()要求的参数类型不匹配，从而触发编译错误。

而具体类型的函数中，String在Kotlin里默认是非空类型（除非显式写成String?），刚好符合Optional.of()的参数要求，所以能正常编译。

修复方案 #

有两种方式可以解决这个问题，根据你的需求选择：

1. 限定泛型为非空类型 #

如果你的函数只需要处理非空的T，给泛型参数加上非空限定<T : Any>，这样T只能是非空类型，和Optional.of()的要求匹配：

fun <T : Any> returnOptionalOf(t: T): Optional<T> {
    val optional: Optional<T> = Optional.of(t)
    return optional
}

2. 支持可空类型，使用ofNullable #

如果需要允许传入null值，改用Optional.ofNullable()方法，它可以接收null并返回空的Optional：

fun <T> returnOptionalOf(t: T): Optional<T> {
    val optional: Optional<T> = Optional.ofNullable(t)
    return optional
}

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