为何Kotlin编译器未推断平台类型列表的空值风险？

先看你给出的代码：

val subDirectory = File("/path/to/some/dir")
val imageFiles = subDirectory.listFiles()
    ?.filter { it.isFile && it.extension.equals("jpg", ignoreCase = true) }
    ?: listOf()

核心原因在于Kotlin对Java平台类型的处理逻辑：

• Java的File.listFiles()没有空值注解，所以在Kotlin里它的返回类型是Array<File!>!——这个类型表示：数组本身可能为null，数组内的元素也可能为null，但Kotlin编译器无法从无注解的Java代码里确定具体的可空性，只能用平台类型!标记这种模糊状态。
• 当你调用?.filter时，filter是Kotlin的扩展函数，它接收的元素类型和原数组一致，也就是File!。对于平台类型的变量，Kotlin编译器不会强制你做空检查——它默认你清楚变量的可空情况，所以允许直接调用it.isFile这类成员方法，不会主动提示潜在的NPE。
• filter处理平台类型数组后，返回的列表元素类型依然是File!，因为Kotlin没法推断原数组的元素一定非空，只能保留这个模糊的平台类型，直到你显式处理空值。
• 最后?: listOf()的兜底逻辑，因为前面分支返回List<File!>，所以整个imageFiles的类型会被推断为List<File!>，而非List<File>。

如果要避免潜在的NPE，有两种常用处理方式：

• 在filter里显式做空检查：filter { it != null && it.isFile && it.extension.equals("jpg", ignoreCase = true) }，此时返回的列表类型会变成List<File>
• 先用filterNotNull()过滤null元素，再做后续判断：?.filterNotNull()?.filter { it.isFile && ... }

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