Kotlin泛型反射子类适配：如何避免强制类型转换？

这个问题其实是Kotlin（以及Java）泛型可变性导致的典型场景，咱们一步步拆解解决：

首先看问题根源：Class<Bag<Int>> 和 Class<IntBag> 是完全独立的类型，因为Java的Class是不可变泛型（invariant）——哪怕IntBag是Bag<Int>的子类，它们对应的Class对象类型也无法直接兼容。强制类型转换能运行是因为泛型在运行时会被擦除，但编译期的类型检查会抛出警告，这本质上是绕过了类型安全校验的写法。

最优解决方案：利用协变通配符 out #

我们只需要修改函数的参数类型，给泛型加上out关键字实现协变，就能安全地接收子类的Class对象：

open class Bag<T>
class IntBag: Bag<Int>()

// 将参数类型改为Class<out Bag<Int>>
fun testStuff(type: Class<out Bag<Int>>) { 
    // 执行你的操作逻辑
}

testStuff(IntBag::class.java) // 现在编译完全通过，无任何警告！

为什么这能解决问题？ #

out关键字在这里表示：我们只会从type对象中读取数据（而非写入），因此允许传入Bag<Int>子类的Class对象是类型安全的。这完全匹配你的场景——你只是把Class对象传入函数使用，不会用它创建Bag<Int>实例并写入不兼容的类型。

补充：更通用的泛型写法 #

如果你的函数需要支持任意Bag<T>的子类，可以进一步泛型化函数，让它的适配性更强：

fun <T, B : Bag<T>> testStuff(type: Class<B>) {
    // 这里可以安全地使用B类型，它天生就是Bag<T>的子类
}

testStuff(IntBag::class.java) // 编译通过，类型推断会自动识别T=Int、B=IntBag

这种写法不需要依赖通配符，完全通过泛型约束实现类型安全，适用于更复杂的场景。

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