Kotlin泛型

Kotlin泛型

同Java一样Kotlin也可以使用类型参数,但是有些许不同的地方。

  1. Java在类型系统里面提供了通配符,类似? extends E和? super E等等。而Kotlin引入了声明处型变(declaration-site variance)和类型投影(type projections)。
  2. 泛型是不能型变的,意味着List竟然不是List子类型,虽然这样认为是类型安全的。

    Kotlin解决了下面两个问题:

    1. 对于List,在从中读取数据项时,其实如果我们把她当作Object使用也是安全的,因为子类可以安全的当做父类使用。在向其中写入数据项时,就不能写入Object了,这样会引起类型安全问题。就是说泛型被读取(消费)时,泛型向上(in)逆变(有类型上界受限制)也是安全的。
    2. 对于List,在向其中写入数据项时,其实如果我们写入子类String也是安全的。但是在从中读取数据项时,就不能把Object当做String处理了,会有类型安全问题。就是说泛型被写入(生产)时,泛型向下(out)协变(有类型下界可拓展)也是安全的。

      Kotlin的改进-声明处型变

      Kotlin引入了in(逆变)和out(协变),函数定义fun function (p1:T)表示参数p1必须是类型T。

      函数定义fun function (p1:T,p2:U)表示参数p1

      注意:in和out只能用在Class和interface的泛型参数上,不能用在函数的泛型参数上。

      Java泛型协变

      通过泛型协变,在 Java 中有 ListList 的一个超类,List是List的一个子类

      1. kotlin泛型与java的对应关系,通配符的转换,super对应in表示限定到父类,extends对应out表示拓展到子类.

      kotlin泛型参数协变-out

      1. out协变只能用在类方法的返回值处,即只可以被生产(写入)不可以被消费(读取)。
      2. out表示拓展,使用子类。

      Kotlin泛型参数逆变-in

      1. in逆变只能用在类方法的参数处,即只可以被消费(读取)不可以被生产(写入)。
      2. in表示限制,使用超类。

      星投影*

      *号投影:指向某一种特定类型,但无法确认是哪一种。Any?指向任意类型,可以同时是多种类型。当遇到*投影时,编译器会自动认为类型协变为out Any?,因为没有任何类型信息时,读取Any?也绝对是安全的,但是写入是不安全的。*对应Java的?。

      对于类型不可知或者多个可能的泛型,安全的做法是定义泛型类型的这种投影:

      1. 函数定义fun f1,对于星投影函数f1 <*>等价于f1 等价于Java的,没有实际意义。

      2. 函数定义fun f1,对于星投影函数f1 <*>等价于f1 等价于Java的

      对照表

      Kotlin Java
      Any? Object
      Nothing(throw表达式的特殊返回类型,无值,标记不可达的代码位置)注:Nothing?有一个可能值null,Nothing?也是编译器null的默认推断类型
      Unit(函数无返回值时可以标记的类型) Void
      * ?
      写入时安全 out T ? extends T
      读取时安全 in T ? Super T
      out Any? ? extends Object
      无意义 in Any?=in ? super Object

      泛型约束

      同Java的extends和super一样,Kotlin也有类型的界限。

      对应Java的extends,Kotlin直接使用:继承的形式表示类型上界,未做界限声明时默认指定上界为Any?。甚至可以使用where表达式表示多个上界,实际等价于多实现(implement)。要求传递的类型实现所有where表达式类型。

      fun  copyWhenGreater(list: List, threshold: T): List
          where T : CharSequence,
                T : Comparable {
          return list.filter { it > threshold }.map { it.toString() }
      }
      

      kotlin类型参数的实化

      1. 在普通函数中泛型参数是不可以被实化的,无法在调用时引用参数的类型和获取泛型参数的Class对象。

      2. 在kotlin中内联函数的参数是可以实化的,这样的内联函数需要给实化的泛型参数标记为reified,原理是编译器会把每个内联函数生成的字节码插入到调用的地方,每次调用带实化类型参数的函数时,编译器是知道这次特定调用中用作类型参数的实际类型的,所以编译器可以生成引用特定参数实际类型类的字节码代替泛型参数。就不再受到泛型擦除的影响。

      3. 可实化的泛型参数可以在函数体内直接被引用,而不用借助参数传递。

      4. 实化类型的功能限制:

        1. 用在类型检查和类型转换中( is 、! is 、 as 、 as?)
        2. 使用 Kotlin 反射 API ,(:: class).
        3. 获取相应的 j ava . lang . Class (: : class . java)
        4. 作为调用其他函数的类型实参
      1. 实化类型不能实现下面的功能:·

        1. 创建指定为类型参数的类的实例
        2. 调用类型参数类的伴生对象的方法
        3. 调用带实化类型参数函数的时候使用非实化类型形参作为类型实参
        4. 把类、属性或者非内联函数的类型参数标记成 reified

      注:泛型只能解决编译期动态类型的问题,不能解决运行期动态类型的问题

      你可能感兴趣的:(Kotlin泛型)