Kotlin泛型 (1)泛型函数

声明泛型函数

多类型参数

泛型约束

可空类型参数

使用泛型可以最大限度地重用代码，提高开发效率。泛型可以应用于函数声明、属性声明、泛型类和泛型接口。

一、声明泛型函数

先看下面几段代码：

// 代码一
fun isEqualsInt(a: Int, b: Int): Boolean = a == b

// 代码二
fun isEqualsDouble(a: Double, b: Double): Boolean = a == b

// 代码三
fun isEqualsString(a: String, b: String): Boolean = a == b

通过上面三段代码可以看出，除了函数名、参数类之外，函数的返回值，函数体内容都是一样，像这样的代码有必要写三份么？那么不这么写又能怎么办呢？这时我们应该考虑使用泛型函数来提高代码的重用率。

fun <T> isEquals(a: T, b: T): Boolean = a == b

使用这样的一段代码来替换上面的三段代码，是不是大大减少了代码量，也提高了代码的重用率。

在函数名 isEquals 前面添加 <T> 就是泛型函数了，<T> 是声明类型参数，T 是类型参数，函数中参数类型也被声明为 T，在调用函数时 T 会被实际的类型替换。

提示：泛型中的类型参数，可以是任何大写或小写的英文字母，一般情况下建议使用大写英文字母表示。

二、多类型参数

上面的例子中只有一种类型的泛型参数，当有多种类型的参数时，如何使用泛型参数呢？其实很简单，多定义几个泛型类型就可以了，多个泛型类型之间使用逗号 (,) 隔开，如下面示例：

fun <T, R> doSomethings(a: T, b: R): Boolean = a == b

fun main(args: Array<String>) {
    doSomethings(4, "hello")
}

函数doSomethings定义了两种泛型类型 T 和 R，当在 main 函数中执行 doSomethings(4, "hello") 时，泛型 T 被动态的替换为 Int 类型，泛型 R 被动态的替换为 String 类型。

三、泛型约束

在示例fun <T> isEquals(a: T, b: T): Boolean = a == b函数中是有一点问题的，并不是所有类型参数 T 都具有“可比性”，最好能够限定 T 的类型范围，比如都是继承接口 Comparable<T> 的类型，那么怎么限定 T 类型的范围？

声明类型参数时在 T 后面添加冒号 (:) 和限定类型就可以，这种表示方式称为“泛型约束”，泛型约束主要应用于泛型函数和泛型类的声明。如下示例：

fun <T : Comparable<T>> isEquals(a: T, b: T): Boolean = a == b

符合约束范围的使用：

fun main(args: Array<String>) {
    isEquals(4, 5)
    isEquals("hello", "it`s me.")
}

不符合约束范围的使用

class Error(val a: Int, val b: String)

fun main(args: Array<String>) {
    val error1 = Error(1, "错误示例")
    val error2 = Error(2, "错误示例")
    isEquals(error1, error2) // 编译错误
}

正确的做法：

class Error(private val a: Int, val b: String): Comparable<Error> {
    override fun compareTo(other: Error): Int {
        if (a == other.a)
            return 0;
        else if (a > other.a)
            return 1;
        else
            return -1;
    }
}

fun main(args: Array<String>) {
    val error1 = Error(1, "错误示例")
    val error2 = Error(2, "错误示例")
    isEquals(error1, error2) // 编译错误
}

四、可空类型参数

在泛型函数声明中，类型参数没有泛型约束，则表示函数可以接受任何类型作为参数，包括可空和非空数据。如下面代码：

fun <T> isEquals(a: T, b: T): Boolean = a == b

fun main(args: Array<String>) {
    isEquals(null, 6)   // 可空类型
    isEquals(5, 6)  // 非空类型
}

如果不想接受空类型数据，可以采用 Any 作为约束条件，Any 表示任何非类型的数据。

fun <T: Any> isEqualsWithoutNull(a: T, b: T): Boolean = a == b

fun main(args: Array<String>) {
    isEqualsWithoutNull(5, 6)
    // isEqualsWithoutNull(null, 6) // 编译错误，isEqualsWithoutNull不能接受null作为参数
}

Kotlin泛型 (1)泛型函数