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  isEquals(a: T, b: T): Boolean = a == b

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

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

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

二、多类型参数

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

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

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

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

三、泛型约束

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

  声明类型参数时在 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作为参数
}

你可能感兴趣的:(Kotlin泛型 (1)泛型函数)