Kotlin修炼指南之泛型详解，扫除语法迷雾

2023-10-11 10:30:13

Kotlin作为一门现代编程语言，继承了Java的泛型特性，并在此基础上进行了扩展，使其更加灵活和强大。对于Kotlin开发者来说，深入理解泛型语法至关重要。

Java泛型的回顾

Java泛型是一种参数化的类型系统，允许开发者使用类型参数来创建可操作不同数据类型的类、接口和方法。泛型使用尖括号<>来指定类型参数，例如：

public class MyList<T> {
    // ...
}

这个示例中的MyList类是一个泛型类，它接受类型参数T。这允许它存储和操作任何类型的数据。

Kotlin泛型的扩展

Kotlin泛型对Java泛型进行了扩展，引入了新的in、out和*：

in： 表示类型参数只能用于输入，例如从方法参数中读取数据。
out： 表示类型参数只能用于输出，例如返回方法的结果。
*：表示星投影，表示类型参数可以用于输入和输出。

Kotlin泛型的使用

Kotlin泛型在代码中无处不在，以下是一些常见的用法：

泛型函数： 可以操作不同数据类型的函数，例如：

fun <T> sum(list: List<T>): T {
    // ...
}

泛型类： 可以存储和操作不同数据类型的类，例如：

class MyList<T> {
    // ...
}

协变和逆变： 泛型类型参数可以声明为协变（in）或逆变（out），这允许它们在继承和实现中以更灵活的方式使用。

Kotlin泛型实战

让我们通过一个实际示例来说明Kotlin泛型：

// 协变List
interface ReadableList<out T> {
    fun get(index: Int): T
}

class MyReadableList<T> : ReadableList<T> {
    // ...
}

// 逆变Comparator
interface Comparator<in T> {
    fun compare(a: T, b: T): Int
}

class MyComparator : Comparator<Number> {
    // ...
}