Kotlin 方差问题

Question

我在玩节点链的概念，每个节点都可以有不同的输入和输出类型（尽管输入/输出类型都来自共享的父类型），其中数据从节点传递节点并沿途变换。这是一个例子：

open class Shape
open class Oval : Shape()
class Circle : Oval()

class NodeChain {
    val nodes: MutableList<Node<in Shape, out Shape>> = mutableListOf()

    fun node(n: Node<in Shape, out Shape>) {
        val prevNode = nodes.lastOrNull()
        nodes.add(n)
        prevNode?.nextNode = n::processInput
    }

    fun processInput(input: List<Shape>) {
        nodes[0].processInput(input)
    }
}

abstract class Node<InputType : Shape, OutputType : Shape> {
    var nextNode: Function1<List<OutputType>, Unit>? = null

    abstract fun processInput(input: List<InputType>)
}

class OvalNode : Node<Shape, Oval>() {
    override fun processInput(input: List<Shape>) {
        nextNode?.invoke(listOf(Oval()))
    }
}

class CircleNode : Node<Oval, Circle>() {
    override fun processInput(input: List<Oval>) {
        nextNode?.invoke(listOf(Circle()))
    }
}

val nodeChain = with (NodeChain()) {
    node(OvalNode())
    node(CircleNode()) // Error[1] here (listed below)
    this
}

Erorr[1]:
Type mismatch. 
Required:
Scratch_3.Node<in Scratch_3.Shape, out Scratch_3.Shape>
Found:
Scratch_3.CircleNode

您可以在最后看到我收到一个错误：尝试将“CircleNode”添加到链中时，它抱怨期待Node<in Shape, out Shape> 并且不允许CircleNode（即@987654324 @)。我对方差的理解还不足以弄清楚我需要什么来实现这一点（或者它是否可能？）。这可能吗？我在正确的轨道上吗？

Answer 1

您使用的类型Node<in Shape, out Shape> 等价于Node<Shape, *>。因此，您只能添加具有InputType 或Shape 的类型。对于您的用例，您应该使用Node<*, *> 添加Node 的任何扩展：

class NodeChain {
    val nodes: MutableList<Node<*, *>> = mutableListOf()

    fun node(n: Node<*, *>) {
        val prevNode = nodes.lastOrNull()
        nodes.add(n)
        prevNode?.nextNode = n::processInput
    }

    fun processInput(input: List<Shape>) {
        nodes[0].processInput(input)
    }
}