Lambda -- 02概念

目录

Lambda表达式语法

行为值 <=> 函数式接口的实例对象

行为参数化

类型检查、推导、限制

语法糖：简易版本

语法糖的语法糖：方法引用

数学中的函数思想

函数调用链：柯里化思想

---

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 ); //编译ok
Collections.sort( List&l