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歧义消失了。

修复该问题并删除不安全的强制转换

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>>)