重塑泛型的世界：理解其本质，灵活应用，释放无限可能

2023-10-22 15:32:05

泛型的本质

泛型本质上是对类型参数化的一种机制，它允许我们在不指定具体类型的情况下编写代码。这使得我们可以编写可重用的代码，适用于各种类型的数据。

泛型类

泛型类是一种带有类型参数的类。这些类型参数指定类可以操作的数据类型。例如，以下是一个名为 List 的泛型类，它可以存储任何类型的元素：

class List<T> {
    private val elements = mutableListOf<T>()

    fun add(element: T) {
        elements.add(element)
    }

    fun get(index: Int): T {
        return elements[index]
    }

    fun size(): Int {
        return elements.size
    }
}

泛型函数

泛型函数是一种带有类型参数的函数。这些类型参数指定函数可以处理的数据类型。例如，以下是一个名为 max 的泛型函数，它返回两个元素中较大的一个：

fun <T : Comparable<T>> max(a: T, b: T): T {
    return if (a > b) a else b
}

泛型边界

泛型边界允许我们指定泛型类型参数的约束。例如，以下是一个名为 MyList 的泛型类，它只允许存储数字类型的数据：

class MyList<T : Number> {
    private val elements = mutableListOf<T>()

    fun add(element: T) {
        elements.add(element)
    }

    fun get(index: Int): T {
        return elements[index]
    }

    fun size(): Int {
        return elements.size
    }
}