为什么将不同类型的可变列表放在可变列表中时表现为不可变

Question

我们知道，在 Kotlin 中可以创建不同类型的可变列表的可变列表，例如：

val list = mutableListOf(
            MutableList<Int>(3) { 0 }, 
            MutableList<String>(2) { "aaa" }
        )  

并且可以（如预期）更改主列表，例如：

list.add(MutableList<Double>(4) { 0.0 }

经过这个操作，println(list)的结果如下：

[[0, 0, 0], [aaa, aaa], [0.0, 0.0, 0.0, 0.0]]

但不可能更改子列表，
例如操作：

list[0][1] = 2
list[1].add("bbb")

产生错误信息：
整数文字不符合预期的类型 Nothing
和
类型不匹配：推断的类型是字符串，但没有任何预期
分别...

我的问题是：
为什么这些嵌套子列表 - 声明为可变 - 表现得像不可变？？？
有没有改变这些嵌套子列表的方法？？？


顺便说一句...
我已经检查过，声明为可变的嵌套子列表在它们都是相同类型时表现得非常正常。
在这种情况下，可以 - 正如预期的那样 - 更改那些嵌套的子列表......

Answer 1

由于 MutableList 是类型化的，因​​此您必须在向其添加项目之前让编译器知道子列表的确切类型。 以下代码：

(list[0] as MutableList<Int>)[1] = 2
(list[1] as MutableList<String>).add("bbb")

效果很好。但是，当您尝试强制转换为错误的 MutableList 类型时，仍然可能在运行时遇到问题，这就是报告警告（“Unchecked cast”）的原因。

当所有子列表属于同一类型时，例如Int 顶级 list 类型被编译器明确推断为 MutableList<MutableList<Int>>，因此您不必明确告诉编译器子列表的类型，因为它已经知道它们。但是当子列表的类型不同时，编译器会将list 的类型推断为MutableList<MutableList<Any>>，并限制您仅调用MutableList 的非类型化方法（例如clear()）而不进行强制转换。