Typealias — 是什么、语法及在 Kotlin 中的应用

什么是 typealias？

Typealias（类型别名）是一种引入现有类型替代名称的声明。语法：typealias 新名称 = 现有类型。声明后，新名称可以在任何需要现有类型的地方使用——编译器将它们视为同一类型。在字节码级别，typealias 不会留下痕迹：有关别名的所有信息在编译阶段都会被清除。

Typealias 的主要目标是提高代码可读性。与其使用冗长的签名 fun process(callback: (Result) -> Unit)，可以编写 typealias Callback = (Result) -> Unit 并将 Callback 用作参数类型。当同一个函数类型在代码中多处重复时，这尤其有用：别名作为单一定义点，并文档化了类型的用途。

Typealias 不会创建新类型——它只是一个同义词。Callback 类型和 (Result) -> Unit 类型的变量完全可互换。如果向期望 Callback 的函数直接传递 lambda，编译器不会报错。这使 typealias 与 inline class（value class）区分开来，后者创建一个带有编译期检查的新包装类型。Typealias 是重命名，而不是包装。

函数类型的 typealias

Kotlin 中最常见的 typealias 使用场景是函数类型。像 (Int, String) -> Boolean 或 (List) -> Result 这样的长签名使代码难以阅读。Typealias 将它们转换为简短有意义的名称，文档化函数的目的：typealias Validator = (String) -> Boolean 表明这是一个字符串验证器。

// 没有 typealias
fun findUsers(
    filter: (List<User>) -> List<User>
): List<User>

// 使用 typealias
typealias UserFilter = (List<User>) -> List<User>

fun findUsers(filter: UserFilter): List<User>

// 在类中使用
typealias OnClickListener = (View) -> Unit

class Button {
    var onClick: OnClickListener = {}
}

在示例中，typealias UserFilter 将复杂的函数类型 (List) -> List 隐藏在简短名称后面。findUsers 的签名变得可读：「接受 UserFilter，返回 List」。Typealias OnClickListener 使代码看起来像接口声明，但没有创建单独接口或抽象类的开销。Lambda 和匿名函数继续正常工作——typealias 不需要更改调用代码。

带泛型的 typealias

Typealias 支持泛型参数，使其更加灵活。可以定义 typealias Mapper = (T) -> R 并与任何类型一起使用。编译器在每次使用别名时将具体类型替换到参数位置，保持完全的类型安全。

// 泛型 typealias
typealias Mapper<T, R> = (T) -> R
typealias Provider<T> = () -> T
typealias ListTransformer<T> = (List<T>) -> List<T>

fun processNumbers(mapper: Mapper<Int, String>) {
    // mapper 类型是 (Int) -> String
}

fun main() {
    val config: Provider<String> = { "default config" }
    val reverse: ListTransformer<Int> = { it.reversed() }
}

在清单中，Mapper 是从 T 到 R 的任何转换的泛型别名。Provider——值提供者（无参工厂）。ListTransformer——列表转换函数。在调用 processNumbers(mapper: Mapper) 时，编译器将别名展开为 (Int) -> String。泛型使 typealias 成为通用工具，适用于任何上下文而无需重复声明。

嵌套类和长名称的 typealias

嵌套类和长参数化类型——这是 typealias 显著简化代码的另一个领域。如果类位于嵌套层次结构的深处（Outer.Inner.Nested），使用完整名称引用它会杂乱代码。Typealias 缩短了这种访问并使其更可读。这对于来自第三方库的长名称类尤其重要。

// 嵌套类的别名
class NetworkResponse {
    class Error(val code: Int, val message: String)
}
typealias NetworkError = NetworkResponse.Error

// 长库类型的别名
typealias UserId = Long
typealias JsonMap = Map<String, Any?>

fun process(error: NetworkError) {
    println("${error.code}: ${error.message}")
}

fun parseJson(data: JsonMap): UserId {
    return data["id"] as? Long ?: 0L
}

在示例中，NetworkError——嵌套类 NetworkResponse.Error 的别名。导入 typealias 时，NetworkError 可以像普通类型一样使用，无需暴露嵌套层次结构。JsonMap 文档化该映射表示 JSON 对象。UserId 在特定上下文中说明 Long 的用途——读者立即理解这是用户标识符，而不是任意数字。然而，typealias 不能防止将普通 Long 传递到需要 UserId 的地方——这需要 value class。

Typealias 与 inline class：区别

Typealias 和 inline class（value class）解决不同的任务，尽管两者都引入类型的新名称。Typealias 只是一个同义词：UserId = Long 类型的变量接受任何 Long 而不进行检查。Inline class 将值包装到一个新类型中，该类型在编译时进行检查：将普通 Long 传递到需要 inline class UserId 的地方是不可能的，除非进行显式转换。

表格显示了两种机制之间的区别。Typealias 适用于短名称和代码文档化，当不需要严格类型化时。通过关键字 value class（原 inline class）的 Inline class 在需要区分同一原始类型语义上不同值时是必要的。例如，UserId 和 OrderId 都是 Long，但将一个传递到期望另一个的位置是一个逻辑错误，value class 在编译阶段阻止这种情况。