Kotlin学习笔记之 10 泛型

首发于公众号: DSGtalk1989

10.Kotlin 泛型

• 泛型约束

  就是我们在java中看到的T extends User，意思就是谁接受的泛型只能是User或者User的子类，在kotlin中我们使用:来代替

  fun  List.sum():T{
        //...
    }
  

  这里直接将放行和拓展函数连在了一块儿。

  kotlin厉害的地方是提供了多个上界，比如说，我现在需要T既实现了接口A，也实现了接口B，我们无法直接通过T : A的方式来进行处理，可以使用where关键字

  fun  List.sum():T where T : A, T : B{
        //...
    }
  

  这个T需要同时实现A和B。

• 型变in和out

  我们先来了解java中的两个概念，协变和逆变。

  List aList和List bList，A extends B。我们可以bList.add(new A()) 但是我们无法aList.add(new B())，但是，bList不能addAll``aList，List不是List的子类，这个大家应该都能理解。

  有了这一层引导基础，我们结合泛型再来看一下。

  List list
  
  list.add(new A())  OK
  list.addAll(List)  not OK
  

  我们一般把? extends称之为协变。同样的我们也能去理解List，最低我们只能add B，只能往上不断的往里面扔B的父类，B的子类无法进入到这个list中。我们将? super称之为逆变。

  结合in和out，在kotlin中我们怎么去运用这两个操作符，并且跟协变和逆变结合起来。

  比较容易的记忆方法是，如果我们需要使用返回泛型的，那我们就使用out，如果我们需要将泛型放入方法中使用的，我们就是用in

  interface Production {
        fun produce(): T
    }
    
  interface Consumer {
        fun consume(item: T)
    }
  

  如果过程中我们既要使用返回泛型，又要使用泛型使用，我们就直接使用使用T即可，即既没有in也没有out，这应该是大部分时间会出现的场景。

  我们继续结合业务场景，进行针对协变逆变和in``out做更深度的解读。

  我们照着上面两个接口的条件，先写下如下代码：

  class Banana
  
  class BananaFactory : Production {
        override fun produce(): Banana {
            return Banana()
        }
    }
    
  var factory : Production = BananaFactory()
  

  香蕉工厂，产香蕉。直接单单这么看，不会有很深刻的印象。我们把banana换成有依赖关系的三种产品。

  //食物
  open class Food
  //快餐是食物的一种
  open class FastFood : Food()
  //汉堡是快餐的一种
  class Burger : FastFood()
  

  针对这三种产品，有三个相应的工厂

   class FoodFactory : Production {
        override fun produce(): Food {
            return Food()
        }
    }
    
    class FastFoodFactory : Production {
        override fun produce(): FastFood {
            return FastFood()
        }
    }
    
    class BurgerFactory : Production {
        override fun produce(): Burger {
            return Burger()
        }
    }
  

  然后我们针对三种工厂开始进行赋值，首先是显而易见肯定没问题的赋值。

   val production1 : Production = FoodFactory()
    val production2 : Production = FastFoodFactory()
    val production3 : Production = BurgerFactory() 
  

  然后我们尝试这种Food去接所有的品类工厂，发现并没有报错。

   val production1 : Production = FoodFactory()
    val production2 : Production = FastFoodFactory()
    val production3 : Production = BurgerFactory()
  

  我们再尝试着用Burger去接，发现除了最后一个可以接，上面的统统报错。

   val production1 : Production = FoodFactory()  //报错
    val production2 : Production = FastFoodFactory()   //报错
    val production3 : Production = BurgerFactory()
  

  即FoodFactory、FastFoodFactory、BurgerFactory三个工厂生产的都是Food，但是只有BurgerFactory生产的肯定是Burger，FastFoodFactory生产的可能还有别的快餐，FoodFactory生产的可能还有别的食物。

我们回头再来看Consumer的接口的三个实现。

