我们考虑一下这段代码:
@Target(AnnotationTarget.FIELD)
annotation class DeserializeInterface<T: Any>(val targetClass: KClass<T>)
interface A
class B : A
class Test {
@DeserializeInterface<B>(B::class) val a: A = B()
}
在line X
我写@DeserializeInterface<B>(B::class)
,而Kotlin不允许我只写@DeserializeInterface(B::class)
。
为什么不从B::class
推断这种情况下的类型参数?
相比之下,类型推断在这里工作得很好:
class AClass<T: Any>(val a: List<T>)
fun main(args: Array<String>) {
val a = AClass(listOf(1,2,3))
}
但为什么?
这是当前类型推断算法的一个限制。我已经提交了你可以关注的issue。