使用泛型的类型别名类型的构造函数

Question

我现在正在学习 Kotlin。

但是我在下面的例子中遇到了问题。

当我键入我自己创建的类的别名时，我可以使用如下所示的普通构造函数，但我不能对 Kotlin 列表类型做同样的事情。我在这里想念什么？

class Example<T> {}

typealias Ex<T> = Example<T> // typealias for example class
typealias L<T> = List<T> // typealias for Kotlin list class

fun main(args: Array<String>) {
    Ex<Int>() // OK! compiles
    L<Int>(0,{ _ -> 1}) // unresolved reference
}

Answer 1

这是因为List<T> 是一个接口，这意味着没有构造函数。 typealias 关键字用于现有类型。实际上，List(size,init) 在stdlib 中被定义为顶级扩展函数，如下所示：

//             v--- List(size){...} is a function rather than a type
inline fun <T> List(size:Int, init: (index: Int)->T):List<T>=MutableList(size,init)

如果你把别名L改成concrete类ArrayList，你发现你也可以使用它的构造函数来创建它，例如：

typealias L<T> = ArrayList<T> 

fun main(args: Array<String>) {
    // v--- create `L<Int>` by its constructor
    L<Int>(1)
}