详解Kotlin 高阶函数与 Lambda 表达式

详解Kotlin 高阶函数与 Lambda 表达式

高阶函数(higher-order function)是一种特殊的函数, 它接受函数作为参数, 或者返回一个函数. 这种函数的一个很好的例子就是 lock() 函数, 它的参数是一个锁对象(lock object), 以及另一个函数, 它首先获取锁, 运行对象函数, 然后再释放锁:

									fun <T> lock(lock: Lock, body: () -> T): T {

									  lock.lock()

									  try {

									    return body()

									  }finally {

									    lock.unlock()

									  }

									}

上面的代码: body 参数是一个函数类型: () -> T , 因此它应该是一个函数, 这个函数没有参数, 返回一个 T 类型的值。

高阶函数类似 C 语言的函数指针，高阶函数另一个例子：

									fun <T, R> List<T>.map(transform: (T) -> R): List<R> {

									  val result = arrayListOf<R>()

									  for (item in this)

									    result.add(transform(item))

									  return result

									}

									val doubled = ints.map { it -> it * 2 } // 调用

函数类型(Function Type)

对于接受另一个函数作为自己参数的函数, 我们必须针对这个参数指定一个函数类型, 例如前面例子的 map 函数，参数 transform 的类型是 (T) -> R, 意思是它是一个函数，参数 T，返回 R。

引用以及返回一个函数

高阶函数可以接受函数参数，也可以返回一个函数引用，函数可以赋值给变量，和 C 语言的函数指针一样。

									fun bar(): (String) -> String = { str -> str.reversed() }

									val reversi = bar()

									reversi("hello")

									reversi("world")

内联函数(Inline Function)

Kotlin 支持内联函数，函数内联也许会导致编译产生的代码尺寸变大, 但如果我们使用合理(不要内联太大的函数), 可以换来性能的提高。

									inline fun foo() {

									  //

									}

如果一个内联函数的参数中有多个 Lambda 表达式, 而你只希望内联其中的一部分, 你可以对函数的一部分参数添加 noinline 标记。

									inline fun foo(inlined: () -> Unit, noinline notInlined: () -> Unit) {

									  // ...

									}

Lambda 表达式

Lambda 表达式的完整语法形式，如:

1	`val sum = { x: Int, y: Int -> x + y }`

Lambda 表达式包含在大括号之内, 在完整语法形式中, 参数声明在圆括号之内, 参数类型的声明可选, 函数体在 -> 符号之后. 如果 Lambda 表达式自动推断的返回值类型不是 Unit , 那么 Lambda 表达式函数体中, 最后一条(或者就是唯一一条)表达式的值, 会被当作整个 Lambda 表达式的返回值。

很多情况下 Lambda 表达式只有唯一一个参数. 如果 Kotlin 能够自行判断出 Lambda 表达式的参数定义，那么它将允许我们省略唯一一个参数的定义, 并且会为我们隐含地定义这个参数, 使用的参数名为 it :

1	`ints.filter { it >` `0` `}`

使用带标签限定的 return 语法, 我们可以在 Lambda 表达式内明确地返回一个结果值. 否则, 会隐含地返回 Lambda 表达式内最后一条表达式的值。

									ints.filter {

									  val shouldFilter = it > 0

									  return@filter shouldFilter

									}

匿名函数(Anonymous Function)

匿名函数看起来与通常的函数声明很类似, 区别在于省略了函数名。

1	`fun(x: Int, y: Int): Int = x + y`

参数和返回值类型的声明与通常的函数一样, 但如果参数类型可以通过上下文推断得到, 那么类型声明可以省略:

1	`ints.filter(fun(item) = item >` `0)`

闭包

所谓闭包，就是一个代码块可以访问外层作用域的变量和参数，例如上面提到的 Lambda 表达式和匿名函数。

									var containsNegative = false

									val ints = listOf(0, 1, 2, 3, 4, 5)

									ints.forEach {

									  if (it < 0)

									  containsNegative = true

									}