kotlin学习笔记——泛型及reified函数

Kotlin学习笔记系列:http://blog.csdn.net/column/details/16696.html


kotlin中的泛型与java中的差不多
class TypedClass(param : T){
     ...
}

val s = TypedClass("hello")

kotlin中可以简化模板代码,编译器可以自动推断类型,如
val s = TypedClass("hello")

但如果接收一个null,编译器无法推断类型,仍然需要指定类型,如
val s = TypedClass(null)

我们可以给泛型添加限制,如:
class TypeClass(param : T){
     ...
}
这时限制为非null类型,上面接收null的代码就会报错了。

我们也可以限制为某种类型的子类,与java中类似,如
class TypedClass(param : T){
     ....
}
这样所有继承至Context的类可以使用,其他则不能。

泛型也可以使用在函数中,如
fun  do(param : T) List{
     ...
}




泛型的变体
在java中,使用泛型时会遇到一些问题,比如使用集合的时候,如
List list1 = Lists.newArrayList();
List list2  = list1就会报错,虽然List有更弱的限制,因为如果编译器允许这种行为,后面如果出现下面的代码就一定会程序崩溃。 
   
  
list2.add(5);
String s = list2.get(0);
但是在java中,我们可以使用addAll,如
List list2  = Lists.newArrayList();
list2.addAll(list1)这时因为addAll的函数接收的参数是“Collection items”,这里就用到了泛型的协变。 
   
  
为了解决类似的问题,为泛型增加了通配符,包括协变和逆变
协变(covariance)—— “? extends XXX” —— 表示限制为XXX及其子类
逆变(contravatiance)—— “? super XXX” —— 表示限制为XXX及其父类
这样就可以处理上面List的问题,如
List list2 = list1;
但是通配符都有它的限制,通配符定义的了使用场景变体(use-site variance),当我们使用它的时候都需要声明它。这表示我们每次声明一个泛型变量都需要增加模板代码。例如上面的代码就增加了一下额外的模板代码。

在kotlin中,我们可以使用内部声明变体(declaration-site variance)这种更简单的方式,来表示当我们定义一个类或接口时可以处理弱限制场景。
相比冗长的通配符,在kotlin中我们可以使用“out”来针对协变,使用“in”来针对逆变。如
class TypedClass{
     ...
}

val obj1 = TypedClass()
val obj2 : TypedClass = obj1
这段代码可以在kotlin中编译运行(最后一行实际上就相当于val obj2 : TypedClass = obj1)




下面我们再来说说reified函数,它与泛型密切相关
比如我们启动一个activity代码:
val intent = Intent(MainActivity@this, javaClass)
intent.putExtra(DetailActivity.ID, item.id)
intent.putExtra(DetailActivity.NAME, item.name)
startActivity(intent)

anko给我们提供了一个reified function,可以更简单的实现
startActivity(DetailActivity.ID to item.id, DetailActivity.NAME to item.name)

我们知道在java中使用泛型的时候,无法通过泛型来得到Class,一般我们会将Class通过参数传过去。
在kotlin中一个内联函数(inline)可以被具体化(reified),这意味着我们可以得到使用泛型类型的Class。
startActivity的源码如下:
public  inline  fun < reified  T : Activity> Context. startActivity(
        vararg  params : Pair< StringString>) {
    val  intent  = Intent( this, T ::class .javaClass)
    params forEach { intent .putExtra(it .first, it .second) }
    startActivity(intent)
}
可以看到使用T::class.javaClass就可以得到使用泛型类型的Class。
startActivity是Context的内联函数,所以要在Context类中才可以使用,在其他地方使用则需要使用with函数:
with(context){
     startActivity<...>(...)
}





你可能感兴趣的:(Kotlin,Kotlin学习笔记)