Kotlin class hierarchy and (co)variance

Question

In my setup, I'm trying to have an interface Table that inherits from Map (because it will mostly be used as a wrapper around the map). Two classes inherit from Table - local and global. The global one will have a mutable map, and the local one will have a map of only local entries.

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

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

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

    ...
}

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

}

I get the following error:

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

Why is that? Doesn't Map inherit from Map?

user_2684196 · Answer

You're right the value type of Map is covariant and so a Map is a Map.

However, that's not your problem here. The problem is that LocalTable inherits from both Map (directly) and Map (via Table) so it's not clear what the value type should be in LocalTable.

In other words, what's the return type of LocalTable.get? Is it Entry or EntryLocal?

Here's the problem in a nutshell:

interface M {}
interface A : M {}
interface B : M

Kotlin class hierarchy and (co)variance

1 Answers