Kotlin - 类型擦除和铸造

Question

我试图了解如何从代码中抛出 ClassCastException，据我所知，被转换为的类型已被删除。

示例

class Foo<T : Any>(val key: String, val value: T) {
    override fun toString() = "$key: $value"
}

fun <T : Foo<*>> findByKey(items: Iterable<Foo<*>>, key: String): List<T> {
    return items.filter { it.key == key } as List<T>
}

fun main() {
    val items = listOf(
        Foo("a", "abc"), 
        Foo("a", 12345), 
        Foo("a", false)
    )
    
    val filtered = findByKey<Foo<String>>(items, "a")
    println(filtered)
    
    val values = filtered.map { it.value }
    println(values)
}

输出

[a: abc, b: 12345, c: 假]

线程“main”java.lang.ClassCastException 中的异常：java.lang.Integer 无法转换为 java.lang.String

这里有几个疼的拇指：

• 在findByKey 中键入T 不是reified，因此被删除。
• findByKey 接受 Iterable<Foo<*> 而不是 Iterable<T>（故意）。
• List<T> 存在未经检查的强制转换。

我觉得有趣的是：

• 调用findByKey<Foo<String>>(items, "a") 不会抛出ClassCastException。
• 在 JVM 中，我希望此调用为 findByKey(items, "a")，因为 <Foo<String>> 已被删除。
• 调用filtered.map { it.value } 会抛出ClassCastException。

我不是在寻找如何让这段代码正常工作的解决方案；我已经知道了。相反，我很想知道为什么调用map 会为我认为会被删除的类型抛出ClassCastException？

Answer 1

该类型在编译时尚未擦除。编译器知道您已转换为 List<Foo>，并且必须将各个项目转换为 Foo 才能在 map 中获取它们的 value 属性。在运行时，源类型未知，但调用其value 属性所需的目标类型是已知的。所以这个演员表在编译时是硬编码的，在任何擦除之前。

异常消息告诉您产生转换错误的单个项目的源类型。您的 List 的编码类型未知，但可以检查单个对象以确定它们的类型。

Answer 2

如果你反编译你的代码，你会看到map函数被翻译成下面的代码：

Iterable $this$map$iv = (Iterable)filtered;
Collection destination$iv$iv = (Collection)(new ArrayList(CollectionsKt.collectionSizeOrDefault($this$map$iv, 10)));
Iterator var8 = $this$map$iv.iterator();
while(var8.hasNext()) {
   Object item$iv$iv = var8.next();
   Foo it = (Foo)item$iv$iv;
   String var13 = (String)it.getValue();
   destination$iv$iv.add(var13);
}
List values = (List)destination$iv$iv;

这行String var13 = (String)it.getValue(); 抛出了ClassCastException