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

創(chuàng)新互聯(lián)公司是一家集網(wǎng)站建設(shè),阜康企業(yè)網(wǎng)站建設(shè),阜康品牌網(wǎng)站建設(shè),網(wǎng)站定制,阜康網(wǎng)站建設(shè)報(bào)價(jià),網(wǎng)絡(luò)營(yíng)銷,網(wǎng)絡(luò)優(yōu)化,阜康網(wǎng)站推廣為一體的創(chuàng)新建站企業(yè)，幫助傳統(tǒng)企業(yè)提升企業(yè)形象加強(qiáng)企業(yè)競(jìng)爭(zhēng)力。可充分滿足這一群體相比中小企業(yè)更為豐富、高端、多元的互聯(lián)網(wǎng)需求。同時(shí)我們時(shí)刻保持專業(yè)、時(shí)尚、前沿，時(shí)刻以成就客戶成長(zhǎng)自我，堅(jiān)持不斷學(xué)習(xí)、思考、沉淀、凈化自己，讓我們?yōu)楦嗟钠髽I(yè)打造出實(shí)用型網(wǎng)站。

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

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

泛型（Generics）其實(shí)就是把類型參數(shù)化，真正的名字叫做 類型參數(shù)，它給強(qiáng)類型編程語(yǔ)言加入了更強(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ī)制無(wú)法使用形如 T.class 來(lái)獲取泛型的真實(shí)類型對(duì)象。但是在調(diào)用者看來(lái)，泛型卻是實(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 來(lái)標(biāo)記類型參數(shù)；需要傳入類型參數(shù)的類型作為形參時(shí)，使用 in。

這兩種關(guān)鍵字的命名的方向是不同的：Java 偏向于從原理的方向命名，而 Kotlin 的命名對(duì)于具體的使用場(chǎng)景更為直觀。在 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ù)的使用上來(lái)說(shuō)，Kotlin 和 Java 似乎沒(méi)有什么不同，而不同的地方在于 Kotlin 可以將這種定義作用在類型定義上，官方稱之為聲明點(diǎn)變型；與之相對(duì)應(yīng)的，像 Java 這種在方法參數(shù)上定義的被稱為使用點(diǎn)變型。

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

「*」投影

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

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

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

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

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

List<String> strs = new ArrayList<String>();
List<Object> objs = strs; // !!! 這里會(huì)導(dǎo)致一個(gè)問(wèn)題，在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í)，如果覺(jué)得文章不錯(cuò)，可以把它分享出去讓更多的人看到吧！

當(dāng)前名稱：Kotlin中泛型系統(tǒng)的示例分析
URL鏈接：http://jinyejixie.com/article12/ipiddc.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供關(guān)鍵詞優(yōu)化、網(wǎng)站建設(shè)、云服務(wù)器、網(wǎng)站維護(hù)、移動(dòng)網(wǎng)站建設(shè)、Google

廣告

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