为何Kotlin无法展开自定义typealias？技术问题咨询

嘿，这个问题我之前也踩过坑，咱们来好好捋一捋～

首先，你遇到的错误Kotlin: Type alias expands to T, which is not a class, an interface, or an object，核心原因其实和typealias的设计定位有关，和类型擦除确实没直接关系，但不代表它就能随便定义。

先搞懂Type Alias到底是什么 #

Type alias本质是给已存在的具体类型起个“外号”，它只是编译期的语法糖——编译后会直接替换成原本的类型，不会生成新的类型。但这里的关键是：它的目标必须是一个合法的类型实体，也就是类、接口、对象，或者是这些类型的具体化泛型版本（比如List<String>）。

为什么直接用T不行？ #

你可能写了类似这样的代码：

typealias MyAlias<T> = T

这里的T是一个类型参数，它只是个“占位符”，不是一个实际存在的类/接口/对象。编译器看到这个的时候会懵：你到底要给哪个类型起别名？T可以是任何类型，它本身不是一个具体的类型实体，不符合typealias的要求。

正确的打开方式是什么？ #

如果想给泛型类型起别名，你得把目标指向一个具体的泛型类/接口，比如：

// 给ArrayList<T>起别名MyList<T>
typealias MyList<T> = ArrayList<T>

// 给带具体类型参数的泛型起别名
typealias StringList = List<String>

这样编译器明确知道你要别名的是哪个类型实体，就不会报错了。

再回到你的疑问：和类型擦除无关为啥报错？ #

类型擦除是JVM运行时的机制，而这个错误是编译期的检查。编译器要求typealias的目标必须是一个可识别的类型实体，不管运行时会不会擦除泛型信息，编译期得先确定你别名的是啥——单纯的类型参数T满足不了这个要求，所以就抛出了这个错误。

内容的提问来源于stack exchange，提问作者user1668903