关于android:Kotlin-泛型上

在 Kotlin 汇合的变换与聚合中咱们曾经将 Kotlin 的 汇合变换与聚合 讲完了，咱们都晓得汇合源码中用到了很多泛型的常识，所以咱们明天咱们来讲 Kotlin 的泛型。

比拟两个整型的大小 Kotlin 代码能够这样写：

val max = maxOf(1, 2)

maxOf() 的办法是这样的：

inline fun maxOf(a: Int, b: Int): Int

然而呢，下面的 maxOf() 办法只能比拟两个整型的大小，如果咱们要比拟任意类型 (比方 Double 等) 大小的办法要怎么办呢？所以泛型就是用来实现这种需要的，如下：

inline fun<T> maxOf(a: T, b: T): T

这下面的 T 是形参，当咱们要应用的应用的时候，须要传进去一个实参，如下：

val max: String = maxOf<String>("Hello", "World")

// 通过类型推到，下面的代码能够简写成这样
val max = maxOf("Hello", "World")

当一个泛型参数没有任何束缚时，它能够进行的操作和运算是十分无限的，因为不能对实参做任何类型上的保障，这时候就须要用到泛型的束缚。泛型的束缚是指泛型的实参必须满足肯定的标准，编译器在编译的过程中能够依据束缚来查看所有泛型类型的实参并确保其满足约束条件。

下面咱们讲了一个比拟任意类型大小的函数，如下：

fun<T> maxOf(a: T, b: T): T {
    // 编译报错
    return if(a > b) a else b
}

显然，下面的代码会报错，a 和 b 都是泛型，不能够用 > 号，这时候，咱们能够给泛型 T 加一个 Comparable 束缚，就能够实现 a > b，这时候 T 须要实现 Comparable 接口，代码如下所示：

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

// String 曾经实现类 Comparable 接口，所以能够间接用
val max = maxOf("Hello", "World")

在咱们理论开发中，有时会遇到一个泛型有多个约束条件的状况，比方两个数据既要比拟大小，还要执行大的数据类型的 invoke 办法，这时咱们就能够应用 Kotlin 为咱们提供的 where 关键字来进行多个条件的束缚，具体代码如下：

fun <T> callMax(a: T, b: T)
where T : Comparable<T>, T : () -> Unit {if (a > b) a() else b()
}

咱们有这样一个需要：比拟两个 T 类型的数据大小，并调用大 T 的 invoke 办法，并返回一个 R 类型的数据，这时就要应用多个泛型参数了，代码如下：

fun <T, R> callMax(a: T, b: T): R
where T : Comparable<T>, T : () -> R, R : Number {return if (a > b) a() else b()
}

多个泛型参数的例子咱们平时用的最多的就是 Map<K, V>。

泛型束缚的概念 Java 也有，写法是 T extends … 咱们来看一下：

public static <T extends Comparable<T>> T maxOf(T a, T b) {if (a.compareTo(b) > 0) 
        return a;
    else 
        return b;
}

源码已上传至 github，有须要能够间接下载。

一、前言