Kotlin 知识梳理系列文章
Kotlin 知识梳理(1) - Kotlin 基础
Kotlin 知识梳理(2) - 函数的定义与调用
Kotlin 知识梳理(3) - 类、对象和接口
Kotlin 知识梳理(4) - 数据类、类委托 及 object 关键字
Kotlin 知识梳理(5) - lambda 表达式和成员引用
Kotlin 知识梳理(6) - Kotlin 的可空性
Kotlin 知识梳理(7) - Kotlin 的类型系统
Kotlin 知识梳理(8) - 运算符重载及其他约定
Kotlin 知识梳理(9) - 委托属性
Kotlin 知识梳理(10) - 高阶函数:Lambda 作为形参或返回值
Kotlin 知识梳理(11) - 内联函数
Kotlin 知识梳理(12) - 泛型类型参数
一、本文概要
本文是对<<Kotlin in Action>>
的学习笔记,如果需要运行相应的代码可以访问在线环境 try.kotlinlang.org,这部分的思维导图为:
二、Lambda 表达式和成员引用
Lambda
表达式,本质上是可以 传递给函数的一小段代码,可以轻松地把通用的代码结构抽取成库函数,Kotlin
标准库就大量地使用了它们。
2.1 Lambda 简介:作为函数参数的代码块
Lambda
的应用场景有:
- 当一个事件发生的时候运行这个事件处理器
- 把这个操作应用到这个数据结构中所有的元素上
在Java
中,可以用匿名内部类来实现,但是它的语法很啰嗦,下面我们演示用Lambda
来实现点击监听:
button.setOnClickListener { /* 点击后执行的动作 */}
2.2 Lambda 和集合
我们对集合执行的大部分任务都遵循几个通用的模式,所以实现这几个模式的代码应该放在一个库里,下面我们演示一个例子:将Person
数据类放到一个集合当中,并从中选出年龄最大的一个人。
运行结果为:
这上面的例子用到了集合上的
maxBy
函数,它只需要一个实参:一个函数,指定比较哪个值来找到最大的元素,花括号中的代码{ it.age }
就是实现了这个逻辑的lambda
,它接收一个集合中的元素作为实参(使用it
引用它)并且返回用来比较的值,在上面的例子中:
- 集合元素是
Person
对象 - 用来比较的值是存储在其
age
属性中的值
如果lambda
刚好是 函数或者属性的委托,可以用 成员引用 替换。
people.maxBy(Person :: age)
2.3 Lambda 表达式语法
一个Lambda
表达式把一小段行为进行编码,你能把它 当做值到处传递,它可以被 独立地声明并存储到一个变量中,但是最常见的还是直接声明它并传递给函数,下面是一个Lambda
表达式的语法,->
前为 参数,后为 函数体,始终用 花括号包围。
{x : Int, y : Int -> x + y}
2.3.1 将 Lambda 表达式存储在变量中
可以将Lambda
表达式存储在一个变量中,把这个变量当做普通函数对待(即通过相应的实参调用它):
2.3.2 直接调用 Lambda 表达式
如果需要把一小段代码封闭在一个代码块中,可以使用库函数run
,这种调用和内建语言结构一样高效且不会带来额外运行时开销:
运行结果为:
2.3.3 Lambda 表达式的简化过程
现在,让我们回到最开始寻找集合中年龄最大的人的例子,它原本的调用方法如下,maxBy
函数接收一个lambda
表达式{ p : Person -> p.age }
作为参数:
people.maxBy({ p : Person -> p.age })
上面这段代码的解释为:花括号中的代码片段是lambda
表达式,把它作为实参传给函数,这个lambda
接收一个类型为Person
的参数并返回它的年龄。下面,我们一起来看一下如何简化这个表达式:
- 第一步:
Kotlin
有一个语法规定,如果lambda
表达式是函数调用的 最后一个实参,它可以 放到括号的外边,因此上面的例子简化为:
//第一步:将 lambda 表达式放到括号的外边。
people.maxBy() { p : Person -> p.age }
- 第二步:当
lambda
是函数 唯一的实参,还可以 去掉调用代码中的空括号对
//第二步:去掉空括号对。
people.maxBy { p : Person -> p.age }
- 第三步:和局部变量一样,如果
lambda
参数的类型可以被推倒出来,你就不需要显示地指定它,以maxBy
函数为例,其 参数类型始终和集合的元素类型相同,因此编译器知道你是对Person
对象的集合调用maxBy
函数,可以简化为:
//第三步:省略 lambda 参数类型。
people.maxBy { p -> p.age }
但是如果我们用变量存储lambda
,那么就没有可以推断出参数类型的上下文,所以你必须显示地指定参数类型:
//无法推断出参数的类型,必须显示地指定参数的类型。
val getAge = { p : Person -> p.age }
people.maxBy (getAge)
- 第四步:如果当前上下文期望的是 只有一个参数的 lambda ,并且这个参数的类型可以推断出来,那么可以使用默认参数名称
it
代替命名参数:
//第四步:使用默认参数名称。
people.maxBy { it.age }
2.3.4 又见 joinToString 函数
在 Kotlin 知识梳理(2) - 函数的定义与调用 中,我们通过joinToString
介绍了命名参数和默认参数值的用法,实际上在标准库中也有定义这个函数,不同之处在于它可以接收一个附加的函数参数,这个函数可以用toString
函数以外的方法来把一个 元素转换成字符串,下面显示如何 只打印出人的名字
运行结果为:
2.3.5 lambda 表达式包含更多语句
lambda
表达式可以包含更多的语句,最后一个表达式就是lambda
的结果:
运行结果为:
2.4 在作用域中访问变量
当在函数内声明一个匿名内部类时,能够在这个匿名内部类引用这个函数的参数和局部变量,也可以用lambda
做同样的事情,如果在函数内部使用lambda
,也可以访问这个函数的参数,还有在lambda
之前定义的局部变量。
下面我们用标准库函数forEach
来展示这种行为,它是最基本的集合操作函数之一:它所做的全部事情就是在集合中的每一个元素之上都调用给定的lambda
:
运行结果为:
2.4.1 在 lambda 中改变局部变量
Kotlin
中不会仅限于访问final
变量,在lambda
内部也可以修改这些变量,下面的代码中对给定的相应状态码set
分别进行计数。
在
Kotlin
中,它允许在lambda
内部访问非final
变量甚至修改它们。从lambda
内访问外部变量,我们称这些 变量被 lambda 捕捉,就像上面例子中的clientErrors
和serverErrors
。
默认情况下,局部变量的生命周期被限制在声明这个局部变量的函数当中,但是如果它被lambda
捕捉了,使用这个变量的代码可以被存储并稍后执行,原理为:
- 当捕捉
final
变量时,它的值和使用这个值的lambda
代码一起存储。 - 对非
final
变量,它的值被封装在一个包装器中,这样你就可以改变这个值,而对这个包装器的引用会和lambda
代码一起存储。
2.4.2 捕捉可变变量
Java
只允许捕捉final
变量,而当你想捕捉可变变量的时候,可以使用两种技巧:
- 声明一个单元素的数组,其中存储可变值
- 创建一个包装类的实例,其中存储要改变的值的引用
这样,当捕捉了一个可变变量var
的时候,它的值被作为Ref
类的一个实例被存储下来,Ref
变量是final
的能轻易被捕捉,然后实际值存储在其字段中,并且可以在lambda
内被修改。
2.5 成员引用
2.5.1 基本概念
在上面的例子中,我们演示了 如何让你把代码块作为参数传递给函数,但是如果要当做参数传递的代码已经被定义成了函数,这时候就需要 把函数转换成一个值,这种方式称为 成员引用。
val getAge = Person :: age
它提供了简明的语法,来创建一个 调用单个方法或者访问单个属性的函数值,双冒号把 类名称 与 你要引用的成员(一个方法或者属性)名称 隔开。
成员引用和调用该函数的lambda
具有一样的类型,所以可以互换使用:
people.maxBy(Person :: age)
2.5.2 引用顶层函数
除此之外,还可以引用顶层函数,这里我们省略了类名称,直接以:
开头,成员引用::salute
被当作实参传递给库函数run
,它会调用相应的函数:
运行结果为:
2.5.3 存储或者延期执行创建类实例的动作
我们还可以使用 构造方法引用 存储或者延期执行创建类实例的动作,构造方法引用的形式是 在双冒号后指定类的名称:
2.5.4 引用扩展函数
我们还可以以同样的方式引用扩展函数,这里我们定义一个扩展函数isAdult
方法,选出年龄大于21
的人。
运行结果为: