理解Kotlin泛型

文章目录

泛型类 & 泛型方法

泛型，指的是具体的类型泛化，多用在集合中（如List、Map），编码时使用符号代替，在使用时再确定具体类型。

泛型通常用于类和方法中，称为泛型类、泛型方法，使用示例：

/**
 * 泛型类
 */
abstract class BaseBook<T> {
    private var books: ArrayList<T> = ArrayList()

    /**
     * 泛型方法
     */
    fun <E : T> add(item: E) {
        books.add(item)
        println("list:$books, size:${books.size}")
    }
}

/**
 * 子类继承BaseBook并传入泛型参数MathBook
 */
class BookImpl : BaseBook<MathBook>()

fun main() {
    BookImpl().apply {
        add(MathBook("数学"))
    }
}

执行main()方法，输出：

list:[MathBook(math=数学)], size: 1

Java泛型通配符

? extends E 定义上界

Java中的泛型是不型变的，举个例子：Integer是Object的子类，但是List<Integer>并不是List<Object>的子类，因为List是不型变的。如：

如果想让List<Integer>成为List<Object>的子类，可以通过上界操作符 ? extends E 来操作。

? extends E 表示此方法接受 E 或者 E 的一些子类型对象的集合，而不只是 E 自身。extends操作符可以限定上界通配符类型，使得通配符类型是协变的。注意，经过协变之后，数据是可读不可写的。示例：

//继承关系Child -> Parent 
class Parent{
    protected String name = "Parent";
}

class Child extends Parent {
    protected String name = "Child";
}

定义实体类，继承关系：Child -> Parent

class CList<E> {
    //通过<? extends E>来定义上界
    public void addAll(List<? extends E> list) {
        //...
    }
}

/**
 * <? extends E>来定义上界，可以保证协变性
 */
 public void GExtends() {
    //1、Child是Parent的子类
    Parent parent = new Child();

    //2、协变，泛型参数是Parent
    CList<Parent> objs = new CList<>();
    List<Child> strs = new ArrayList<>(); //声明字符串List
    strs.add(new Child());
    objs.addAll(strs); //addAll()方法中的入参必须为List<? extends E>，从而保证了List<Child>是List<Parent>的子类。
}

addAll()方法中的入参必须为List<? extends E>，从而保证了List<Child>是List<Parent>的子类。如果addAll()中的入参改为List<E>，则编译器会直接报错，因为List<Child>并不是List<Parent>的子类，如下：

? super E 定义下界

? super E 可以看作一个E或者E的父类的“未知类型”，这里的父类包括直接和间接父类。super定义泛型的下界，使得通配符类型是逆变的。经过逆变之后，数据是可写不可读的，如: List<? super Child> 是 List<Parent> 的一个超类。示例：

class CList<E> {
    //通过<? super E>来定义下界
    public void popAll(List<? super E> dest) {
        //...
    }

 /**
  * 逆变性
  */
 public void GSuper(){
     CList<Child> objs = new CList<>();
     List<Parent> parents = new ArrayList<>(); //声明字符串List
     parents.add(new Parent());
     objs.popAll(parents); //逆变
 }

可以看到popAll()的入参必须声明为List<? super E>，如果改为List<E>，编译器会直接报错：

Kotlin泛型

和 Java 一样，Kolin 泛型本身也是不能型变的。

使用关键字 out 来支持协变，等同于 Java 中的上界通配符 ? extends T。
使用关键字 in 来支持逆变，等同于 Java 中的下界通配符 ? super T。

声明处型变

协变< out T>

interface GenericsP<T> {
    fun get(): T  //读取并返回T，可以认为只能读取T的对象是生产者
}

如上声明了GenericsP< T>接口，如果其内部只能读取并返回T，可以认为GenericsP实例对象为生产者（返回T）。

open class Book(val name: String)
data class EnglishBook(val english: String) : Book(english)
data class MathBook(val math: String) : Book(math)

已知EnglishBook、MathBook为Book的子类，但是如果将Book、EnglishBook当成泛型放入GenericsP，他们之间的关系还成立吗？即：

error信息
可以看到编译器直接报错，因为虽然EnglishBook是Book的子类，但是GenericsP<EnglishBook>并不是GenericsP<Book>的子类，如果想让这个关系也成立，Kotlin提供了out修饰符，out修饰符能够确保：

1、T只能用于函数返回中，不能用于参数输入中;
2、GenericsP< EnglishBook>可以安全的作为GenericsP< Book>的子类

示例如下：

interface GenericsP<out T> {
    fun get(): T  //读取并返回T，可以认为只能读取T的对象是生产者
    // fun put(item: T) //错误，不允许在输入参数中使用
}

经过如上的改动后，可以看到GenericsP<EnglishBook>可以正确赋值给GenericsP<Book>了：

逆变< in T>

interface GenericsC<T> {
   fun put(item: T) //写入T，可以认为只能写入T的对象是消费者
}

如上声明了GenericsC<T>接口，如果其内部只能写入T，可以认为GenericsC实例对象为消费者（消费T）。为了保证T只能出现在参数输入位置，而不能出现在函数返回位置上，Kotlin可以使用in进行控制：

interface GenericsC<in T> {
    fun put(item: T) //写入T，可以认为只能写入T的对象是消费者
    //fun get(): T  //错误，不允许在返回中使用
}

继续编写如下函数：

