Kotlin中泛型系統(tǒng)的示例分析-創(chuàng)新互聯(lián)

這篇文章給大家分享的是有關(guān)Kotlin中泛型系統(tǒng)的示例分析的內(nèi)容。小編覺得挺實(shí)用的，因此分享給大家做個(gè)參考，一起跟隨小編過來看看吧。

10年的布爾津網(wǎng)站建設(shè)經(jīng)驗(yàn)，針對(duì)設(shè)計(jì)、前端、開發(fā)、售后、文案、推廣等六對(duì)一服務(wù)，響應(yīng)快，48小時(shí)及時(shí)工作處理。營銷型網(wǎng)站建設(shè)的優(yōu)勢是能夠根據(jù)用戶設(shè)備顯示端的尺寸不同，自動(dòng)調(diào)整布爾津建站的顯示方式，使網(wǎng)站能夠適用不同顯示終端，在瀏覽器中調(diào)整網(wǎng)站的寬度，無論在任何一種瀏覽器上瀏覽網(wǎng)站，都能展現(xiàn)優(yōu)雅布局與設(shè)計(jì)，從而大程度地提升瀏覽體驗(yàn)。成都創(chuàng)新互聯(lián)從事“布爾津網(wǎng)站設(shè)計(jì)”,“布爾津網(wǎng)站推廣”以來，每個(gè)客戶項(xiàng)目都認(rèn)真落實(shí)執(zhí)行。

Kotlin 的泛型與 Java 一樣，都是一種語法糖，只在源代碼里出現(xiàn)，編譯時(shí)會(huì)進(jìn)行簡單的字符串替換。

泛型是靜態(tài)類型語言中不可缺少的一部分，Kotlin 的泛型定義和使用都類似 Java，但也有一些基于工程實(shí)踐考慮的優(yōu)化和改進(jìn)。

泛型（Generics）其實(shí)就是把類型參數(shù)化，真正的名字叫做 類型參數(shù)，它給強(qiáng)類型編程語言加入了更強(qiáng)的靈活性。在 Java 中，只要是有類型的 API 元素，都可以泛型化，也就是泛型類、泛型接口、泛型方法和泛型屬性，泛型類和泛型接口可以統(tǒng)稱為泛型類型。其中最重要的是泛型類型和泛型方法，Kotlin 泛型系統(tǒng)繼承了 Java 泛型系統(tǒng)，同時(shí)添加了一些強(qiáng)化的地方。

實(shí)化泛型參數(shù)

在 Java 中經(jīng)常會(huì)定義這種方法：

<T> void someFunction(Class<T> clazz) {
 //...
}

這是因?yàn)?Java 的泛型擦除機(jī)制無法使用形如 T.class 來獲取泛型的真實(shí)類型對(duì)象。但是在調(diào)用者看來，泛型卻是實(shí)實(shí)在在的固定類型，所以這里借助 Kotlin 的內(nèi)聯(lián)函數(shù) inline 可以實(shí)化泛型參數(shù)，在 Kotlin 中只需要這樣：

fun <T> someFunction() {
 val clazz = T::class.java 
}

泛型的協(xié)變、逆變

在 Java 中，定義帶泛型的參數(shù)時(shí)為了更好的匹配目標(biāo)類型，有 ? extends Type 和 ? super Type 兩種形式，以 List 接口中的定義為例：

boolean addAll(Collection<? extends E> c);
void sort(Comparator<? super E> c);

addAll 方法中，Collection 中的泛型被定義成接收類型參數(shù) E 的子類，這是因?yàn)樾枰x取也就 c 的值，所以需要保證 c 是 Collection 的子類；而 sort 方法中，則是需要類中的類型參數(shù) E 能夠被 Comparator 中的方法傳入，所以也就需要保證 E 是 Comparator 類型參數(shù)的子類。

