Kotlin泛型数组导致“不能将T用作具体化的类型参数，而是使用类”，但List不这样做

Question

我有一个包含T数组（或列表）和一些元数据的接口。

interface DataWithMetadata<T> {
    val someMetadata: Int
    fun getData(): Array<T>
}

如果我编写接口的最简单实现，我会在emptyarray()上得到一个编译错误：“不能将T用作具体化的类型参数，而是使用类。”

class ArrayWithMetadata<T>(override val someMetadata: Int): DataWithMetadata<T> {
    private var myData: Array<T> = emptyArray()

    override fun getData(): Array<T> {
        return myData
    }

    fun addData(moreData: Array<T>) {
        this.myData += moreData
    }
}

interface DataWithMetadata<T> {
    val someMetadata: Int
    fun getData(): List<T>
}

class ListWithMetadata<T>(override val someMetadata: Int): DataWithMetadata<T> {
    private var myData: List<T> = emptyList()

    override fun getData(): List<T> {
        return myData
    }

    fun addData(moreData: Array<T>) {
        this.myData += moreData
    }
}

额外的问题：我选择数组而不是列表的唯一原因是我经常看到Kotlin开发人员喜欢数组。是这样吗？如果是，为什么？

Answer 1

查看kotlin stdlib(jvm)中emptyarray()的声明，我们注意到reificed类型参数：

public inline fun <reified @PureReifiable T> emptyArray(): Array<T>

reificed类型参数意味着您在编译时可以访问T的类，并且可以像T::class一样访问它。您可以在Kotlin引用中阅读更多关于reificed类型参数的信息。由于数组 编译为javat[]，我们需要在编译时知道类型，因此使用reificed参数。如果您尝试编写一个没有reificed关键字的emptyArray（）函数，您将得到一个编译器错误：

fun <T> emptyArray() : Array<T> = Array(0, { throw Exception() })

不能使用T作为具体化类型参数。改为使用类。

public fun <T> emptyList(): List<T> = EmptyList

来自Java和C++，我习惯于ArrayList或std::vector，以便更容易地使用这些数组。我现在使用kotlin已经有几个月了，在编写源代码时，我通常不会看到数组和列表之间有太大的区别。两者都有大量有用的扩展函数，它们的行为方式类似。然而，Kotlin编译器处理数组和列表非常不同，因为Java互操作性对Kotlin团队非常重要。我通常更喜欢使用列表，这也是我在你的情况下推荐的。