android - kotlin 继承是如何工作的？以及如何使用 "*"、 "in"和 "out"

Question

我有下面的

open class Model

class WorkOrder : Model()

//An interface

interface ViewInterface<T : Model> {
    fun notifyDataSuccessful(model: T?, models:ArrayList<T>?)
}

class WorkOrderSystemImpl(val viewInterface: ViewInterface<Model>) {

    fun doSomething() {
        val workOrders: ArrayList<WorkOrder> = ArrayList()
        //the below line complains of type mismatch
        viewInterface.notifyDataSuccessful(workOrders)
    }

}

它提示 type-mismatch 这对我来说很奇怪，因为 WorkOrder 是 Model 的子类型，我希望它解析为相同的类型。

Answer 1

关于 Generics的 invariant & covariant ，请参阅 Kotlin 文档 here .

简而言之，你只需记住:

Consumer in, Producer out!

哪个Consumer & Producer由 List 确定的观点，那意味着你应该考虑你的角色List , 是 Consumer或 Producer ？在你的例子中，models:ArrayList<T>?是 Producer , 因为它将被 ViewInterface 的实现使用, 所以你应该定义 ViewInterface像这样:

interface ViewInterface<T: Model> {
    fun notifyDataSuccessful(model: T?, models: ArrayList<out T>?)
}