## 一、泛型是啥？为啥需要它 - **问题：** 没有泛型之前，比如Java的`ArrayList`，它可以装任何`Object`。你放个`String`进去，取出来时编译器不知道它原来是`String`，你需要手动强转 (`(String) myList.get(0)`)。容易出错（运行时可能`ClassCastException`），代码也不优雅。 - **解决方案 - 泛型：** 在**定义**类、接口或方法时，用一个**占位符**（比如 ``, ``, ``）来表示类型。在使用时，再用**具体的类型**（比如 `String`, `Int`, `User`）替换这个占位符。 - **核心好处：** 1. **类型安全：** 编译器帮你检查放进去的东西和取出来使用的东西类型是否匹配，把运行时错误提前到编译时。 1. **代码重用：** 写一套逻辑（比如一个列表操作），就能适用于多种数据类型，不用为每种类型都重写一遍。 1. **代码清晰：** 一看 `List` 就知道里面全是字符串，代码意图更明确。 ## 二、基础用法 ### 1. 泛型类 / 接口 (定义贴了标签的盒子) - **语法：** `class ClassName { ... }` 或 `interface InterfaceName { ... }` - **例子：** 自己做个万能盒子 `Box` ``` // Kotlin class Box(var content: T) { // T 是类型参数，代表"某种类型" fun getContent(): T = content fun setContent(newContent: T) { content = newContent } } // 使用 (告诉编译器 T 现在是 String) val stringBox: Box = Box("Hello") // 只能放String val content: String = stringBox.getContent() // 取出来直接是String，不用强转！ val intBox: Box = Box(42) // 只能放Int val number: Int = intBox.getContent() // 取出来直接是Int ``` - **Android常见例子：** `LiveData`, `RecyclerView.Adapter`, `Repository` ### 2. 泛型函数 (定义能处理多种类型物品的操作) - **语法：** `fun functionName(param: T): T { ... }` (函数名前的 `` 声明类型参数) - **例子：** 一个打印任何类型内容的函数 ``` // Kotlin fun logItem(item: T) { // T 可以是任何类型 println("Item: $item") } logItem("Kotlin is cool!") // T 是 String logItem(3.14159) // T 是 Double logItem(User("Alice")) // T 是 User ``` - **Android常见例子：** `Gson().fromJson(jsonString, T::class.java)`, 很多工具类函数如 `listOf(...)`, `mapOf(...)` ### 3. 泛型约束 (给标签加限制，比如“只能放食物”) - **问题：** 有时候你的盒子或操作不是对**所有类型**都有效，比如只能处理“可比较”的东西。 - **解决方案：** 使用 `: `指定上界 (`upper bound`)。 ``` // Kotlin: 确保 T 实现了 Comparable 接口，这样才能比较 fun > max(a: T, b: T): T { // T 必须是 Comparable 或其子类型 return if (a > b) a else b } val bigger = max(10, 5) // Int 实现了 Comparable val longer = max("apple", "zebra") // String 实现了 Comparable // max(Box(1), Box(2)) // 错误！Box 没有实现 Comparable ``` - **多重约束 (Kotlin特有)：** 用 `where` 子句 ``` interface Eatable interface Drinkable fun consumeItem(item: T) where T : Eatable, T : Drinkable { item.eat() item.drink() } ``` - **Android常见例子：** 要求类型是 `Activity` 或 `Fragment` 的子类，或者要求实现某个特定接口（如 `Parcelable`）。 ## 三、Kotlin泛型的超能力 Java泛型有个大问题叫**类型擦除**：编译器在编译后会去掉泛型类型信息（`Box` 在运行时变成 `Box