generics - 字段的 setter 被类型投影删除

Question

我有以下SSCCE:

class Foo(val bars: Map<Int, Bar<*>>) {

    fun <Baz> qux(baz: Baz) {
        val bar2 = bars[2]!!
        bar2.bazes += baz
    }

    interface Bar<Baz> {
        var bazes: MutableList<Baz>
    }
}

这对我来说似乎很好，但编译器提示说:

Error:(5, 9) Kotlin: Setter for 'bazes' is removed by type projection

我不知道这甚至意味着什么，更不用说如何纠正它了。这里发生了什么，我该如何解决？

Answer 1

有几个小问题。暂时使用bars[2]!! as Bar<Baz> ,

w: (4, 20): Unchecked cast: Foo.Bar<Any?> to Foo.Bar<Baz>
e: (5, 20): Assignment operators ambiguity: 
public operator fun <T> Collection<Baz>.plus(element: Baz): List<Baz> defined in kotlin.collections
@InlineOnly public operator inline fun <T> MutableCollection<in Baz>.plusAssign(element: Baz): Unit defined in kotlin.collections

Kotlin 不知道是否将其处理为 bar2.bazes = bar2.bazes.plus(baz)或 bar2.bazes.plusAssign(baz) .如果您将其更改为 var2.bazes.add(baz)或 val bazes歧义消失了。

解决这个问题并删除不安全的 Actor 会带来

e: (5, 20): Out-projected type 'MutableList<out Any?>' prohibits the use of 'public abstract fun add(element: E): Boolean defined in kotlin.collections.MutableList'

类型投影可以安全地完成什么的问题。它被视为 out Any? ，因此您可以从列表中读取，但 in Nothing ，这意味着您不能向列表中添加任何内容。

从这个例子中不清楚你为什么使用 * .如果它没有引起任何其他问题，也许您可​​以取出 <Baz>参数，例如

class Foo<Baz>(val bars: Map<Int, Bar<Baz>>)