Kotlin泛型中"is T"编译报错而"as T"正常的原因及解决方法

原因解释 #

Kotlin在JVM平台的泛型基于类型擦除实现：编译完成后，泛型参数T的具体类型信息会被抹除，运行时无法获取T的实际类型。

• 对于obj as T：编译器允许这个强制转换，但会给出**unchecked cast（无检查转换）**的警告。因为编译阶段仅做语法层面的放行，运行时因T的类型信息已被擦除，无法验证obj是否真的属于T类型；如果实际类型不匹配，运行时仍会抛出ClassCastException。
• 对于obj is T：is是运行时类型检查运算符，但由于类型擦除，运行时根本不知道T的具体类型，无法完成有效检查。因此编译器直接报错，拒绝这种无意义的代码。

解决思路 #

方案1：使用具体化泛型（reified） #

如果函数可以声明为内联函数，给泛型参数加上reified关键字，编译器会将T的类型信息保留到运行时，就能正常使用is检查：

inline fun <reified T> example2(): Boolean {
    val obj = Any()
    return obj is T
}

方案2：传递Class<T>参数 #

如果无法使用内联函数（比如非内联的成员函数），可以显式传递Class<T>对象作为参数，通过类对象完成类型检查：

fun <T> example2(clazz: Class<T>): Boolean {
    val obj = Any()
    return clazz.isInstance(obj)
}

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