kotlin - (不可变集合是可变的)在 Kotlin 中返回 true

Question

为什么这会在 Kotlin 中发生:

val list: List<Int> = listOf(1, 2, 3)// Immutable list

if(list is MutableCollection<*>){// why this "if" condition is true?
    println("is mutable")// this line is printed
    (list as MutableCollection<Int>).add(4) // this results to java.lang.UnsupportedOperationException
}

list is MutableCollection 返回 true，表明 Kotlin 不可变集合对象实现了 MutableCollection 接口(interface)，但它没有更改集合中的项目而是抛出 UnsupportedOperationException/p>

这是真的吗？如果是，为什么不可变集合对象在 Kotlin 中实现 MutableCollection 接口(interface)？

是不是因为 Kotlin 集合继承自 Java 集合并且更改方法(添加、删除等)已经存在并且避免更改集合的唯一方法是覆盖它并抛出异常(即使这是真的Kotlin 不可变集合对象没有必要实现 MutableCollection 接口(interface)，因为 java 改变集合方法已经存在并且可以被覆盖)？

Answer 1

不，这不是正确的解释。这段代码应该可以帮助您了解发生了什么:

val list: List<Int> = listOf(1, 2, 3) 

println("list class is = ${list::class.java}")

if(list is MutableCollection<*>) {
    println("is mutable") 
    (list as MutableList<Int>)[0] = 42
    println(list)
}

输出是

list class is = class java.util.Arrays$ArrayList
is mutable
[42, 2, 3]

所以，解释是 listOf(1, 2, 3) 返回一个 Arrays$ArrayList 列表，即在 Java 中执行 Arrays.asList(1 , 2, 3)。它是一个可变列表，但您不能向其中添加任何内容，因为它具有固定大小，因为它由数组支持。

Kotlin 列表并不是真正不可变的。它们只是没有任何允许改变它们的方法:它们只是不可变接口(interface)，只公开实际可变列表的只读方法。如果您欺骗并将列表转换为可变列表，那么，如果该列表实际上是 Java List，则转换会成功，但您无法知道您是否真的能够改变它们，就像在 Java 中一样:一个列表可以是一个空列表，它根本不能被改变，或者是一个不可调整大小的列表，如上面的例子，或者一个完全可变的列表，如 ArrayList。