在Kotlin中，编写泛型非内联函数时，x is T会因类型擦除而引发编译器错误.
fun <T> example(foo: Any, bar: T) {
if (foo is T) { // compile error
// ...
}
}
然而，x as? T是完全好的，它似乎(虽然抛出通常的"未经判断的铸造"警告).为什么编译器不能用(x as? T) != null替换x is T？这两者之间有什么区别吗？
fun <T> example(foo: Any, bar: T) {
if ((foo as? T) != null) { // no compile error
// ...
}
}
这在文件Generics type checks and casts中有解释
由于类型擦除，没有通用的方法来判断泛型类型的实例是否是在运行时使用某些类型参数创建的，编译器禁止此类IS判断，如INTS IS LIST或LIST IS T(类型参数).
解释了为什么不允许使用is.
和
... 泛型函数调用的类型参数也只在编译时判断.在函数体内，类型参数不能用于类型判断，类型转换为类型参数(foo为T)是unchecked
声明未选中foo as? T，就像foo as? Any一样.
我们可以通过运行下面的命令来验证这一点
public fun <T> asExample(foo: Any, bar: T): Boolean {
if ((foo as? T) != null) { // no compile error
return true
}
return false
}
public fun main() {
println(asExample("A", "B"))
println(asExample("A", 0))
}
它将打印
true
true
相关:What is difference between "as" and "is" operator in Kotlin?