generics - Kotlin类型不匹配，泛型

Question

我在 Kotlin 发现了一种奇怪的行为。给定此代码:

interface Animal

class Owl : Animal

class Page<T>(var list: List<T>)


fun ok(): List<Animal> {
    val list = listOf(
            Owl()
    )

    return list
}

fun error(): Page<Animal>  {
    val list = listOf(
            Owl()
    )

    val page: Page<Owl> = Page(list)

    return page
}

猫头鹰实施动物。第一个函数编译，但是在第二个函数上，我得到了错误:

Type mismatch.
Required: Page<Animal>
Found: Page<Owl>

我不明白为什么Kotlin无法进行类型推断，并猜测 Page<Owl>也是 Page<Animal>。

有人可以给我提示，可能还有一些解决方法吗？

Answer 1

在您的示例中，error()函数返回不变的Page ，因此它必须是Page 对象:而不是Page 。您应该将 out添加到泛型以使其协变，因此固定实现为:

fun error(): Page<out Animal>  {
    val list = listOf(
        Owl()
    )

    val page: Page<Owl> = Page(list)

    return page
}