java - Kotlin 通用反射子类

Question

我有一个函数需要 Class<GenericType<Constraint>> 。当我传递 GenericType<Constraint> 的子类时编译器错误并显示以下消息: Type Inference Failed. Expected Type Mismatch

但是，如果我将类型转换为它的父类(super class)型，它就可以正常运行(带有警告)。如何在不进行强制转换的情况下做到这一点？

open class Bag<T>

class IntBag: Bag<Int>()

fun testStuff(type: Class<Bag<Int>>) {
    // Do stuff
}

testStuff(IntBag::class.java) // This won't compile
testStuff(IntBag::class.java as Class<Bag<Int>>) // This compiles with a warning, but runs fine

Answer 1

你必须使用方差: fun testStuff(type: Class<out Bag<Int>>)

https://kotlinlang.org/docs/reference/generics.html