Kotlin中接口抽象类泛型out(协变)in(逆变)reified关键字的详解

Posted 路宇

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Kotlin中接口抽象类泛型out(协变)in(逆变)reified关键字的详解相关的知识,希望对你有一定的参考价值。

博主前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住也分享一下给大家
👉点击跳转到教程

一、Kotlin中接口的定义

  • Kotlin中接口定义
    Kotlin规定所有的接口属性和函数实现都要使用override关键字,接口中
    定义的函数并不需要open关键字修饰,它们默认就是open的。
/**
 * Kotlin中接口定义
 * Kotlin规定所有的接口属性和函数实现都要使用override关键字,接口中
 * 定义的函数并不需要open关键字修饰,它们默认就是open的。
 */
interface Movable 
    /**
     * 默认实现
     * 只要你愿意,你可以在接口里提供默认属性的getter方法和函数实现。
     */
    val maxSpeed: Int
        get() = (1..500).shuffled().last()
    var wheels: Int
    fun move(movable: Movable): String


class Car(_name: String, override var wheels: Int = 4) : Movable 
    override var maxSpeed: Int
        get() = super.maxSpeed
        set(max) 
        

    override fun move(movable: Movable): String 
        println("数据一下")
        return "数据一下"
    

二、抽象类

/**
 * 抽象类
 * 要定义一个抽象类,你需要在定义之前加上abstract关键字,除了具体的函数实现,
 * 抽象类也可以包含抽象函数(只有定义,没有函数实现)
 */
abstract class Gun(val range: Int) 
    abstract fun pullTrigger(): String
    protected fun doSomething() 
        println("doSomething")
    


class AK47(val price: Int) : Gun(range = 500) 
    override fun pullTrigger(): String 
        return "ce"
    

三、泛型详解

/**
 * 定义泛型类
 * 泛型类的构造函数可以接受任何类型。
 * MagicBox类指定的泛型参数由放在一对<>里的字母T表示,T是个代表item类型的占位图。
 * MagicBox类接受任何类型的item作为主构造函数值(item:T),并将item赋值给同样是T类型的
 * subject私有属性
 *
 * 泛型参数通常用字母T(代表type)表示,当然,想用其他字母,甚至是英文单词都是可以的。
 * 不过,其他支持泛型的语言都在用这个约定俗称的T,所以建议你继续用它,这样写出的代码别人更容易理解。
 *
 * 泛型类型约束
 * 如果要确保MagicBox里面只能装指定类型的物品,如Human类型,或其子类 这样定义<H : Human>
 */
class MagicBox<T : Human>(vararg item: T) 
    var available = false
    private var subject: Array<out T> = item

    /**
     * 泛型函数
     * 泛型参数也可用于函数
     * 定义一个函数用于获取元素,当且仅当MagicBox可用时,才能获取元素。
     */
    fun fetch(index: Int): T? 
        return subject[index].takeIf 
            available
        
    

    /**
     *
     * 多泛型参数
     * 泛型函数或泛型类也可以有多个泛型参数
     *
     * 把元素进行修改
     * 魔盒里面放的是男孩,取出来的时候,改成男人
     */
    fun <R> fetch(index: Int, subjectModFunction: (T) -> R): R? 
        return subjectModFunction(subject[index]).takeIf 
            available
        
    



open class Human(val age: Int)
class Boy(val name: String, age: Int) : Human(age)
class Dog(val weight: Int)
class Man(val name: String, age: Int) : Human(age)

fun main() 
    val magicBox = MagicBox(
        Boy("jack", 15),
        Boy("Jacky", 16),
        Boy("John", 26)
    )
    magicBox.available = true
    magicBox.fetch(1)?.run 
        println("you find $name")
    
    val man = magicBox.fetch(2) 
        Man(it.name, it.age + 10)
    

输出结果如下

you find Jacky

四、out协变和in逆变详解

/**
 * out 协变,如果泛型类只将泛型类型作为函数的返回(输出),那么使用out
 * 可以称之为生产类/接口,因为它主要用来生产(produce)指定的泛型对象。
 *
 * 子类泛型对象可以赋值给父类泛型对象,用out
 */
