学而不思则罔，思而不学则殆

---

Kotlin 函数都是头等的，这意味着它们可以存储在变量与数据结构中、作为参数传递给其他高阶函数以及从其他高阶函数返回。可以像操作任何其他非函数值一样操作函数。

为促成这点，作为一门静态类型编程语言的 Kotlin 使用一系列函数类型来表示函数并提供一组特定的语言结构，例如 lambda 表达式。

高阶函数

高阶函数是将函数用作参数或返回值的函数。
一个不错的示例是集合的函数式风格的 fold )， 它接受一个初始累积值与一个接合函数，并通过将当前累积值与每个集合元素连续接合起来代入累积值来构建返回值：

在上述代码中，参数 combine 具有函数类型 (R, T) -> R ，因此 fold 接受一个函数作为参数， 该函数接受类型分别为 R 与 T 的两个参数并返回一个 R 类型的值。 在 for -循环内部调用该函数，然后将其返回值赋值给 accumulator 。

函数类型

这些类型具有与函数签名相对应的特殊表示法，即它们的参数和返回值：

• 所有函数类型都有一个圆括号括起来的参数类型列表以及一个返回类型： (A, B) -> C表示接受类型分别为 A 与 B 两个参数并返回一个 C 类型值的函数类型。 参数类型列表可以为空，如 () -> A 。 Unit 返回类型不可省略。
• 函数类型可以有一个额外的接收者类型，它在表示法中的点之前指定： 类型 A.(B) ->C 表示可以在 A 的接收者对象上以一个 B 类型参数来调用并返回一个 C 类型值的函数。 带有接收者的函数字面值通常与这些类型一起使用。
• 挂起函数属于特殊种类的函数类型，它的表示法中有一个 suspend 修饰符 ，例如suspend () -> Unit 或者 suspend A.(B) -> C

函数类型表示法可以选择性地包含函数的参数名： (x: Int, y: Int) -> Point 。 这些名称可用于表明参数的含义。

如需将函数类型指定为可空，请使用圆括号： ((Int, Int) -> Int)? 。
函数类型可以使用圆括号进行接合： (Int) -> ((Int) -> Unit)
箭头表示法是右结合的， (Int) -> (Int) -> Unit 与前述示例等价，但不等于 ((Int) - (Int)) -> Unit 。

还可以通过使用类型别名给函数类型起一个别称：

typealias ClickHandler = (Button, ClickEvent) -> Unit

函数类型实例化

有几种方法可以获得函数类型的实例：
使用函数字面值的代码块，采用以下形式之一：

• lambda 表达式: { a, b -> a + b } ,
• 匿名函数: fun(s: String): Int { return s.toIntOrNull() ?: 0 }
• 带有接收者的函数字面值可用作带有接收者的函数类型的值。

使用已有声明的可调用引用：

• 顶层、局部、成员、扩展函数： ::isOdd 、 String::toInt ，
• 顶层、成员、扩展属性： List::size ，
• 构造函数： ::Regex

这包括指向特定实例成员的绑定的可调用引用： foo::toString 。
使用实现函数类型接口的自定义类的实例：


如果有足够信息，编译器可以推断变量的函数类型：

带与不带接收者的函数类型非字面值可以互换，其中接收者可以替代第一个参数，反之亦然。例如， (A, B) -> C 类型的值可以传给或赋值给期待 A.(B) -> C 的地方，反之亦然：

函数类型实例调用

函数类型的值可以通过其 invoke(……) 操作符调用： f.invoke(x) 或者直接 f(x) 。如果该值具有接收者类型，那么应该将接收者对象作为第一个参数传递。 调用带有接收者的函数类型值的另一个方式是在其前面加上接收者对象， 就好比该值是一个扩展函数： 1.foo(2)


打印对象：

调用(两种方式):

Lambda 表达式与匿名函数

lambda 表达式与匿名函数是“函数字面值”，即未声明的函数， 但立即做为表达式传递。考虑下面的例子：

函数 max 是一个高阶函数，它接受一个函数作为第二个参数。 其第二个参数是一个表达式，它本身是一个函数，即函数字面值，它等价于以下具名函数：

Lambda 表达式语法

Lambda 表达式的完整语法形式如下：

val sum: (Int, Int) -> Int = { x: Int, y: Int -> x + y }

lambda 表达式总是括在花括号中， 完整语法形式的参数声明放在花括号内，并有可选的类型标注， 函数体跟在一个 -> 符号之后。如果推断出的该 lambda 的返回类型不是 Unit ，那么该 lambda 主体中的最后一个（或可能是单个） 表达式会视为返回值。
如果我们把所有可选标注都留下，看起来如下：

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

这两种方式是等价的

传递末尾的 lambda 表达式

在 Kotlin 中有一个约定：如果函数的最后一个参数是函数，那么作为相应参数传入的 lambda表达式可以放在圆括号之外：

这种语法也称为拖尾 lambda 表达式。
如果该 lambda 表达式是调用时唯一的参数，那么圆括号可以完全省略：

it ：单个参数的隐式名称

一个 lambda 表达式只有一个参数是很常见的。
如果编译器自己可以识别出签名，也可以不用声明唯一的参数并忽略 -> 。 该参数会隐式声明为 it ：

以上这五种，最终转化为：

list.filter { it < 4 }

从 lambda 表达式中返回一个值

我们可以使用限定的返回语法从 lambda 显式返回一个值。 否则，将隐式返回最后一个表达式的值。
因此，以下两个片段是等价的：

这一约定连同在圆括号外传递 lambda 表达式一起支持 LINQ-风格) 的代码：

下划线用于未使用的变量（自 1.1 起）

如果 lambda 表达式的参数未使用，那么可以用下划线取代其名称：

闭包

Lambda 表达式或者匿名函数（以及局部函数和对象表达式） 可以访问其 闭包 ，即在外部作用域中声明的变量。 在 lambda 表达式中可以修改闭包中捕获的变量：

带有接收者的函数字面值

带有接收者的函数类型，例如 A.(B) -> C ，可以用特殊形式的函数字面值实例化—— 带有接收者的函数字面值。

如上所述，Kotlin 提供了调用带有接收者（提供接收者对象）的函数类型实例的能力。在这样的函数字面值内部，传给调用的接收者对象成为隐式的 this ，以便访问接收者对象的成员而无需任何额外的限定符，亦可使用 this 表达式 访问接收者对象。
这种行为与扩展函数类似，扩展函数也允许在函数体内部访问接收者对象的成员。这里有一个带有接收者的函数字面值及其类型的示例，其中在接收者对象上调用了 plus ：

匿名函数语法允许你直接指定函数字面值的接收者类型。 如果你需要使用带接收者的函数类型声明一个变量，并在之后使用它，这将非常有用。