为什么Kotlin无法扩展我的Typealias？

Question

我想编写如下代码：

typealias Just<T> = T  // Error here

val hello: Just<String> = "hello"

我说Kotlin: Type alias expands to T, which is not a class, an interface, or an object出错Kotlin: Type alias expands to T, which is not a class, an interface, or an object 。

我猜想typealias是编译时的功能，类型擦除不应该​​包含任何内容。 那么，为什么我不能这样写typealias ？

Answer 1

你不能写这样的代码，因为科特林编译器的开发者认为没有用例支持类型的别名，来扩大输入参数（ Just基本上是这样一个类型别名的唯一可能的声明），因此并没有设计和实现对它的支持。 这确实与类型擦除无关。