编辑“︁Kotlin类型擦除”︁（章节）

= Kotlin类型擦除 =

== 介绍 ==
'''类型擦除'''（Type Erasure）是Kotlin（以及Java）泛型实现中的一个重要概念。它指的是在编译时保留泛型类型信息，但在运行时将其擦除，仅保留原始类型（如`List`而不是`List<String>`）。这种机制是为了确保与旧版本Java的兼容性，同时提供泛型的安全性。

类型擦除的主要影响包括：
* 运行时无法直接获取泛型的类型参数（如无法检查`List<String>`的具体类型）。
* 某些操作（如类型检查或转换）需要特殊处理。

== 类型擦除的原理 ==
Kotlin的泛型在编译时会进行类型检查，但生成的字节码中泛型信息会被擦除。例如：

<syntaxhighlight lang="kotlin">
val list1: List<String> = listOf("a", "b")
val list2: List<Int> = listOf(1, 2)
</syntaxhighlight>

在运行时，`list1`和`list2`的实际类型都是`List`，而不是`List<String>`或`List<Int>`。

=== 类型擦除的示例 ===
以下代码展示了类型擦除的影响：

<syntaxhighlight lang="kotlin">
fun checkList(list: List<*>) {
    if (list is List<String>) { // 编译警告：无法检查擦除类型
        println("This is a List<String>")
    }
}
</syntaxhighlight>

编译器会提示：`Cannot check for instance of erased type: List<String>`。

== 绕过类型擦除的方法 ==
虽然类型擦除限制了运行时类型检查，但可以通过以下方式绕过：

=== 1. 使用内联函数与`reified`类型参数 ===
通过`inline`函数和`reified`关键字，可以在运行时保留类型信息：

<syntaxhighlight lang="kotlin">
inline fun <reified T> checkType(item: Any) {
    if (item is T) { // 可以检查具体类型
        println("Item is of type ${T::class.simpleName}")
    }
}

// 使用示例
checkType<String>("Hello") // 输出: "Item is of type String"
</syntaxhighlight>

=== 2. 存储类型信息 ===
可以显式存储类型信息：

<syntaxhighlight lang="kotlin">
class TypedList<T>(private val clazz: Class<T>, private val items: List<T>) {
    fun getType(): Class<T> = clazz
}

// 使用示例
val stringList = TypedList(String::class.java, listOf("a", "b"))
println(stringList.getType()) // 输出: class java.lang.String
</syntaxhighlight>

== 实际应用场景 ==

=== 1. JSON解析 ===
在解析JSON时，通常需要知道目标类型：

<syntaxhighlight lang="kotlin">
inline fun <reified T> parseJson(json: String): T {
    val type = object : TypeToken<T>() {}.type // 使用Gson等库
    return Gson().fromJson(json, type)
}

// 使用示例
val user = parseJson<User>("""{"name": "John"}""")
</syntaxhighlight>

=== 2. 依赖注入 ===
某些DI框架需要运行时类型信息：

<syntaxhighlight lang="kotlin">
inline fun <reified T> inject(): T {
    return serviceLocator.resolve(T::class.java)
}
</syntaxhighlight>

== 类型擦除的局限性 ==
类型擦除会导致以下限制：
* 无法创建泛型数组：`Array<T>`在Kotlin中是非法的
* 无法重载方法仅基于泛型类型参数

== 类型擦除与JVM ==
类型擦除是JVM的特性，Kotlin与之兼容。以下是JVM如何处理泛型的简化视图：

<mermaid>
flowchart LR
    A[Kotlin源代码 List<String>] --> B[编译时类型检查]
    B --> C[字节码 List]
    C --> D[运行时 List]
</mermaid>

== 数学表示 ==
类型擦除可以形式化表示为：

<math>
erase(List<T>) = List
</math>

<math>
erase(Map<K, V>) = Map
</math>

== 总结 ==
* 类型擦除是JVM泛型的实现机制
* 运行时无法直接获取泛型类型参数
* 可以通过`reified`和内联函数绕过部分限制
* 理解类型擦除对编写正确的泛型代码至关重要

对于初学者，建议先掌握基本泛型概念再深入研究类型擦除。高级用户可以利用`reified`等技术实现更灵活的泛型编程。

[[Category:编程语言]]
[[Category:Kotlin]]
[[Category:Kotlin高级主题]]