与 Java 语言比较 空引用由类型系统控制。Kotlin 中数组是不型变的相对于 Java 的 SAM-转换,Kotlin 有更合适的没有通配符的使用处型变Kotlin 没有受检 静态成员通配符类型 扩展函数智能类型转换属性变量和属性类型的类型推断声明处型变 & 类型投影操作符重载数据类协程