为什么Kotlin中存储不同类型可变子列表的外层可变列表无法修改子列表

问题1：为什么可变子列表放入外层列表后无法直接修改？ #

这个问题本质是Kotlin的类型推断和泛型投影机制导致的，不是子列表真的变成了不可变：

• 你没有给外层mutableListOf显式指定泛型类型时，编译器会自动推导所有元素的最近公共父类型。示例中MutableList<Int>和MutableList<String>的公共父类型是MutableList<*>（即星投影的可变列表）。
• 对于MutableList<*>类型的列表，Kotlin的泛型安全机制限制了写入操作：你可以读取其中的元素（类型为Any?），但无法调用set、add等写入方法——这类方法的入参类型会被编译器标记为Nothing，也就是说没有任何类型可以匹配这个参数，所以你传Int、String都会报类型不匹配的错误。
• 子列表本身依然是可变的，只是你从外层列表获取到的子列表引用是泛型投影后的类型，触发了类型安全限制，无法直接调用修改方法。

问题2：修改嵌套子列表的实现方案 #

有两种常用的方案，分别对应不同的使用场景：

方案1：手动强转（简单场景，需要自行保证类型正确） #

如果你明确知道对应索引的子列表的具体类型，可以先强转再修改，示例代码：

// 修改Int类型的子列表
(list[0] as MutableList<Int>)[1] = 2
// 修改String类型的子列表
(list[1] as MutableList<String>).add("bbb")

注意：该方案是不安全的，如果强转的类型和子列表实际类型不匹配，运行时会抛出ClassCastException。

方案2：密封类包装（复杂场景，类型安全） #

如果子列表的类型是可枚举的有限集合，推荐用密封类/密封接口包装不同类型的子列表，外层列表存储密封类实例，修改时通过类型判断安全操作，示例代码：

// 定义密封接口包装不同类型的子列表
sealed interface NestedList
class IntNestedList(val value: MutableList<Int>): NestedList
class StringNestedList(val value: MutableList<String>): NestedList
class DoubleNestedList(val value: MutableList<Double>): NestedList

// 声明外层列表
val list = mutableListOf<NestedList>(
    IntNestedList(MutableList(3) { 0 }),
    StringNestedList(MutableList(2) { "aaa" })
)

// 添加新的Double子列表
list.add(DoubleNestedList(MutableList(4) { 0.0 }))

// 安全修改子列表
when (val item = list[0]) {
    is IntNestedList -> item.value[1] = 2
    else -> {}
}
when (val item = list[1]) {
    is StringNestedList -> item.value.add("bbb")
    else -> {}
}

该方案不需要强转，编译器会自动完成类型检查，不存在类型转换异常的风险。

内容的提问来源于stack exchange，提问作者ktp