Kotlin 类型不匹配“无”

Question

考虑以下代码，已将其剥离以仅说明 generics 的问题：

interface Node

interface GenericNode<T : GenericNode<T>> : Node {
    val pointer: NodePtr<T>?
}

class NodePtr<T : Node>(private val value: T) {
    fun isPointingTo(other: T): Boolean {
        return value == other
    }
}

class BasicNode : Node

class GenericNodeImpl(override val pointer: NodePtr<GenericNodeImpl>) : GenericNode<GenericNodeImpl>

Node可能有很多实现。 这里我们有GenericNode<T: GenericNode<T>> ，它包含指向另一个GenericNode<T: GenericNode<T>>的指针（考虑这种类似于单链表机制），我们有BasicNode 。

现在考虑以下说明问题的内容：

fun main(args: Array<String>) {
    val a = GenericNodeImpl(null)
    val b = GenericNodeImpl(NodePtr(a))
    val c = GenericNodeImpl(NodePtr(b))
    val d = BasicNode()

    val list: List<Node> = listOf(a, b, c, d)

    list.filterIsInstance<GenericNode<*>>().filter { it.pointer?.isPointingTo(a) ?: false }
}

我已经声明了List<Node>因为它可以包含任何Node类型，但是我想过滤任何GenericNode<*>类型的实例。 我不关心具体的实现，或者在这种情况下T是什么，它只需要是GenericNode<*> 。

对于这些节点中的每一个，我想知道哪些节点指向a ，但是isPointingTo(a)包含以下错误：

类型不匹配。

要求：无

发现：GenericNodeImpl

我假设问题是由过滤GenericNode<*>引起的，其中*是Unknown ，但这是不可避免的。 某处是否缺少in或out ？

Answer 1

从技术上讲， NodePtr在T中可能是逆变的（ in T ），因为它只需要一个T作为输入（到isPointingTo()方法）。

因此， GenericNode也可以in T ，因为T仅用于现在in T中的pointer属性。

话虽如此，它并不能解决您的问题，因为您的问题是概念性的。 您正在使用GenericNode<*>进行过滤，这意味着您不知道T是什么，并且T实际上可以是GenericNode的任何子类型，包括Nothing 。 这意味着以下NothingGenericNode实现可能是列表中的潜在元素：

class NothingGenericNode(override val pointer: NodePtr<Nothing>?) : GenericNode<Nothing>

从那里，您可以看到pointer可能是NodePtr<Nothing>类型，因此接受 0 个可能的值作为isPointingTo的参数。 编译器会保护您免受这种情况的影响。 它只允许您传递 arguments，这对GenericNode的所有可能子类型都有效。 但是因为有一个子类型根本不接受任何东西，那么你的泛型代码也不能传递任何东西。

这个问题的一个解决方案是对isPointingTo接受的内容更加宽松。 例如，它可以接受Node的任何子类型，而不仅仅是特定的T ：

fun isPointingTo(other: Node): Boolean