Kotlin 类层次结构和（协）方差

Question

在我的设置中，我试图拥有一个继承自 Map 的接口 Table（因为它主要用作地图的包装器）。两个类继承自 Table - 本地和全局。全局的将有一个可变映射，而本地的将只有一个本地条目的映射。

// entries
sealed class Entry {
    class EntryLocal : Entry
    class EntryGlobal : Entry
}

interface Table : Map<String, Entry> {
    fun getRecursive(key: String): Entry?   
}

class GlobalTable(val map:MutableMap<String, Entry>) : Table, Map<String, Entry> by map {
    override fun getRecursive(key: String) = this[key]

    ...
}

class LocalTable(
    private val parent: Table,
    val map: Map<String, EntryLocal>
) : Table, Map<String, EntryLocal> { // gives error
    override fun getRecursive(key: String): Entry? = map[key] ?: parent.getRecursive(key)

}

我收到以下错误：

Type parameter V of 'Map' has inconsistent values: Entry, EntryVar

这是为什么呢？ Map<String, EntryLocal>不是继承自Map<String, Entry>吗？

Answer 1

你说得对，Map 的值类型是协变的，所以 Map<String, EntryLocal> 是 Map<String, Entry>。

但是，这不是您的问题。问题是LocalTable 继承自Map<String, EntryLocal>（直接）和Map<String, Entry>（通过Table），所以不清楚LocalTable 中的值类型应该是什么。

也就是说LocalTable.get的返回类型是什么？是Entry 还是EntryLocal？

简而言之就是这个问题：

interface M<T> {}
interface A : M<String> {}
interface B : M<Object> {}
class C : A, B {}

你会得到同样的错误，说M 的参数T 的值不一致。即使String 是Object，Kotlin 也不会假定基类M 的类型参数T 因此应该是String（或Object）。