终于到这一块了。对刚从我没有c++基础的人来说,这两部分是比较难懂的,下文参照的文档也比较多,这里只说出自己的理解,如果有误请客位看官指出。
高阶函数
将一个函数当做参数或者返回的函数成为高阶函数。
fun<T> lock(body: ()->T): T{
val lock = Any()
synchronized(lock){
return body()
}
}
lock
参数中body: ()->T
表示这里需要一个参数,()->T
说明body函数是无参函数,并且它返回了T类型。高阶函数的使用和普通函数是类似的:
fun highFunc() = test()
lock(::highFunc)
同时kotlin也支持lambda表达式实现高阶函数的调用,如下
lock({test()})
lambda表达式的用法在下文①中,这里先不做介绍。
lambda表达式
有时候在某些地方传参时,我们希望这个参数是一个函数,但又不想再声明出来(比如,这个函数只用在一个位置,我们没必要单独写一个函数出来),这时候就应该使用lambda表达式了
他的完整语法为:
val name: (Type, Type...) -> Type ={param1,param2... -> body}
- 它总是被大括号括着
- 其参数在 -> 之前声明
- 函数体在 -> 之后声明
首先来看这么一个函数
fun <T> max(collection: Collection<T>, less: (T, T) -> Boolean): T? {
var max: T? = null
for (it in collection)
if (max == null || less(max, it))
max = it
return max
}
通过上面的描述我们知道max需要两个参数,分别是:一个Collection<T>
,一个满足x(T,T): Boolean
的函数
var coll: Collection<String> = listOf("abc","defg","higkl")
max(coll, { a, b -> a.length < b.length })
//后面的参数是一个lambda,它的函数体是fun function(a:String,b:String){return a.length < b.length}
如果我们没有指明lambda的返回类型,则编译器或根据函数体的最后一句的返回值设置为lambda的返回类型,这里就设置为了Boolean
lambda表达式的使用
上文中①出也就是一个很普通的lambda表达式。
- lambda是唯一的参数,可以省略()
因为①中的lock()
函数的唯一参数是lambda表达式,所以我们可以省略lock
的括号:
lock{test()}
- 如果函数的最后一个参数是一个函数,并且传递了一个lambda表达式作为相应的参数,就可以在圆括号之外指定它
因为lock
的最后一个参数符合这个规则,所以我们也可以把上面的调用写为
lock{
test()
}
有时候我们会遇到例如
lock{
test1()
test2()
}
这样的函数,目前我没看到官方介绍中有提及这种写法,但是它在执行的时候是不会报错的,可以放心使用这种写法
限定的返回
我们在使用lambda时会遇到返回lambda还是返回整个函数的问题,这个时候我们就会用到限定返回。我们在Kotlin(1.1)学习笔记(5)——拓展中介绍拓展接收者和拓展分发者的时候用到了this@
,这里也是一样的用法。
具体的语法我们将在
匿名函数
lambda表达缺少了指定函数返回类型的能力,因为一般都是根据最后一句的返回类型能够自动推断出来,但是如果我们要明确的显示出来,这就需要用到匿名函数了。(相同点:他们两者都是未声明的函数,也被成为函数字面值)
fun(x:Int,y:Int) = x+y
和普通的函数声明相比只是缺少了函数名称而已。
匿名函数的高阶函数用法:
//类似lambda表达式,返回类型自动推断
lock(fun() = 2)
//这种显示使用return的方式必须指明返回类型
lock(fun(): Int {
return 2
})
除此之外,匿名函数与lambda还有一点不同,就是根据[局部返回]的不同,lambda表达式中的return返回的是整个函数,匿名函数返回的只是匿名函数。
//匿名函数
lock(fun(): Int {
return 2 //这里只是退出了fun()
})
//lambda,什么都没做,返回了Unit
lock{
return//退出了包含lambda的lock
}
带接收者的函数字面值
类似于拓展函数,函数字面值(lambda或者匿名函数)可以指定接收者对象。
匿名函数
匿名函数语法允许你直接指定函数字面值的接收者类型 如果你需要使用带接收者的函数类型声明一个变量,并在之后使用它:
val sum = fun Int.(other: Int): Int = this + other
与普通的使用匿名函数相比,多了一个接受者对象类型Int
,以及这个拓展名sum
,使用方法如下:
1.sum(2) // =3
lambda
当接收者类型可以从上下文推断时,lambda 表达式可以用作带接收者的函数字面值:
class LambdaExtend {
init {
LogUtils.d(TAG,"init done")
}
fun body() {LogUtils.d(TAG,"into body") }
}
fun LambdaExtendTest(func: LambdaExtend.() -> Unit): LambdaExtend {
val extend = LambdaExtend() // 创建接收者对象
extend.func() // 将该接收者对象传给该 lambda
return extend
}
调用lambda:
LambdaExtendTest{ // 带接收者的 lambda 由此开始,这里我们已经可以使用接受者的一些方法了
body=() // 调用该接收者对象的一个方法
}