6.3 Lambda表达式
6.3.1 为什么引入lambda表达式
- Lambda表达式是一个可传递的代码块,可以在以后执行一次或多次
6.3.2 lambda表达式的语法
- lambda表达式就是一个
代码块
,以及必须传入代码的变量规范 - Java中的一种lambda表达形式:
(parameters)->{statements;}
- 如果代码要完成的计算无法放在一个表达式中,可以像写方法一样,把这些代码放在{}中,并包含显示的return语句
- 即使lambda表达式没有参数,仍要提供空括号:
()->{statements;}
- 如果可以推导出一个lambda表达式的参数类型,则可以忽略其类型
- 无需指定lambda表达式的返回类型.lambda表达式的返回类型总是会由上下文推导得出
- 如果一个lambda表达式只在某一个分支返回一个值,而在另外一个分支不返回值,这是
不合法
的
6.3.3 函数式接口
函数式接口(functional interface)
: 需要只有一个抽象方法的接口的对象时,就可以提供一个lambda表达式- 最好把lambda表达式看作是一个函数,而非一个对象
- lambda表达式可以转换为接口
- 在Java中,对lambda表达式所能所得也只是能转换为函数式接口
- 甚至不能把lambda表达式赋给类型为Object的变量,Object不是一个函数式接口
6.3.4 方法引用
- 要用
::操作符
分割方法名与对象或类名:object::instanceMethod Class::staticMethod Class::instanceMethod
- 对于前两种情况,方法引用等价于提供方法参数的lambda表达式
- 对于第三种情况,第一个参数会变成方法的目标
- 如果有多个同名的重载方法,编译器就会尝试从上下文中找出你指的那一个方法
- 方法引用不能独立存在,总是会转换为函数式接口的实例
- 可以在方法引用中使用this参数
- 使用
super
也是合法的:super::instanceMethod
6.3.5 构造器引用
- 构造器引用与方法引用很类似,只不过方法名为
new
:Type::new
- 所引用的构造器取决于上下文
- 可以使用数组类型建立构造器引用
- Java无法构造泛型类型T的数组.使用数组构造器引用对于克服这个限制很有用
6.3.6 变量作用域
- Java无法构造泛型类型T的数组.使用数组构造器引用对于克服这个限制很有用
- 在java中,lambda就是
闭包(closure)
- lambda表达式可以捕获外围作用域中变量的值.
- 在lambda表达式中,只能引用值不会改变的变量
- 如果在lambda表达式中改变变量,并发执行多个动作时就会不安全
- 如果在lambda表达式中引用变量,而这个变量可能在外部变量,这也是不合法的
- lambda表达式中捕获的变量必须实际上是
最终变量(effectively final)
最终变量
:该变量初始化之后不会再为它赋新值.
- lambda表达式的体与嵌套块有相同的作用域
- lambda表达式中声明一个局部变量同名的参数或局部变量时不合法的
- lambda表达式中不能有同名的局部变量
- 在一个lambda表达式中使用this关键字时,是指创建这个lambda表达式的方法的this参数
6.3.7 处理lambda表达式
- 使用lambda表达式的重点
延迟执行(deferred execution)
- 常用函数式接口
函数式接口 | 参数类型 | 返回类型 | 抽象方法名 | 描述 | 其他方法 |
---|---|---|---|---|---|
Runnale |
无 | void | run |
作为无参数或返回值的动作运行 | |
Supplier<T> |
无 | T | get |
提供一个T类型的值 | |
Consumer<T> |
T | void | accept |
处理一个T类型的值 | addThen |
BiConsumer<T,U> |
T,U | void | accept |
处理T和U类型的值 | addThen |
Function<T,R> |
T | R | apply |
有一个T类型参数的函数 | compose addThen identity |
BiFunction<T,U,R> |
T,U | R | apply |
有T和U类型参数的函数 | addThen |
UnaryOperation<T> |
T | T | apply |
类型T上的一元操作符 | compose addThen identity |
BinaryOperation<T> |
T,T | T | apply |
类型T上的二元操作符 | addThen maxBy minBy |
Predicate |
T | boolean | test |
布尔值函数 | and or negate isEqual |
BiPredicate |
T,U | boolean | test |
有两个参数的布尔值函数 | and or negate |
- 基本类型的函数式接口
函数式接口 | 参数类型 | 返回类型 | 抽象方法名 |
---|---|---|---|
BooleanSupplier |
none | boolean | getAsBoolean |
[P]Supplier |
none | p | getAs[P] |
Obj[P]Consumer |
p | void | accept |
[P]Function<T> |
T,p | void | accept |
[P]To[Q]Function |
p | q | applyAs[Q] |
To[P]Function<T> |
T | p | applyAs[p] |
To[P]BitFunction<T,U> |
T,U | p | applyAs[P] |
[P]UnaryOperator |
p | p | applyAs[P] |
[P]BinaryOperator |
p,p | p | applyAs[P] |
[P]Predicate |
p | boolean | test |
_p,q_为int,long,double; [P][Q]为Int,Long,Double; + 大多数标准函数式接口都提供了非抽象方法来生成或合并函数 + 如果设计自己的接口,其中只有一个抽象方法,可以用`@FunctionalInterface`注解来标记这个接口 - 如果无意中增加了另一个非抽象方法,编译器会产生一个错误消息 - javadoc也里会指出你的借口是一个函数式接口 + 并非必须使用注解.根据定义,`任何有一个抽象方法的接口`都是函数式接口.不过使用`@FunctionInterface`注解确实是一个很好的做法