kotlin - is-check 或涉及类型的非泛型部分的强制转换

Question

我在阅读 Kotlin 引用资料时遇到了几个问题:

在“类型删除和泛型类型检查”中，它提到:

当您已经静态检查了实例的类型参数时(在编译时
time)，您可以进行涉及类型的非泛型部分的 is-check 或强制转换。笔记
在这种情况下省略尖括号

他们举了一个例子:

fun handleStrings(list: List<String>) {
    if (list is ArrayList) {
        // `list` is smart-cast to `ArrayList<String>`
    }
}

Q1:我测试自己

val a = mutableListOf(1, 2, 3)
val b = listOf(1, 2, 3)
println(a is List)   //error, should use List<*>
println(b is MutableList)   //can compile

我不明白为什么他们得到不同的结果。

Q2:我发现我无法使用从 List 到 ArrayList 的智能转换

println(listOf(1, 2, 3) is ArrayList)  //false
println(listOf(1, 2, 3) is MutableList)  //true

我记得，listOf() 是由 Kotlin 中的 ArrayList 实现的，它调用 asList ，它在 Arrays.java 中返回一个 ArrayList。
那么，为什么 listOf() 不能智能转换为 ArrayList？

Answer 1

A1:在第一种情况下，您从子类转换为父类(super class)。这没有任何意义，因为子类的实例总是可以用作父类(super class)的实例而无需强制转换:

val a: MutableList<Int> = mutableList(1, 2, 3)
val b: List<Int> = a

因此，Kotlin 编译器没有实现用于楼上转换的通用智能转换，而是使用需要星形投影的默认转换规则。

在第二种情况下，您从父类(super class)转换为子类，因此它按预期工作。

A2:有两种不同的ArrayList类。尝试运行此代码:

println(listOf(1, 2, 3)::class)
println(ArrayList<String>()::class)

它打印:

class java.util.Arrays$ArrayList
class java.util.ArrayList

listOf返回一个嵌套类 Arrays.ArrayList ，而不是 ArrayList你通常一起工作。