Kotlin的泛型约束

Posted 2023-02-09 wzj_what_why_how

简介：

• 泛型：即 “参数化类型”，将类型参数化，可以用在类，接口，方法上。
• Kotlin 通过 is 关键字来判断类型，并且编译器会自动帮你做类型转换。
  （关于泛型，不多整理赘述）

泛型约束 in out

• 我们可以使用泛型约束来设定一个给定参数允许使用的类型
• Kotlin 中使用 : 对泛型的类型上限进行约束。
• 最常见的约束是上界(upper bound)
• 型变:Kotlin 中没有通配符类型，它有两个其他的东西：声明处型变（declaration-site variance）与类型投影（type projections）。
• 声明处型变：声明处的类型变异使用协变注解修饰符：in、out，[逆变 消费者 in], [协变 生产者 out]。
• [out] :使得一个类型参数[协变]，协变类型参数只能用作[输出]，可以作为返回值类型但是无法作为入参的类型；
• 用途：对于 out 泛型，我们能够将使用[子类]泛型的对象[赋值给]使用[父类]泛型的对象。
  ([通俗理解]：子类协助父类发生改变。使得父类生产out出来的内容发生改变)
• 使用场景：如果你的类是将泛型作为内部方法的返回，那么可以用 out：

    interface Production<out T> 
        fun produce(): T
    

• [in] :使得一个类型参数[逆变]，逆变类型参数只能用作[输入]，可以作为入参的类型但是无法作为返回值的类型。
• 用途：对于 in 泛型，我们可以将使用[父类]泛型的对象[赋值给]使用[子类]泛型的对象。
  ([通俗理解]：逆子子类变向使用回父类的方法。使得子类输入了父类的相关信息)
• 使用场景：如果你的类是将泛型对象作为函数的参数，那么可以用 in：

  interface Consumer<in T> 
      fun consume(item: T)
  

• [Invariant(不变)]:如果既将泛型作为函数参数，又将泛型作为函数的输出，那就既不用 in 或 out。

interface ProductionConsumer<T> 
    fun produce(): T
    fun consume(item: T)

星号投射

• 指对泛型类型定义一个类型投射, 要求这个泛型类型的所有的实体实例, 都是这个投射的子类型。
• 其实就是*代指了所有类型，相当于Any?