具有泛型类型的 Kotlin 密封接口不会为其子类型推断约束

发布于09月01日

示例:

sealed interface Foo<out T> {
    val value: T
}

data class Bar<out K: List<Int>>(override val value: K): Foo<K>
    
fun <T> processFoo(foo: Foo<T>) {
    
    when (foo) {
        is Bar -> foo.value.forEach(::println)
    }
}

失败，出现以下错误:

未解析的引用.以下候选人均不适用由于接收器类型不匹配:

kotlin.collections中定义的public inline fun <T> Iterable<TypeVariable(T)>.forEach(action: (TypeVariable(T)) -> Unit): Unit

kotlin.collections中定义的public inline fun <K, V> Map<out TypeVariable(K), TypeVariable(V)>.forEach(action: (Map.Entry<TypeVariable(K), TypeVariable(V)>) -> Unit): Unit

为什么这会失败呢？我认为，如果foo是Bar类型，那么我们就知道T是List<Int>的一个子类型.所以我们应该可以在上面拨打forEach.我说错了吗？

推荐答案

我希望如果Foo是Bar类型，那么我们就知道T是List的子类型.所以我们应该可以打电话给每个人.

是的，这是真的.但T也可以实现Map<K, V> at the same time，因为它实现List<Int>(我不知道这种类型，但理论上它可能存在)，在这种情况下，您还可以调用此扩展函数:

inline fun <K, V> Map<out K, V>.forEach(
    action: (Entry<K, V>) -> Unit)

查看所有不同的forEach和here.

要具体调用为Iterable定义的forEach，只需执行强制转换:

// could also cast to List<Int> here - that's a completely safe unchecked cast
(foo.value as List<*>).forEach(::println)

另一种 Select 是使用is Bar<*>，但这样做的一个(非常)轻微的缺点是，当<*>将foo.value的类型预测为List<Int>时，您会丢失T.你不能在应该是T的地方使用foo.value.

一个人为的例子是:

fun <T> processFoo(foo: Foo<T>): T {
    return when (foo) {
        // you can't return foo.value when you are expected to return T
        is Bar<*> -> foo.value.also { 
            it.forEach(::println) 
        }
    }
}