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

程序员文章站 2023-12-15 12:25:46

详解kotlin 高阶函数与 lambda 表达式高阶函数(higher-order function)是一种特殊的函数, 它接受函数作为参数, 或者返回一个函数....

详解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 表达式的完整语法形式，如:

val sum = { x: int, y: int -> x + y }

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

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

ints.filter { it > 0 }

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

ints.filter {
  val shouldfilter = it > 0
  return@filter shouldfilter
}

匿名函数(anonymous function)

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

fun(x: int, y: int): int = x + y

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

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
}

感谢阅读，希望能帮助到大家，谢谢大家对本站的支持！

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