- 聲明泛型函數(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ù)來(lái)提高代碼的重用率蜂林。
fun <T> isEquals(a: T, b: T): Boolean = a == b
??使用這樣的一段代碼來(lái)替換上面的三段代碼遥诉，是不是大大減少了代碼量拇泣，也提高了代碼的重用率。
??在函數(shù)名 isEquals 前面添加 <T> 就是泛型函數(shù)了矮锈，<T> 是聲明類型參數(shù)霉翔，T 是類型參數(shù)，函數(shù)中參數(shù)類型也被聲明為 T苞笨，在調(diào)用函數(shù)時(shí) T 會(huì)被實(shí)際的類型替換债朵。
??提示：泛型中的類型參數(shù)，可以是任何大寫或小寫的英文字母瀑凝，一般情況下建議使用大寫英文字母表示序芦。
二、多類型參數(shù)
??上面的例子中只有一種類型的泛型參數(shù)粤咪，當(dāng)有多種類型的參數(shù)時(shí)谚中，如何使用泛型參數(shù)呢？其實(shí)很簡(jiǎn)單射窒，多定義幾個(gè)泛型類型就可以了藏杖，多個(gè)泛型類型之間使用逗號(hào) (,) 隔開将塑，如下面示例：
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 被動(dòng)態(tài)的替換為 Int 類型点寥，泛型 R 被動(dòng)態(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 后面添加冒號(hào) (:) 和限定類型就可以，這種表示方式稱為“泛型約束”同廉，泛型約束主要應(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ù)
}
