目录
Lambda表达式语法
Lambda表达式的一般形式:( params )-> { statements; } 或 ( params )-> statement
( ) | 方法的入参描述 |
-> | lambda表达式的语法特征符,见到这个符号就表示是lambda表达式 |
{ } | 方法主体,其内部是方法的内容(也即具体的业务逻辑和返回值) |
以下是lambda表达式的重要特征:
- 可选的入参类型声明:不需要声明参数类型,编译器可以统一判断识别实参的类型。
- 可选的圆括号:当只有一个方法入参时无需定义圆括号,但多个参数需要定义圆括号。
- 可选的大括号:如果方法主体内只包含了一个语句,就不需要使用大括号。
- 可选的返回关键字:如果主体只有一个语句则编译器会自动返回值;当使用大括号时且想要返回值时则需要明确给出return关键字。
/**
* Lambda 表达式实例
*/
//无参,返回值为 5
() -> 5
//无参,无返回值
() -> System.out.println(123)
//单一入参,入参无类型,是否需要返回运算结果要看抽象方法的定义,本表达式是支持返回值的
x -> 2 * x
//两个入参,入参无类型,是否需要返回运算结果要看抽象方法的定义,本表达式是支持返回值的
(x, y) -> x – y
//两个入参,入参有类型,是否需要返回运算结果要看抽象方法的定义,本表达式是支持返回值的
(int x, int y) -> x + y
//单一入参,入参有类型,无返回值
(String s) -> System.out.println(s)
//单一入参,入参有类型,有返回值
(String s) -> {
System.out.println(s);
return s.substring(1);
}
行为值 <=> 函数式接口的实例对象
jdk8之前的编程手段,java中只有8大基本类型(6个数值类型,1个布尔类型,1个字符类型),Class类类型,Type泛型(泛型,泛型变量,泛型数组,泛型上下界)。java中所有的类/接口/方法/方法入参/方法返回值/属性等定义时,一定是8大基础类型或Class或Type中的一种,脱离不了这个范围。那么,语法形如:() -> {} 的lambda表达式到底是个什么类型呢?难道jdk8引入了lambda表达式又配套的引入了一种新的类型嘛?答:不是的,lambda表达式不过是语法糖而已,简写版的描述:一个方法的入参,业务逻辑和返回值,lambda表达式的类型是类类型的。请看下方小示例:
Predicate<String> p = ( String s ) -> { return s.equals("abc"); }
- lambda表达式:( String s ) -> { return s.equals("abc"); }
- s 方法入参
- s.equals("abc"); 方法的主体业务逻辑
- return s.equals("abc"); 方法的返回值
- p 实例对象
- Predicate 类类型
小小总结:lambda表达式,也叫 行为值,也叫 函数式接口的实例对象。
行为参数化
“行为参数化”,什么意思呢,就是你把行为可以当成一个《值》一样来传递给方法了,见上方行为值的说明和图示。这个《值》更贴切的叫法,应该叫《行为值》,行为值要描述清楚,行为(/行为也就是函数,也就是方法)的入参是什么,行为的具体逻辑是什么,行为有什么样的返回值。
所以,行为参数化,更具体点来说,应该叫做“行为值参数化”。至此,我们会发现,虽然jdk8引入了lambda表达式,也可以当成方法入参来直接传递,但是其本质仍然没脱离jdk的传统,Java编程传统,编写的代码都是有明确的类型的,类有明确的类型;泛型有明确的类型;类里面的数据成员(/属性)有明确的类型;类里面的方法成员有明确的入参类型,返回值类型;
举例:Collections类的sort(List<T> list, Comparator<? super T> c)
方法的示例
Collections.sort( List<Integer> list, (a,b) -> a-b );