- 聲明泛型函數(shù)
- 多類型參數(shù)
- 泛型約束
- 可空類型參數(shù)
??使用泛型可以最大限度地重用代碼，提高開發(fā)效率。泛型可以應(yīng)用于函數(shù)聲明、屬性聲明、泛型類 和 泛型接口。
一、聲明泛型函數(shù)
??先看下面幾段代碼：
// 代碼一
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
??通過上面三段代碼可以看出，除了函數(shù)名、參數(shù)類之外，函數(shù)的返回值，函數(shù)體內(nèi)容都是一樣，像這樣的代碼有必要寫三份么？那么不這么寫又能怎么辦呢？這時(shí)我們應(yīng)該考慮使用泛型函數(shù)來提高代碼的重用率。
fun <T> isEquals(a: T, b: T): Boolean = a == b
??使用這樣的一段代碼來替換上面的三段代碼，是不是大大減少了代碼量，也提高了代碼的重用率。
??在函數(shù)名 isEquals 前面添加 <T> 就是泛型函數(shù)了，<T> 是聲明類型參數(shù)，T 是類型參數(shù)，函數(shù)中參數(shù)類型也被聲明為 T，在調(diào)用函數(shù)時(shí) T 會被實(shí)際的類型替換。
??提示：泛型中的類型參數(shù)，可以是任何大寫或小寫的英文字母，一般情況下建議使用大寫英文字母表示。
二、多類型參數(shù)
??上面的例子中只有一種類型的泛型參數(shù)，當(dāng)有多種類型的參數(shù)時(shí)，如何使用泛型參數(shù)呢？其實(shí)很簡單，多定義幾個(gè)泛型類型就可以了，多個(gè)泛型類型之間使用逗號 (,) 隔開，如下面示例：
fun <T, R> doSomethings(a: T, b: R): Boolean = a == b
fun main(args: Array<String>) {
doSomethings(4, "hello")
}
??函數(shù)doSomethings定義了兩種泛型類型 T 和 R，當(dāng)在 main 函數(shù)中執(zhí)行 doSomethings(4, "hello") 時(shí)，泛型 T 被動態(tài)的替換為 Int 類型，泛型 R 被動態(tài)的替換為 String 類型。
三、泛型約束
??在示例fun <T> isEquals(a: T, b: T): Boolean = a == b函數(shù)中是有一點(diǎn)問題的，并不是所有類型參數(shù) T 都具有“可比性”，最好能夠限定 T 的類型范圍，比如都是繼承接口 Comparable<T> 的類型，那么怎么限定 T 類型的范圍？
??聲明類型參數(shù)時(shí)在 T 后面添加冒號 (:) 和限定類型就可以，這種表示方式稱為“泛型約束”，泛型約束主要應(yīng)用于泛型函數(shù)和泛型類的聲明。如下示例：
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, "錯(cuò)誤示例")
val error2 = Error(2, "錯(cuò)誤示例")
isEquals(error1, error2) // 編譯錯(cuò)誤
}
正確的做法：
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, "錯(cuò)誤示例")
val error2 = Error(2, "錯(cuò)誤示例")
isEquals(error1, error2) // 編譯錯(cuò)誤
}
四、可空類型參數(shù)
??在泛型函數(shù)聲明中，類型參數(shù)沒有泛型約束，則表示函數(shù)可以接受任何類型作為參數(shù)，包括可空和非空數(shù)據(jù)。如下面代碼：
fun <T> isEquals(a: T, b: T): Boolean = a == b
fun main(args: Array<String>) {
isEquals(null, 6) // 可空類型
isEquals(5, 6) // 非空類型
}
??如果不想接受空類型數(shù)據(jù)，可以采用 Any 作為約束條件，Any 表示任何非類型的數(shù)據(jù)。
fun <T: Any> isEqualsWithoutNull(a: T, b: T): Boolean = a == b
fun main(args: Array<String>) {
isEqualsWithoutNull(5, 6)
// isEqualsWithoutNull(null, 6) // 編譯錯(cuò)誤，isEqualsWithoutNull不能接受null作為參數(shù)
}
