时间戳

首页 > 解决方案 > 为什么注释类不能推断类型参数？

kotlin - 为什么注释类不能推断类型参数？

问题描述

让我们考虑这段代码：

@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))
}

但为什么？

标签： kotlintype-inference

解决方案

这是当前类型推断算法的一个限制。我已经提交了一个你可以关注的问题。

推荐阅读