kotlin - 为什么这个 Actor 不会失败？

Question

正在测试强制转换、列表等的行为，但遇到了一些我无法弄清楚的事情。将列表转换为不同类型的列表时，不会引发异常，使用安全转换时也不会导致 null。这是为什么呢？

data class Rectangle(val width: Int, val height: Int)
data class Circle(val radius: Int)

fun main(args: Array<String>) {
    val listOfRects: List<Rectangle> = listOf(Rectangle(5,5))

    val listOfUnkown: List<Any?> = listOfRects

    val listOfWrongType: List<Circle> = listOfUnkown as List<Circle>
    // also works, thought should throw null
    // val listOfWrongType: List<Circle>? = listOfUnkown as? List<Circle>

    print(listOfWrongType)
}

输出

Test.kt:9:44: warning: unchecked cast: List<Any?> to List<Circle>
    val listA: List<Circle> = listOfUnkown as List<Circle>
                                           ^
[Rectangle(width=5, height=5)]

当我将列表设置为健全性检查时，我还尝试制作列表的深拷贝。

Answer 1

在 Kotlin 中，有关泛型类型的实际类型参数的信息在运行时会被删除，因此在强制类型转换期间无法检查类型参数。

这正是未经检查的 Actor 阵容以及警告告诉您的内容。您可以进行这样的转换，但您必须接受 suppressing the warning 在运行时可能存在类型不匹配。 .

查看语言引用:

• Type erasure and generic type checks

• Unchecked casts

相关问答:

• How to work with List casts: Unchecked Cast: List<Any?> to List<Waypoint>