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  Context.startActivity(
        vararg params: Pair) {
    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学习笔记——泛型及reified函数)