而 Kotlin 中，針對(duì)于這兩種情況給了另外兩個(gè)關(guān)鍵字：需要讀取帶泛型對(duì)象的值時(shí)，使用 out 來標(biāo)記類型參數(shù)；需要傳入類型參數(shù)的類型作為形參時(shí)，使用 in。

這兩種關(guān)鍵字的命名的方向是不同的：Java 偏向于從原理的方向命名，而 Kotlin 的命名對(duì)于具體的使用場景更為直觀。在 Kotlin 中，被 out 標(biāo)記類型參數(shù)的類型稱之為協(xié)變類型，它代表當(dāng) A 是 B 的子類時(shí)，C 也能作為 C 的子類使用；而被 in 標(biāo)記類型參數(shù)的類型則相反，它代表當(dāng) A 是 B的子類時(shí)，C 是 C 的子類。

從方法參數(shù)的使用上來說，Kotlin 和 Java 似乎沒有什么不同，而不同的地方在于 Kotlin 可以將這種定義作用在類型定義上，官方稱之為聲明點(diǎn)變型；與之相對(duì)應(yīng)的，像 Java 這種在方法參數(shù)上定義的被稱為使用點(diǎn)變型。

聲明點(diǎn)變型在類型的聲明時(shí)定義了該類型參數(shù)是用在入?yún)⑦€是出參上，之后在這個(gè)類中所有用到的地方都會(huì)直接調(diào)用該類型的定義名稱來使用該類型的協(xié)變或者逆變。而 Java 中需要在每次使用時(shí)來重復(fù)說明該處需要協(xié)變還是逆變。Kotlin 也可以進(jìn)行使用點(diǎn)變型，只要和 Java 一樣，在聲明處不進(jìn)行說明，而只在使用時(shí)聲明就可以了。

「*」投影

因?yàn)?Kotlin 源碼中不允許忽略泛型參數(shù)，所以在一些泛型不重要的地方，就不可避免的使用 來表示。當(dāng)使用 時(shí)，為了保證類型安全，官方建議的模式是將泛型定義為 的對(duì)象封裝起來，寫操作一般是安全的，因?yàn)?可以接收一切類型；對(duì)于讀操作可以進(jìn)行安全的轉(zhuǎn)換，對(duì)于不匹配的類型進(jìn)行統(tǒng)一處理。

泛型的注意點(diǎn)：

在java編程中類型系統(tǒng)最棘手的一部分是通配符類型。但是，在Kotlin編程中，是沒有通配符，采用聲明變化和類型投影來替代。

通配符的作用： 使用界限通配符增加API的靈活性。

在Java編程中一個(gè)常見的問題：

List<String> strs = new ArrayList<String>();
List<Object> objs = strs; // !!! 這里會(huì)導(dǎo)致一個(gè)問題，在Java中是禁止這樣做的
objs.add(1); //將integer類型的數(shù)據(jù)添加到String 類型的列表中
String s = strs.get(0); // !!! ClassCastException異常 : Integer類型不能轉(zhuǎn)成String

在Kotlin編程中：

一旦聲明類型后，不能加入其它的類型數(shù)據(jù)，如下圖所示。

感謝各位的閱讀！關(guān)于“Kotlin中泛型系統(tǒng)的示例分析”這篇文章就分享到這里了，希望以上內(nèi)容可以對(duì)大家有一定的幫助，讓大家可以學(xué)到更多知識(shí)，如果覺得文章不錯(cuò)，可以把它分享出去讓更多的人看到吧！

本文名稱：Kotlin中泛型系統(tǒng)的示例分析-創(chuàng)新互聯(lián)
當(dāng)前網(wǎng)址：http://muchs.cn/article22/dsigjc.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供標(biāo)簽優(yōu)化、網(wǎng)站排名、用戶體驗(yàn)、網(wǎng)站制作、小程序開發(fā)、品牌網(wǎng)站設(shè)計(jì)

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場，如需處理請聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來源： 創(chuàng)新互聯(lián)