//所有事物都吃
class FoodConsumer : Consumer {
      override fun consume(item: Food) {
      }
  }
  
  //所有快餐都吃
  class FastFoodConsumer : Consumer {
      override fun consume(item: FastFood) {
      }
  }
  
  //所有汉堡都吃
  class BurgerConsumer : Consumer {
      override fun consume(item: Burger) {
      }
  }

首先，各自对应生成自己的Consumer肯定是没有问题的，这里我们代码就不写了，我们直接看两个封顶首先是Food，发现一上来就编译出错了

 val consumer1 : Consumer = FoodConsumer()
  val consumer2 : Consumer = FastFoodConsumer()   //报错
  val consumer3 : Consumer = BurgerConsumer()   //报错

如何解释，所有食物都吃的人，肯定是吃Food的。所以第一个没问题。只吃快餐的人FastFoodConsumer，并不一定吃所有的Food，只吃汉堡的人BurgerConsumer就更不用说了。那么可想而知，反过来应该是都通过了。

 val consumer1 : Consumer = FoodConsumer()
  val consumer2 : Consumer = FastFoodConsumer()
  val consumer3 : Consumer = BurgerConsumer()

OK，至此，我们故事讲完了，开始强化理解。

• 我们在没加in和out之前，直接使用泛型T，效果和在java中的是一样一样的。

  即针对所有的跟T有继承关系的父类或者子类，都无法直接突破，即不变

• out表示子类泛型对象都可以赋值给父类泛型对象，大的包含小的，小的要到大的里面去是out，out只返回T，不消费T

• in表示父类泛型对象都可以赋值给子类泛型对象，大的包含小的，大的要进到小的里面去是in，in只消费T，不返回T

• in和out是kotlin所独有的，在java中，没有直接申明继承关系的情况下是无法直接进行泛型对象互相赋值的。

• Array直接用Array，即所有Food的子类都可以添加到这个数组中去，同时所有的Array都可以赋值给定义为Array的对象

• 星号投射

  kotlin中，我们用*代替所有的类型，相当于Any?。不用过多的去跟in、out、Nothing等等的做挂钩，只需要知道*基本就相当于java中的object，即可以代表任何的类型。

  举个例子：

  class A(val t: T, val t2 : T, val t3 : T)
  val a1: A<*> = A(12, "String", Apple("苹果"))
  

  在kotlin中，我们一般其实不会想要去申明对象的类型，而交给系统自己去判断，目前的用途还没有特别清楚，待之后补充。

---

Kotlin学习笔记之 1 基础语法

Kotlin学习笔记之 2 基本数据类型

Kotlin学习笔记之 3 条件控制

Kotlin学习笔记之 4 循环控制

Kotlin学习笔记之 5 类和对象

Kotlin学习笔记之 6 继承

Kotlin学习笔记之 7 接口

Kotlin学习笔记之 8 扩展

Kotlin学习笔记之 9 数据类与密封类

Kotlin学习笔记之 10 泛型

Kotlin学习笔记之 11 枚举类

Kotlin学习笔记之 12 对象表达式和对象声明

Kotlin学习笔记之 13 基础操作符run、with、let、also、apply

Kotlin学习笔记之 14 包与导入

Kotlin学习笔记之 15 伴生对象

Kotlin学习笔记之 16 委托

Kotlin学习笔记之 17 可观察属性

Kotlin学习笔记之 18 函数

Kotlin学习笔记之 19 高阶函数与 lambda 表达式

Kotlin学习笔记之 20 内联函数

Kotlin学习笔记之 21 解构声明

Kotlin学习笔记之 22 集合

Kotlin学习笔记之 23 相等判断

Kotlin学习笔记之 24 操作符重载

Kotlin学习笔记之 25 异常捕捉

Kotlin学习笔记之 26 反射

Kotlin学习笔记之 27 类型别名

Kotlin学习笔记之 28 协程基础

Kotlin学习笔记之 29 上下文与调度器

Kotlin学习笔记之 30 协程取消与超时

Kotlin学习笔记之 31 协程挂起函数的组合

Kotlin学习笔记之 32 协程异常处理

Kotlin学习笔记之 33 协程 & Retrofit