19、Kotlin 中的泛型与注解：提升代码类型安全性与可维护性

Kotlin 中的泛型与注解：提升代码类型安全性与可维护性

1. 泛型基础

泛型是一种允许我们为类型添加类型参数的语言特性。例如，我们有两个类，一个用于添加 Int 类型元素，另一个用于添加 String 类型元素：

class AdderInt {
    fun add(i: Int) {
        ...
    }
}
class AdderString {
    fun add(s: String) {
        ...
    }
}

这两个类除了 add 函数内部的具体操作外，结构非常相似。Kotlin 提供了泛型来解决这个问题：

class Adder<T> {
    fun add(toAdd: T) {
        ...
    }
}

这里的 T 是类型参数，也可以使用其他名称，常见的类型参数名有 T 、 R 、 S 、 U 、 A 或 B 。

1.1 泛型类的实例化

实例化泛型类时，编译器需要知道具体的类型。可以显式指定类型：