Kotlin 泛型超/子类答案

【问题标题】：Kotlin generics super/child classesKotlin 泛型超/子类
【发布时间】：2017-04-17 14:50:01
【问题描述】：

尝试使用泛型类但遇到以下问题，即：

类型不匹配：推断类型为 ChildClass，但应为 SuperClass<SuperType>

open class SuperClass<T> where T: SuperType {
    fun modifySomething(input: T): T {
        input.someValue.inc()
        return input
    }
}

open class SuperType {
    val someValue: Int = 0
}

class ChildClass : SuperClass<ChildType>() 

class ChildType: SuperType() {
    fun getModifiedValue(): Int {
        return someValue
    }
}

class TestEnvironment {
    fun testType(superClass: SuperClass<SuperType>) { 
        // do something with superClass
    }

    fun itDoesntWork() {
        testType(ChildClass()) // compilation error
    }
}

这里是the gist 和the kotlin playground

期望的结果是函数 testType(superClass: SuperClass<SuperType>) 应该接受类 ChildClass() 不使用* 通配符

【问题讨论】：

请在问题中包含代码。

标签： generics kotlin

【解决方案1】：

是generics variance 阻止了您的代码工作。 SuperClass 定义为

open class SuperClass<T> where T: SuperType { ... }

并且它的类型参数T 被声明为不变量（它没有out 或in 修饰符）。因此子类型关系如下：

DerivedClass<ChildType> 不是 SuperClass<SuperType> 的子类型
SuperClass<ChildType> 不是 SuperClass<SuperType> 的子类型
DerivedClass<SuperType> 是SuperClass<SuperType>的子类型。

由于函数参数应该属于参数类型的子类型，而ChildClass实际上是DerivedClass<ChildType>，所以不能将ChildClass作为SuperClass<SuperType>传递。

您可以通过在testType的参数类型中添加out projection来解决这个问题：

fun testType(superClass: SuperClass<out SuperType>)

这基本上意味着该函数接受SuperClass<T>，其中T 是SuperType 的子类型。当然，它对superClass 的使用增加了某些限制：由于T 绝对可以是SuperType 的任何子类型，因此将任何内容传递给期望T 作为参数的函数不是类型安全的，而这被禁止。

另外，请参阅另一个解释不变泛型行为原因的答案：(link)

【讨论】：