Kotlin实体类型参数不能作为函数体中的类型参数
Kotlin中的特定类型参数可防止类型参数擦除，并允许在运行时知道类型参数。 这允许以下代码编译并按预期方式运行：
inline fun <reified T> isA(value: Any) = value is T 但是，当我尝试使用“T”作为类型参数而不是独立时，我得到一个消息，它是一个已擦除类型。 以下代码仅供说明用途 ：
inline fun <reified T> isListOfA(name: String): Boolean { val candidate = Class.forName(name) return candidate is List<T> }
这是由于技术限制吗？ 如果是这样，那么这个限制是什么？
JVM上防止你做的是泛型擦除的技术限制。 基本上，在运行时，通用类型List<T>的对象变成了一个与对象一起工作的List ：它只在编译时才会检查类型安全性以进行赋值和函数调用。 实际的类型参数T只在编译期间存在，然后被擦除。 它不能在运行时恢复（至少现在是：有一个Project Valhalla可能会为JVM引入运行时实现泛型）。
在一个非内联的Kotlin函数中（和一个非特定类型的参数），你甚至不能做第一种检查， value is T ，因为普通的类型参数也会被擦除。
使用具体化的类型参数，函数体在其调用位置获取内联，实际（或推断）的类型参数替换为T ：当您调用isA<String>("abc") ，调用站点将具有instanceof检查String 。
但即使使用了具体的类型参数，也不能反思泛型：你可以检查something is List<*>是something is List<String>但不是something is List<String> ：类型参数不存储在运行时的任何地方。
另请注意， isA<List<String>>(listOf(1, 2, 3))将返回true 。 这就是在Kotlin中处理这种奇怪的情况：只有类型的非泛型部分可以在运行时被实际检查，事实上也是如此。
因为Java在编译时将泛型类型参数T擦除为Object / upper-bound类型，所以在Kotlin中没有办法做到这一点。
第一种方法可以工作，因为value is T被内联到具体化类型的call-site函数中，例如：
//val is_string = isA<String>(1) // inline into the call-site function as below: val i:Int = 1 // v--- the actual type argument is inlined here val is_string = 1 is String
参数化类型总是在运行时擦除。 所以你可以检查一个值是一个T实例，而不是一个T<V>实例，不管T和V是被赋值还是硬编码的。
然而，即使这是可能的，你的示例代码没有意义，因为它检查具有该名称的类型是否是List 实例 ，而不是检查具有该名称的类型是否为期望的List类型。
如果你有一个对象的实例 ，并且想要检查它是一个只包含预期类型的List的List，你仍然可以这样写：
inline fun <reified T> isListOfA(instance: Any) = instance is List<*> && instance.all { it is T }
显然我没有适当地提出我的问题来得到我想要的形式的答案。 这里的大部分答案都是“因为你不能用Java来做”的一些变化。 那么，你不能在Java中使用x instanceof T ，但是你可以在Kotlin中做x is T 。 我正在寻找不是Java规则的潜在实际障碍。 毕竟，规则是被打破的。
从我对这里的第一个答案的评论中，重新提出的问题是：如果objectref is T可以通过某种机制X在Kotlin中工作，为什么不能通过同一个机制使objectref is SomeClass<T>工作？
tl; dr回答：因为在运行时SomeClass<T>不会有Class对象。
较长的答案：首先我们必须理解机制X ，它是is T生成一个字节码指令的instanceof 。 该指令采用objectref和某个C类的名称N ，其中N由编译器根据上下文确定。 在运行时，从N派生的类C将被用来评估objectref is T表达式。 为了进行评估， C的类对象必须被实例化。 所以要使用objectref is SomeClass<T>机制objectref is SomeClass<T>那么N就是SomeClass<T> 。 由于类型擦除， SomeClass<T>将不会有类对象，因此不可能生成所需的instanceof指令，从而应用相同的机制。 另外， instanceof指令不能采用SomeClass<T>形式的名称。 因此，如果objectref is SomeClass<T>是要工作的，那么其他一些机制Y必须在Kotlin中找到并实现。 这种机制可能存在也可能不存在。
我知道有些人可能会说这和其他一些答案是一样的。 然而，无论好坏，我的学习风格都是要理解事物在金属上的运作方式，然后将其与抽象模型进行综合。 在这种情况下，Java泛型删除的概念是抽象模型（或其一部分）。 真的，“删除”对我来说会觉得很卑鄙，除非我至少明白在实施过程中实现的一种方式。