    /**
     * 称为GenericsC在Book上是逆变的。
     * 跟系统源码中的Comparable类似
     */
    private fun consume(to: GenericsC<Book>) {
        //GenericsC<Book>实例赋值给了GenericsC<EnglishBook>
        val target: GenericsC<EnglishBook> = to
        target.put(EnglishBook("英语"))
    }

可以看到GenericsC中的泛型参数声明为in后，GenericsC<Book>实例可以直接赋值给了GenericsC<EnglishBook>，称为GenericsC在Book上是逆变的。在系统源码中我们经常使用的一个例子就是Comparable:

//Comparable.kt
public interface Comparable<in T> {
    public operator fun compareTo(other: T): Int
}

使用处型变(类型投影)

上一节中in、out都是写在类的声明处，从而控制泛型参数的使用场景，但是如果泛型参数既可能出现在函数入参中，又可能出现在函数返回中，典型的类就是Array:

class Array<T>(val size: Int) {
    fun get(index: Int): T { …… }
    fun set(index: Int, value: T) { …… }
}

这时候就不能在声明处做任何协变/逆变的操作了，如下函数中使用Array：

 fun copy(from: Array<Any>, to: Array<Any>) {
     if (from.size != to.size) return
     for (i in from.indices)
         to[i] = from[i]
 }

调用方：

val strs: Array<String> = arrayOf("1", "2")
val any = Array<Any>(2) {}
copy(strs, any) //编译器报错 strs其类型为 Array<String> 但此处期望 Array<Any>

错误原因就是因为Array<String>并不是Array<Any>的子类，即不是协变的，这里是为了保证数据的安全性。如果可以保证Array< String>传入copy()函数之后不能被写入，那么就保证了安全性，既然我们在声明Array时不能限制泛型参数，那么完全可以在使用处进行限制，如下：

 fun copy(from: Array<out Any>, to: Array<Any>) {
     if (from.size != to.size) return
     for (i in from.indices)
         to[i] = from[i]
 }

可以看到对from添加了out限制，这种被称为使用处型变。即不允许from进行写入操作，那么就可以保证了from的安全性，再进行上面的调用时，copy(strs, any)就可以正确的执行了。

星投影< *>

当不使用协变、逆变时，某些场景下可以使用<*>来实现泛型，如：

对于GenericsP<out T: Book>，GenericsP< *>相当于GenericsP<out Book>，当T未知时，可以安全的从GenericsP<*>中读取Book值；
对于GenericsC<in T>，GenericsC<*>相当于 GenericsC<in Nothing>，当T未知时，没有安全方式写入GenericsC<*>；
对于Generics<T: Book>，T为有上界Book的不型变参数，当Generics<*>读取时等价于Generics<out Book>；写入时等价于Generics<in Nothing>。

泛型擦除

泛型参数会在编译期间存在，在运行期间会被擦除，例如：Generics<EnglishBook> 与 Generics<MathBook> 的实例都会被擦除为 Generics<*>。运行时期检测一个泛型类型的实例无法通过is关键字进行判断，另外运行期间具体的泛型类型判断也无法判断，如： books as List<Book>，只会对非泛型部分进行检测，形如：books as List<*>。

如果想具体化泛型参数，可以通过inline + reified的方式：

 /**
  * inline + reified 使得类型参数被实化  reified:实体化的
  * 注：带reified类型参数的内联函数，Java是无法直接调用的
  */
 inline fun <reified T> isAny(value: Any): Boolean {
     return value is T
 }

参考

【1】https://www.kotlincn.net/docs/reference/generics.html
【2】https://mp.weixin.qq.com/s/vSwx7fgROJcrQwEOW7Ws8A
【3】https://juejin.cn/post/7042606952311947278