1. 概述
在本篇教程中，我们将深入了解 Kotlin 中的类型别名（Type Alias）特性及其使用场景。同时，我们还会看看它在字节码层面的表现形式，帮助你更透彻地理解这一语法糖背后的机制。
2. 类型别名基础
✅ 在 Kotlin 中，我们可以使用 typealias 关键字为已有的类型创建一个新的名字。这并不是定义了一个新类型，而只是给现有类型起了一个更语义化的别名。
基本语法如下：
typealias <NewName> = <ExistingType>
使用场景一：增强类型语义
举个例子，假设我们要处理信用卡号，但底层其实就是一个 String。这时候可以这样做：
typealias CreditCard = String
fun linkCard(card: CreditCard) {
// omitted
}
这样做的好处是让调用者一眼就能明白这个参数代表的是“信用卡号”，而不是随便一个字符串。
使用方式也很简单：
val cc: CreditCard = "1234****"
linkCard(cc)
⚠️ 注意：虽然我们用了别名，但本质上它还是 String，所以你可以对它执行所有 String 的操作：
val other = cc.toUpperCase()
甚至可以直接传入原始类型：
linkCard("1234****") // ✅ 合法
使用场景二：简化函数类型
有时候函数类型写起来太长，也可以用别名简化：
class HttpRequest
class HttpResponse
typealias RequestHandler = (HttpRequest) -> HttpResponse
比起 (HttpRequest) -> HttpResponse，用 RequestHandler 明显更清晰、简洁。
使用场景三：泛型别名
Java 8 引入了函数式接口，Kotlin 中也可以通过别名简化泛型函数类型：
typealias Predicate<T> = (T) -> Boolean
使用场景四：缩短复杂类型名称
对于嵌套很深的泛型类型，别名简直是救星：
typealias Completed = CompletableFuture<Map<String, Pair<String, Int>>>
写起来舒服多了吧？谁也不想每次都敲那么长一串。
3. 字节码表现形式
❌ 重要提示：类型别名仅存在于源代码阶段，在编译后会被完全擦除。也就是说，运行时并不存在所谓的“别名类型”。
我们来验证一下。
先用 kotlinc 编译我们的 Kotlin 文件：
$ kotlinc TypeAlias.kt
然后查看生成的字节码（以 javap 为例）：
$ javap -c -p com.baeldung.alias.TypeAliasKt
Compiled from "TypeAlias.kt"
public final class com.baeldung.alias.TypeAliasKt {
public static final void linkCard(java.lang.String);
// truncated
}
可以看到，linkCard 方法的参数类型是 java.lang.String，而不是我们定义的 CreditCard。也就是说，Kotlin 编译器在编译期就把别名替换成了实际类型。
✅ 所以记住一句话：类型别名只是为了让开发者写得爽、读得爽，对 JVM 来说毫无感知。
4. 小结
在这篇文章中，我们一起学习了 Kotlin 中的类型别名：
- ✅ 它能提升代码可读性
- ✅ 能简化复杂类型签名
- ⚠️ 并不会引入新的运行时类型
- ❌ 不提供额外的类型安全检查
正如你所见，类型别名是一个非常实用的小工具，尤其适合在项目中统一命名风格、减少样板代码。
所有示例代码已上传至 GitHub：https://github.com/Baeldung/kotlin-tutorials/tree/master/core-kotlin-modules/core-kotlin-2