Kotlin泛型类型检查行为不一致的原因探究

先明确两种代码的编译结果：

代码示例1：编译报错 #

fun main(){
    val listOfStrings = listOf("hi", "hello")
    when(listOfStrings) {
        is List<Int> -> println("OK")   // 编译错误
    }
}

编译错误提示：

error: cannot check for instance of erased type 'kotlin.collections.List<kotlin.Int>'

代码示例2：编译警告 #

fun main(){
    val listOfStrings = listOf("hi", "hello")
    when(listOfStrings) {
        is List<String> -> println("OK")   // 编译警告
    }
}

编译警告提示：

warning: check for instance is always 'true'

核心原因：编译器的检查优先级与泛型特性 #

1. 示例1报错：泛型擦除导致检查本身不可行 #

Kotlin遵循泛型擦除原则，运行时泛型的类型参数会被擦除，List<Int>和List<String>在运行时都会退化为原始的List类型，没有任何 runtime 信息能区分二者。

编译器在处理is List<Int>时，首先会判断：这个类型检查在运行时根本无法完成——因为没有办法验证一个List的元素类型是Int。这种情况下，编译器直接抛出错误，本质是阻止你编写从根本上无效的运行时检查代码。

2. 示例2警告：静态类型推断优先于运行时检查 #

listOfStrings是通过listOf("hi", "hello")初始化的，编译器在编译期就能明确推断出它的静态类型是List<String>。此时你编写is List<String>，编译器可以直接在编译期判定这个条件恒为真——变量的静态类型已经确定，完全不需要等到运行时再做检查。

这种情况下，检查本身是语法合法的（运行时可以检查是否为List），但属于完全冗余的代码，所以编译器给出“条件恒为真”的警告，而非报错。

为什么示例1不提示“恒为假”？ #

编译器的处理逻辑是先判断检查是否可行，再判断条件真假。示例1中，is List<Int>的检查本身因为泛型擦除而无法执行，编译器直接抛出“无法检查擦除类型”的错误，不会再进一步判断条件的真假。

为什么两种情况不统一处理？ #

• 示例1的错误属于语义错误：你试图执行一个从设计上就无法完成的操作，编译器必须阻止。
• 示例2的警告属于代码冗余：操作本身合法，但没有实际意义，编译器仅做优化提醒。

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