- 声明泛型函数
- 多类型参数
- 泛型约束
- 可空类型参数
使用泛型可以最大限度地重用代码，提高开发效率。泛型可以应用于函数声明、属性声明、泛型类 和 泛型接口。
一、声明泛型函数
先看下面几段代码：
// 代码一
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 isEquals(a: T, b: T): Boolean = a == b
使用这样的一段代码来替换上面的三段代码，是不是大大减少了代码量，也提高了代码的重用率。
在函数名 isEquals 前面添加
提示：泛型中的类型参数，可以是任何大写或小写的英文字母，一般情况下建议使用大写英文字母表示。
二、多类型参数
上面的例子中只有一种类型的泛型参数，当有多种类型的参数时，如何使用泛型参数呢？其实很简单，多定义几个泛型类型就可以了，多个泛型类型之间使用逗号 (,) 隔开，如下面示例：
fun doSomethings(a: T, b: R): Boolean = a == b
fun main(args: Array) {
doSomethings(4, "hello")
}
函数doSomethings定义了两种泛型类型 T 和 R，当在 main 函数中执行 doSomethings(4, "hello") 时，泛型 T 被动态的替换为 Int 类型，泛型 R 被动态的替换为 String 类型。
三、泛型约束
在示例fun 函数中是有一点问题的，并不是所有类型参数 T 都具有“可比性”，最好能够限定 T 的类型范围，比如都是继承接口 Comparable
声明类型参数时在 T 后面添加冒号 (:) 和限定类型就可以，这种表示方式称为“泛型约束”，泛型约束主要应用于泛型函数和泛型类的声明。如下示例：
fun > isEquals(a: T, b: T): Boolean = a == b
- 符合约束范围的使用：
fun main(args: Array) {
isEquals(4, 5)
isEquals("hello", "it`s me.")
}
- 不符合约束范围的使用
class Error(val a: Int, val b: String)
fun main(args: Array) {
val error1 = Error(1, "错误示例")
val error2 = Error(2, "错误示例")
isEquals(error1, error2) // 编译错误
}
正确的做法：
class Error(private val a: Int, val b: String): Comparable {
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) {
val error1 = Error(1, "错误示例")
val error2 = Error(2, "错误示例")
isEquals(error1, error2) // 编译错误
}
四、可空类型参数
在泛型函数声明中，类型参数没有泛型约束，则表示函数可以接受任何类型作为参数，包括可空和非空数据。如下面代码：
fun isEquals(a: T, b: T): Boolean = a == b
fun main(args: Array) {
isEquals(null, 6) // 可空类型
isEquals(5, 6) // 非空类型
}
如果不想接受空类型数据，可以采用 Any 作为约束条件，Any 表示任何非类型的数据。
fun isEqualsWithoutNull(a: T, b: T): Boolean = a == b
fun main(args: Array) {
isEqualsWithoutNull(5, 6)
// isEqualsWithoutNull(null, 6) // 编译错误，isEqualsWithoutNull不能接受null作为参数
}