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

本文介绍了Java和Kotlin中的泛型特性,包括逆变(contra-variant)的概念,如何在函数参数中应用,以及SelfType在类和接口中的使用。同时讨论了内联特化和模型注入在Android开发中的实践。最后提到与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() }

}

}

最后

总而言之,成功是留给准备好的人的。无论是参加什么面试,都要做好充足的准备,注意好面试的礼仪和穿着,向面试官表现出自己的热忱与真诚就好。即使最后没有过关,也要做好经验的总结,为下一次面试做好充足准备。

这里我为大家准备了一些我在面试后整理的面试专题资料,除了面试题,还总结出了互联网公司Android程序员面试涉及到的绝大部分面试题及答案,并整理做成了文档,以及系统的进阶学习视频资料分享给大家,希望能帮助到你面试前的复习,且找到一个好的工作,也节省大家在网上搜索资料的时间来学习。

毕竟不管遇到什么样的面试官,去面试首先最主要的就是自己的实力,只要实力够硬,技术够强,就不怕面试拿不到offer!

为什么某些人会一直比你优秀,是因为他本身就很优秀还一直在持续努力变得更优秀,而你是不是还在满足于现状内心在窃喜!希望读到这的您能点个小赞和关注下我,以后还会更新技术干货,谢谢您的支持!


《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》点击传送门,即可获取!
oid程序员面试涉及到的绝大部分面试题及答案,并整理做成了文档,以及系统的进阶学习视频资料分享给大家,希望能帮助到你面试前的复习,且找到一个好的工作,也节省大家在网上搜索资料的时间来学习。**

毕竟不管遇到什么样的面试官,去面试首先最主要的就是自己的实力,只要实力够硬,技术够强,就不怕面试拿不到offer!

[外链图片转存中…(img-cDwLs7f7-1714767052390)]

[外链图片转存中…(img-Ou11S0WI-1714767052391)]

为什么某些人会一直比你优秀,是因为他本身就很优秀还一直在持续努力变得更优秀,而你是不是还在满足于现状内心在窃喜!希望读到这的您能点个小赞和关注下我,以后还会更新技术干货,谢谢您的支持!

[外链图片转存中…(img-m58M7OKX-1714767052391)]
《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》点击传送门,即可获取!

  • 20
    点赞
  • 16
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值