【Kotlin精简】第7章 泛型

1 泛型

泛型即 “参数化类型”，将类型参数化，可以用在类，接口，函数上。与 Java 一样，Kotlin 也提供泛型，为类型安全提供保证，消除类型强转的烦恼。

1.1 泛型优点

1. 类型安全：通用允许仅保留单一类型的对象。泛型不允许存储其他对象。
2. 不需要类型转换：不需要对对象进行类型转换。
3. 编译时检查：在编译时检查泛型代码，以便在运行时避免任何问题。

1.2 泛型声明

1.2.1 泛型类

interface List<T> {
	fun get(index: Int): T
}
1
2
3

泛型参数可在类中当普通类型使用。

1.2.2 泛型函数

fun <T> lastElement(list: List<T>): T { ... }
1

在 fun 关键字后声明 泛型形参，可在参数和返回值处声明使用。高阶函数的例子：

fun <T> List<T>.filter(pridicate: (T) -> Boolean): List<T> { ... }
1

1.2.3 泛型属性

val <T> List<T>.last: T
      get() {
          return last()
      }
1
2
3
4

不管是泛型类、泛型函数还是泛型属性，在使用之前必然已经确定了类型。如泛型类在实例化时需要指定泛型类型，泛型函数在调用时必然已推导出泛型类型，并替换为确定的类型实参，泛型属性同理。

1.3 泛型约束

泛型（类型参数）是有边界的，可以给泛型设置边界：

interface NumberList<T: Number> {
        fun get(index: Int): T
}
1
2
3

不指定边界，则默认上边界为 Any?。如果希望非空，需要显示指定为 。

2 泛型擦除

和 Java 一样，Kotlin 中的类型参数也会在运行时被擦除，就是说泛型实例的类型实参在运行时是不保留的。不过 Kotlin 可以通过类型参数实化的方式保留类型信息，需要使用内联函数。

由于泛型擦除，下面的普通方法是无法编译的：

fun <T> isA(obj: Any): Boolean {
	return obj is T
}
1
2
3

通过内联，下面代码可以通过编译：

inline fun <reified T> isA(obj: Any): Boolean {
	return obj is T
}
1
2
3

注意带 reified 类型参数的内联函数不能在 Java 代码中使用，普通内联函数在 Java 中可以像常规函数一样调用，而 reified 的类型参数需要额外处理将类型实参替换到字节码，是永远需要内联的。
实化类型参数也是有限制的，具体可以做：

1. 类型转换和检查： 如 is 、as
2. 使用反射： T::class
3. 获取 java class： T::class.java
4. 作为调用其他函数类型的实参。

3 变型

变型描述的是具有相同基础类型和不同类型参数的泛型类型之间的关系。这种关系可以是 协变的 或 逆变的。

先说说不变型，一个泛型类如 MutableList ，对任意两种类型实参 A、B，MutableList 既不是 MutableList 的子类型也不是它的超类型，则称 该类在该类型参数上是不变型的。Java 中的泛型类对所有类型参数都是不变型的。比如 Java 中你不能把一个 List 实例传给形参是 List 的函数，即使 Integer 是 Number 的子类。

interface List<out T> {
	fun get(index: Int): T
}
1
2
3

fun addMore(list: List<Any>) {
	list.add("abc")
}
addMore(listOf(1, 2, 3))
1
2
3
4

public interface Comparable<in T> {
	public operator fun compareTo(other: T): Int
}
1
2
3

val list: MutableList<out Int> = MutableList()
list.add(1,2) //报错
1
2

public interface Stream<T> {
	 <R> Stream<R> map(Function<? super T, ? extends R> mapper);
}
1
2
3