interface Production<out T> 
    fun product(): T


/**
 * in 逆变
 *in(逆变),如果泛型类只将泛型类型作为函数的入参(输入),那么使用in,可以称之为消费者类/接口,
 * 因为它主要用来消费(consumer)指定的泛型对象
 *
 *  父类泛型对象可以赋值给子类泛型对象,用in
 *
 */
interface Consumer<in T> 
    fun consumer(item: T)



/**
 * invariant(不变)
 * 如果泛型类既将泛型类型作为函数参数,又将泛型类型作为函数的输出,那么既不用out也不用in
 */
interface ProductionConsumer<T> 
    fun product(): T
    fun consume(item: T)


open class Food
open class FastFood : Food()
class Burger : FastFood()

/**
 * 食品商店
 */
class FoodStore : Production<Food> 
    override fun product(): Food 
        println("Product food.")
        return Food()
    


/**
 * 快餐商店
 */
class FastFoodStore : Production<FastFood> 
    override fun product(): FastFood 
        println("Product food.")
        return FastFood()
    


/**
 * 汉堡商店
 */
class BurgerStore : Production<Burger> 
    override fun product(): Burger 
        println("Product food.")
        return Burger()
    


fun main() 
    //赋值
    val production1: Production<Food> = FoodStore()
    val production2: Production<Food> = FastFoodStore()

五、reified关键字

/**
 * @Author: ly
 * @Date: 2023/2/1
 * @Description:
 */
class MagicBox<T : Human> 
    /**
     * 随机产生一个对象,如果不是指定类型的对象,
     * 就通过backup函数生成一个指定类型的对象
     */
//    fun <T> randomOrBackup(backup: () -> T): T 
//        val items = listOf(
//            Boy("Jack", 20),
//            Man("John", 35)
//        )
//        var random = items.shuffled().first()
//        return if (random is T) 
//            random
//         else 
//            backup()
//        
//    

    /**
     * reified关键字
     * 有时候,你可能想知道某个泛型参数具体是什么类型,reified关键字能够帮你
     * 检查泛型参数类型。Kotlin不允许对泛型类型T做类型检查,因为泛型参数类型会被类型擦除
     * 也就是说,T的类型信息在运行时是不可知的,Java也有这样的规则。
     * */
    inline fun <reified T> randomOrBackup(backup: () -> T): T 
        val items = listOf(
            Boy("Jack", 20),
            Man("John", 35)
        )
        val random = items.shuffled().first()
        return if (random is T) 
            println(random)
            random
         else 
            backup()
        
    


open class Human(val age: Int)
class Boy(val name: String, age: Int) : Human(age) 
    override fun toString(): String 
        return "Boy(name='$name',age=$age)"
    


class Man(val name: String, age: Int) : Human(age) 
    override fun toString(): String 
        return "Man(name='$name',age=$age)"
    


fun main() 
    val box1: MagicBox<Boy> = MagicBox()
    //由backup函数,推断出来T的类型
    val subject = box1.randomOrBackup 
        Boy("Jack", 19)
    
    println(subject)

输出结果

Boy(name='Jack',age=19)
另外一种可能输出的结果
Boy(name='Jack',age=20)
Boy(name='Jack',age=20)

以上是关于Kotlin中接口抽象类泛型out(协变)in(逆变)reified关键字的详解的主要内容,如果未能解决你的问题,请参考以下文章

Kotlin学习笔记——接口抽象类泛型扩展集合操作符与Java互操作性单例

Kotlin泛型总结 ★ ( 泛型类 | 泛型参数 | 泛型函数 | 多泛型参数 | 泛型类型约束 | 可变参数结合泛型 | out 协变 | in 逆变 | reified 检查泛型参数类型 )

c#中关于协变性和逆变性(又叫抗变)详解

协变和逆变

Kotlin 泛型中的 in 和 out

对比Java学Kotlin泛型