kotlinc与ki中数据类内可变列表的行为差异咨询

核心差异：静态编译检查 vs 交互式环境的宽松处理 #

你的代码在两个环境中表现不同，本质是静态编译检查和交互式运行时类型推断的差异，结合Kotlin版本特性导致：

1. kotlinc（2.0.0）报错的原因
   你定义的Person类中，roles字段的类型是List<String>——这是Kotlin的只读列表接口，仅包含查询类方法（如get、size），没有addFirst这类修改方法。
   虽然你传入的是mutableListOf创建的可变列表实例，但编译时编译器只认字段声明的List类型，会严格校验方法调用，因此报错"找不到addFirst引用"，这是符合Kotlin静态类型规范的正确行为。

2. ki（基于Kotlin 1.7.0）允许执行的原因
   ki是交互式shell，为了方便开发者快速测试，其执行逻辑和编译脚本模式不同：

   • 它在运行时直接识别到m.roles的实际对象是MutableList，绕过了编译时的类型约束，允许调用该实例的实际方法（addFirst）；
   • 同时ki使用的Kotlin 1.7.0版本，在交互式场景下的类型检查规则比2.0.0更宽松，没有强制严格遵循编译时类型的方法限制。

是否符合预期？ #

ki的这种行为是交互式环境的特性，主要是为了提升测试效率，但并不符合Kotlin的静态类型设计规范。在生产代码或严格编译场景下，必须遵循编译时类型的约束——如果需要修改列表，应该将Person的roles字段声明为MutableList<String>，而不是List<String>。

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