kotlin 是否支持在其定义文件之外制作 class 实现接口？
Does kotlin support making a class implementing an interface outside of its definition file?
我看到 kotlin.List 并且 kotlin.MutableList 是由 java.util.ArrayList 实现的。但是kotlin把这个trick放在哪里了呢？编译器或 stdlib 中的某处？
如果 kotlin 支持制作一个 class 在它的定义文件之外实现一个接口，比如 ArrayList 的情况，它会很着迷。
不支持，不支持
你是对的，那只是一个编译器把戏。有很多魔法应用到集合中，使它们正确。幸运的是，它对开发者不可用。文档中的特殊段落：https://kotlinlang.org/docs/reference/java-interop.html#mapped-types
我看到 kotlin.List 并且 kotlin.MutableList 是由 java.util.ArrayList 实现的。但是kotlin把这个trick放在哪里了呢？编译器或 stdlib 中的某处？
如果 kotlin 支持制作一个 class 在它的定义文件之外实现一个接口，比如 ArrayList 的情况，它会很着迷。
不支持，不支持
你是对的，那只是一个编译器把戏。有很多魔法应用到集合中，使它们正确。幸运的是，它对开发者不可用。文档中的特殊段落：https://kotlinlang.org/docs/reference/java-interop.html#mapped-types