在Java中泛型早就被用烂了,Kotlin中的泛型和Java的有一样的也有不一样的地方,准确来讲,我们需要给任何一个变量指定一个具体的类型,而泛型允许我们在不指定具体类型的情况下进行编程,这样编写出来的代码将会有更好的扩展性。
在Kotlin中我们定义一个泛型类:
class MyClass<T> {
fun method(param: T): T {
return param
}
}
MyClass就是一个泛型类,但如果我们不想定义一个泛型类,只想用一个泛型方法呢?
class MyClass {
fun <T> method(param: T): T {
return param
}
}
我们这么调用:
val myClass = MyClass()
val result = myClass.method<Int>(123)
这就表示,我们在调用method方法的时候指定泛型类型了,由于Kotlin有出色的类型推导机制,我们也可以省略泛型的指定:
val myClass = MyClass()
val result = myClass.method(123)
另外,我们还可以对泛型进行约束比如我只想让传进来的这个参数是Number类型的:
class MyClass {
fun <T :Number> method(param: T): T {
return param
}
}
这样的话,传进来的参数就只能是Number类型了,当然你也可以定义其他的类型。
另外,在默认情况下,所有的泛型都可以指定成可空类型的,因为再不手动指定上界的时候,泛型的上界默认是Any?。而如果想要让泛型的类型不可为空,只需要将泛型的上界手动指定成Any就可了。
那么现在,我们再来实现一次Kotlin的apply函数,就一眼可以看明白了:
fun <T> T.myApply(block: T.() -> Unit): T {
block()
return this
}
这样,myApply函数和Kotlin的apply函数就是一毛一样的了。
- 泛型实化
在JDK1.5之前,Java是没有泛型功能的,那个时候List可以存储任意类型的数据,然后每次取数据的时候都要进行一次向下转型,想想就可怕啊。在1.5之后加入了泛型,但实际上Java的泛型是通过类型擦除机制实现的,也就是说,泛型对于类型的约束只存在于编译期,在运行时的时候仍然会按照JDK1.5之前的机制来运行,JVM识别不出来我们对泛型做的约束的,比如:
我们用代码创建了一个List 虽然在编译期我们只能往这个list里面添加字符串,但是在运行时JVM并不知道它本来只打算包含某种类型的元素的,只能是被出它是个List。
所有基于JVM的语言的泛型功能都是通过泛型擦除机制来实现的,然而,Kotlin提供了内联函数,内联函数中的代码在编译的时候会自动被替换到调用它的地方,这样也就不存在泛型擦除了,这就意味着:泛型可以实化!!
泛型实化代表我们能拿到泛型的具体类型了,写个获取泛型具体类型的例子:
泛型实化需要两个条件:一、该函数必须是内联函数。二、必须用关键字reified:
可以看到,我们是拿到了泛型的具体类型了的。
通过泛型实化,我们可以写个Demo以一种优雅的方式来启动Activity:
inline fun <reified T> myStartActivity(context: Context) {
val intent = Intent(context, T::class.java)
context.startActivity(intent)
}
这样我们就可以这么启动Activity了:
myStartActivity<MainActivity>(this)
但其实这是有问题的,因为不能携带参数,没关系,给它一个函数让它自己去携带就好了,这就用上了高阶函数:
inline fun <reified T> myStartActivity(context: Context, block: Intent.() -> Unit) {
val intent = Intent(context, T::class.java)
intent.block()
context.startActivity(intent)
}
可以看到,这里加了一个函数类型参数,并且用Intent.()的方式把它添加到Intent类当中了,那就可以直接用intent.block来调用了,现在我们想携带参数的时候可以这么写:
myStartActivity<MainActivity>(this) {
putExtra("param1", "123")
putExtra("param2", 123)
}
这种方式我是觉得真的狠优雅啊
- 类委托和委托属性
委托:操作对象自己不会去处理某段逻辑,而是会把工作委托给另外一个辅助对象去处理,而是会把工作委托给另外一个辅助对象去处理。
Kotlin中委托使用的关键字是by,委托分类委托和属性委托,重点来学一下属性委托。
class MyClass{
var p by Delegate()
}
这就是把P属性的具体实现委托给了Delegate,当调用p属性的时候会自动调用Delegate的getValue方法,当给p属性赋值的时候会自动调用Delegate类的setValue方法。
那还的对Delegate进行具体的实现:
class Delegate {
var propValue: Any? = null
operator fun getValue(myClass: MyClass, prop: KProperty<*>): Any? {
return propValue
}
operator fun setValue(myClass: MyClass, prop: KProperty<*>, value: Any?) {
propValue = value
}
}
这是标准的代码实现模板,在Delegate类中我们必须实现getValue和setValue这两个方法,并且都要使用operator关键字进行声明。
getValue方法要接收两个参数:第一个参数用于声明该Delegate类的委托功能可以在什么类中使用,这里写成MyClass表示仅可以在MyClass类中使用;第二个参数KProperty<>是Kotlin中的一个属性操作类,可用于获取各种属性相关的值,在当前场景下用不着,但是必须在方法参数上进行声明,另外,<>这种泛型的写法表示你不知道或者不关心泛型的具体类型,只是为了通过语法编译而已,有点类似于Java<?>的写法,至于返回值可以生命诚任何类型,根据具体的实现逻辑去写就行了。