Kotlin学习手记--泛型、泛型约束、泛型型变、星投影、泛型擦除、内联特化

本文介绍了Java和Kotlin中的泛型特性,包括协变(covariant)、逆变(contra-variant)的概念,以及内联特化如何在运行时确定类型。还讨论了SelfType在通知构建器中的应用和基于泛型的Model注入示例,以及Android开发的学习资源推荐。
摘要由CSDN通过智能技术生成

例子:

interface Book

interface EduBook : Book

class BookStore {

fun getBook(): T {

TODO()

}

}

fun covariant(){

val eduBookStore: BookStore = BookStore()

val bookStore: BookStore = eduBookStore

val book: Book = bookStore.getBook() //书店只能获取普通的书

val eduBook : EduBook = eduBookStore.getBook() //教辅书店只能获取教辅书籍

}

子类获取子类,父类获取父类,能提供子类的自然可以提供父类。

逆变:

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

简而言之就是用in关键字修饰的泛型就是逆变,作为函数输入参数的泛型称为逆变点。逆变点主要是指输入的参数类型,是消费者。并且消费者的继承关系跟协变是相反的。

例子:

open class Waste

class DryWaste : Waste()

class Dustbin {

fun put(t: T) {

TODO()

}

}

fun contravariant(){

val dustbin: Dustbin = Dustbin()

val dryWasteDustbin: Dustbin = dustbin

val waste = Waste()

val dryWaste = DryWaste()

//普通垃圾桶可以放入任何垃圾

dustbin.put(waste)

dustbin.put(dryWaste)

//干垃圾桶只能放入干垃圾,不能放普通垃圾

// dryWasteDustbin.put(waste)

dryWasteDustbin.put(dryWaste)

}

在这里插入图片描述

星投影

在这里插入图片描述

在这里插入图片描述

星投影在所有逆变点的下限类型是Nothing, 因此不能用在属性或函数上

在这里插入图片描述

在这里插入图片描述

说白了只是一个描述符,可以简写泛型参数而已。

fun main() {

val queryMap: QueryMap<*, *> = QueryMap<String, Int>()

queryMap.getKey()

queryMap.getValue()

val f: Function<*, *> = Function<Number, Any>()

//f.invoke()

if (f is Function) {

(f as Function<Number, Any>).invoke(1, Any())

}

maxOf(1, 3)

HashMap<String, List<*>>()

//endregion

val hashMap: HashMap<*, *> = HashMap<String, Int>()

//hashMap.get()

}

class QueryMap<out K : CharSequence, out V : Any> {

fun getKey(): K = TODO()

fun getValue(): V = TODO()

}

fun <T : Comparable> maxOf(a: T, b: T): T {

return if (a > b) a else b

}

class Function<in P1, in P2> {

fun invoke(p1: P1, p2: P2) = Unit

}

在这里插入图片描述

泛型擦除(伪泛型)

在这里插入图片描述

在这里插入图片描述

Java与Kotlin实现机制一样,在运行时擦除真正的类型,C#则会真的生成一个类型去执行。

内联特化:

在这里插入图片描述

内联特化在调用的地方会替换到调用处,因此这时类型是确定的了,即已经特化成某个具体类型。通过fun前面的关键字 inline 和泛型参数T前面的 reified 参数两个来指定泛型参数在调用处实例化。

在这里插入图片描述

在这里插入图片描述

inline fun genericMethod(t: T){

//val t = T()

val ts = Array(3) { TODO() }

val jclass = T::class.java

val list = ArrayList()

if(list is List<*>){

println(list.joinToString())

}

}

class Person(val age: Int, val name: String)

inline fun Gson.fromJson(json: String): T = fromJson(json, T::class.java)

fun main() {

val gson = Gson()

val person2: Person = gson.fromJson(“”“{“age”:18,“name”:“Bennyhuo”}”“”)

val person3 = gson.fromJson(“”“{“age”:18,“name”:“Bennyhuo”}”“”)

}

实例:模仿的Self Type

typealias OnConfirm = () -> Unit

typealias OnCancel = () -> Unit

private val EmptyFunction = {}

open class Notification(

val title: String,

val content: String

)

class ConfirmNotification(

title: String,

content: String,

val onConfirm: OnConfirm,

val onCancel: OnCancel

) : Notification(title, content)

interface SelfType {

val self: Self

get() = this as Self //当前类型强转成Self类型

}

//泛型添加约束只能传子类

open class NotificationBuilder<Self: NotificationBuilder>: SelfType {

protected var title: String = “”

protected var content: String = “”

fun title(title: String): Self {

this.title = title

return self //返回接口的常量属性即可,运行时就是当前子类实际类型

}

fun content(content: String): Self {

this.content = content

return self

}

open fun build() = Notification(this.title, this.content)

}

class ConfirmNotificationBuilder : NotificationBuilder() {

private var onConfirm: OnConfirm = EmptyFunction

private var onCancel: OnCancel = EmptyFunction

fun onConfirm(onConfirm: OnConfirm): ConfirmNotificationBuilder {

this.onConfirm = onConfirm

return this

}

fun onCancel(onCancel: OnCancel): ConfirmNotificationBuilder {

this.onCancel = onCancel

return this

}

override fun build() = ConfirmNotification(title, content, onConfirm, onCancel)

}

fun main() {

ConfirmNotificationBuilder()

.title(“Hello”)

.onCancel {

println(“onCancel”)

}.content(“World”)

.onConfirm {

println(“onConfirmed”)

}

.build()

.onConfirm()

}

如果不定义SelfType类型,则子类在调用ConfirmNotificationBuilder().title(“Hello”)之后不能再继续调用子类的onCancel 方法,因为返回的是父类型,但是实际运行时这个类型是子类型。

实例: 基于泛型实现 Model 实例的注入

import java.util.concurrent.ConcurrentHashMap

import kotlin.reflect.KProperty

abstract class AbsModel {

init {

Models.run { this@AbsModel.register() }

}

}

自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。

深知大多数初中级Android工程师,想要提升技能,往往是自己摸索成长或者是报班学习,但对于培训机构动则近万的学费,着实压力不小。自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!

因此收集整理了一份《2024年Android移动开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。

img

img

img

img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Android开发知识点,真正体系化!

由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且会持续更新!

如果你觉得这些内容对你有帮助,可以扫码获取!!(备注:Android)

推荐学习资料


  • 脑图
    360°全方位性能调优

《互联网大厂面试真题解析、进阶开发核心学习笔记、全套讲解视频、实战项目源码讲义》点击传送门即可获取!

基本涵盖了95%以上Android开发知识点,真正体系化!**

由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且会持续更新!

如果你觉得这些内容对你有帮助,可以扫码获取!!(备注:Android)

推荐学习资料


  • 脑图
    [外链图片转存中…(img-WirwM7L6-1713389282868)]
    [外链图片转存中…(img-ckBzlcJA-1713389282868)]
    [外链图片转存中…(img-7Q91Hz0Q-1713389282869)]

《互联网大厂面试真题解析、进阶开发核心学习笔记、全套讲解视频、实战项目源码讲义》点击传送门即可获取!

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值