在 Kotlin 中使用星形投影作为超类型答案

【问题标题】：Using star projection as a supertype in Kotlin在 Kotlin 中使用星形投影作为超类型
【发布时间】：2019-04-13 05:06:45
【问题描述】：

谁能帮我解释一下这里发生了什么？

private val map1 = mutableMapOf<String, Data<State<*>>>()
private val map2 = mutableMapOf<String, Data<*>>()

init {
    map1.put("1", Data<State<String>>()) //it does not work
    map2.put("2", Data<State<String>>()) //it works
    map2.put("3", Data<State<Int>>()) //it works
}

class Data<T>
class State<T>

我从 Kotlin 文档中读到，如果类型未知，您可以使用星形投影（*），然后再使用任何类型。那么为什么它不适用于第一种情况呢？上面写着Type Mismatch Error。

【问题讨论】：

这可能是一个愚蠢的想法，但尝试将状态中的 T 更改为不同的字母
我将 mutableMapOf>>() 设置为 mutableMapOf>>() 并且它起作用了。我不知道为什么。 @尼克莫文
注意：我编辑了我的答案以阐明 Data<out State<*>> 与存在类型的关系。发表评论，以便您查看。

标签： android generics kotlin

【解决方案1】：

Data<*> 是Data<String>、Data<Any>、Data<AnythingYouPutThere> 的通用超类型。但是Data<State<*>> 不是 Data<State<String>> 等的常见超类型；它是Data，带有特定类型参数State<*>（这是State<String> 等的超类型）

不幸的是，Kotlin 不像 Scala 那样支持一般存在类型，但在这些术语中 Data<State<*>> 是 Data<State<T> forSome T> 而你想要 Data<State<T>> forSome T。

我将 mutableMapOf<String, Data<State<*>>>() 设置为 mutableMapOf<String, Data<out State<*>>>() 并且它起作用了。不知道为什么

Data<out State<*>> 允许State<*> 的任何子类型作为Data 的类型参数。所以它也可以表示为存在类型：Data<T> forSome T : State<*>，这不是相当Data<State<T>> forSome T，因为State<*> 可以有不是State<Something> 的子类型。例如，如果您有class State2 extends State<Int>()，则Data<out State<*>> 允许Data<State2>，但Data<State<T>> forSome T 不允许。

【讨论】：

【解决方案2】：

在projection and declaration variance 上查看文档

它说需要 out 告诉编译器

的类型

【讨论】：

【解决方案3】：

根据文档，说你有一个类

class Source<X>

你不能这样做

val source: Source<Any> = Source<String>()

即使 String 继承自 Any。这称为不变性。要支持此功能，您必须使用 Kotlin 的声明站点变体。您只需在类型参数 X 中添加 out 修饰符即可。

class Source<out X>

要注意的是，您不能在 Source 类的任何方法中使用 X，例如

class Source<out X> {
    fun modifyX(x: X) {} //not allowed
}

您只能产生 X，即将方法的返回类型设置为 X

【讨论】：