Kotlin中如何让函数接受KClass<A>的子类类型参数？

我想把一个以KClass形式存在的类型作为参数传入函数，但该类型可能是参数指定类型的子类型，编译器却要求严格匹配函数签名中的类型。

示例代码：

interface A
class Implementation1 : A
class Implementation2 : A

fun showType(aType: KClass<A>) {
    println(aType.simpleName)
}

showType(Implementation1::class) // ⚡参数类型错误

编译时会报错：

Type mismatch: inferred type is KClass<Implementation1> but KClass<A> was expected

尽管Implementation1实现了接口A，但反射似乎忽略了继承关系，请问有没有办法让函数通过反射接受派生类型？

方法1：利用协变特性修改参数类型 #

Kotlin的KClass默认是不变类型，无法直接接受子类型的KClass实例。可以通过在参数类型中添加out关键字实现协变，允许传入A或其子类的KClass：

fun showType(aType: KClass<out A>) {
    println(aType.simpleName)
}

showType(Implementation1::class) // 正常执行，输出Implementation1

方法2：调用时强制类型转换 #

如果不想修改函数签名，可以在调用时对KClass实例进行强制类型转换。注意：这种方式需要确保传入的类型确实是A的子类，否则可能引发运行时异常：

showType(Implementation1::class as KClass<A>)

方法3：使用泛型约束增强类型安全 #

可以通过泛型函数结合类型约束，既保证编译时的类型安全，又支持接受A的子类型：

fun <T : A> showType(aType: KClass<T>) {
    println(aType.simpleName)
}

showType(Implementation1::class) // 正常执行

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