(不可变集合是可变的)在 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接口，但它不会更改集合中的项目，而是抛出UnsupportedOperationException

如果是，为什么不可变集合对象在 Kotlin 中实现MutableCollection接口？

是因为 Kotlin 集合继承自 Java 集合和更改方法（添加、删除等）已经存在，避免更改集合的唯一方法是覆盖它并抛出异常（即使这是真的，Kotlin 不可变集合对象也没有必要实现MutableCollection接口，因为 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 列表，即通过执行 Arrays.asList(1, 2, 3) 在 Java 中返回的列表。它是一个可变列表，但你不能向它添加任何东西，因为它有一个固定的大小，因为它是由数组支持的。

Kotlin 列表并不是真正不可变的。他们只是没有任何方法允许改变它们：它们只是不可变的接口，只公开实际可变列表的只读方法。如果你作弊并将列表转换为可变列表，那么，如果列表实际上是 Java 列表，则强制转换将成功，但您无法知道您是否真的能够更改它们，就像在 Java 中一样：List 可以是根本无法更改的空列表，也可以是不可调整大小的列表，如上例所示， 或完全可变的列表，如 ArrayList。