[work] Lambda 表达式有何用处

桃扇骨 2022-04-12 11:41 174阅读 0赞

作者：Sevenvidia  
链接：https://www.zhihu.com/question/20125256/answer/324121308  
来源：知乎  
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

对Java比较熟悉，就用Java来讲一讲

![v2-c7cb18cbd37262ffad7b04e50fb13b92_hd.jpg][]

## **什么是Lambda?** ##

我们知道，对于一个Java变量，我们可以赋给其一个**“值”**。

![v2-ab6545c49383236a4af3f28a47886090_hd.jpg][]

如果你想把**“一块代码”**赋给一个Java变量，应该怎么做呢？

比如，我想把右边那块代码，赋给一个叫做aBlockOfCode的Java变量：

![v2-1cc87e82fba0872c2cae3fee08e8fe41_hd.jpg][]

在Java 8之前，这个是做不到的。但是Java 8问世之后，利用Lambda特性，就可以做到了。

![v2-145a556d86806c3163391a13428e3f03_hd.jpg][]

当然，这个并不是一个很简洁的写法。所以，为了使这个赋值操作更加elegant, 我们可以移除一些没用的声明。

![v2-a712753b42972e094a548ae02fa82987_hd.jpg][]

这样，我们就成功的非常优雅的把“一块代码”赋给了一个变量。**而“这块代码”，或者说“这个被赋给一个变量的函数”，就是一个Lambda表达式**。

但是这里仍然有一个问题，就是变量aBlockOfCode的类型应该是什么？

在Java 8里面，**所有的Lambda的类型都是一个接口，而Lambda表达式本身，也就是”那段代码“，需要是这个接口的实现。**这是我认为理解Lambda的一个关键所在，简而言之就是，**Lambda表达式本身就是一个接口的实现**。直接这样说可能还是有点让人困扰，我们继续看看例子。我们给上面的aBlockOfCode加上一个类型：

![v2-55de66060b4cb70193ddc7fea201b257_hd.jpg][]

这种只有**一个接口函数需要被实现的接口类型，我们叫它”函数式接口“。**为了避免后来的人在这个接口中增加接口函数导致其有多个接口函数需要被实现，变成"非函数接口”，我们可以在这个上面加上一个声明@FunctionalInterface, 这样别人就无法在里面添加新的接口函数了：

![v2-2c57e7411de227d1eb09c327d01fb766_hd.jpg][]

这样，我们就得到了一个完整的Lambda表达式声明：

![v2-02eedc528fcee115f5ed0b7b045846d7_hd.jpg][]

![v2-b3c9ad03a5333f5e61c3ee8186210634_hd.jpg][]

## **Lambda表达式有什么作用?** ##

**最直观的作用就是使得代码变得异常简洁。**

我们可以对比一下Lambda表达式和传统的Java对同一个接口的实现：

![v2-dbd46cf9d188d0fde25db700c23dcc79_hd.jpg][]

这两种写法本质上是等价的。但是显然，Java 8中的写法更加优雅简洁。并且，由于Lambda可以直接赋值给一个变量，**我们就可以直接把Lambda作为参数传给函数, 而传统的Java必须有明确的接口实现的定义，初始化才行：**

![v2-28606f4328308baf7f70a36bd689e5ea_hd.jpg][]

有些情况下，这个接口实现只需要用到一次。传统的Java 7必须要求你定义一个“污染环境”的接口实现MyInterfaceImpl，而相较之下Java 8的Lambda, 就显得干净很多。

![v2-413d712fb74b8406502af05031cf8d4c_hd.jpg][]

## Lambda结合FunctionalInterface Lib, forEach, stream()，method reference等新特性可以使代码变的更加简洁！ ##

直接上例子。

假设Person的定义和List<Person>的值都给定。

![v2-02ae14b4c341e2303ae86e2da6a038a2_hd.jpg][]

现在需要你打印出guiltyPersons List里面所有LastName以"Z"开头的人的FirstName。

**原生态Lambda写法**：定义两个函数式接口，定义一个静态函数，调用静态函数并给参数赋值Lambda表达式。

![v2-fdef41934be8804fa244e89c84a567f1_hd.jpg][]

这个代码实际上已经比较简洁了，但是我们还可以更简洁么？

当然可以。在Java 8中有一个函数式接口的包，里面定义了大量可能用到的函数式接口（[java.util.function (Java Platform SE 8 )][java.util.function _Java Platform SE 8]）。所以，我们在这里压根都不需要定义NameChecker和Executor这两个函数式接口，直接用Java 8函数式接口包里的Predicate<T>和Consumer<T>就可以了——因为他们这一对的接口定义和NameChecker/Executor其实是一样的。

![v2-ad5b3e8d225bf9e6d988c6dc83819637_hd.jpg][]

**第一步简化 - 利用函数式接口包：**

![v2-493168d1a72120d69b0d13b4711c3c9f_hd.jpg][]

静态函数里面的for each循环其实是非常碍眼的。这里可以利用Iterable自带的forEach()来替代。forEach()本身可以接受一个Consumer<T> 参数。

**第二步简化 - 用Iterable.forEach()取代foreach loop：**

![v2-bdd6f5a6dbf65b578080f7b7ad5ab6cf_hd.jpg][]

由于静态函数其实只是对List进行了一通操作，这里我们可以甩掉静态函数，直接使用stream()特性来完成。stream()的几个方法都是接受Predicate<T>，Consumer<T>等参数的（[java.util.stream (Java Platform SE 8 )][java.util.stream _Java Platform SE 8]）。你理解了上面的内容，stream()这里就非常好理解了，并不需要多做解释。

**第三步简化 - 利用stream()替代静态函数：**

![v2-e196d987f852b9b8e26a6a9dac648a06_hd.jpg][]

对比最开始的Lambda写法，这里已经非常非常简洁了。但是如果，我们的要求变一下，变成print这个人的全部信息，及p -> System.out.println(p); 那么还可以利用Method reference来继续简化。所谓Method reference, 就是用已经写好的别的Object/Class的method来代替Lambda expression。格式如下：

![v2-12622326a5682285ce235d96291f3bb8_hd.jpg][]

**第四步简化 - 如果是println(p)，则可以利用Method reference代替forEach中的Lambda表达式：**

![v2-f29e6569d0265b91794565ae81d54265_hd.jpg][]

这基本上就是能写的最简洁的版本了。

![v2-ad2b43af522ea121d3b751c4a0f881c6_hd.jpg][]

## Lambda配合Optional<T>可以使Java对于null的处理变的异常优雅 ##

这里假设我们有一个person object，以及一个person object的Optional wrapper:

![v2-e78d71b9699504e46d86d77aabec42cf_hd.jpg][]

Optional<T>如果不结合Lambda使用的话，并不能使原来繁琐的null check变的简单。

![v2-ce82e2c3e69caab9acdec9d4e42cde0e_hd.jpg][]

**只有当Optional<T>结合Lambda一起使用的时候，才能发挥出其真正的威力！**

我们现在就来对比一下下面四种常见的null处理中，Java 8的Lambda+Optional<T>和传统Java两者之间对于null的处理差异。

**情况一 - 存在则开干**

![v2-f41305009c93effa8fe047631d5342ed_hd.jpg][]

**情况二 - 存在则返回，无则返回屁**

![v2-cfa0e3298ba94efa29dc9cb8b32356fe_hd.jpg][]

**情况三 - 存在则返回，无则由函数产生**

![v2-4091bb966ac575fd83d5fa07dd7c2dce_hd.jpg][]

**情况四 - 夺命连环null检查**

![v2-7bc0ac86cd29a1cea92a853d73f41cec_hd.jpg][]

由上述四种情况可以清楚地看到，Optional<T>+Lambda可以让我们少写很多ifElse块。尤其是对于情况四那种夺命连环null检查，传统java的写法显得冗长难懂，而新的Optional<T>+Lambda则清新脱俗，清楚简洁。

![v2-e6b653cd6eced03376d5feb2e5943be3_hd.jpg][]

关于Java的Lambda, 还有东西需要讨论和学习。比如如何handle lambda exception，如何利用Lambda的特性来进行parallel processing等。总之，我只是一如既往地介绍个大概，让你大概知道，哦！原来是这样子就OK了。网上关于Lambda有很多相关的教程，多看多练。假以时日，必定有所精益。

之二:

作者：涛吴  
链接：https://www.zhihu.com/question/20125256/answer/14058285  
来源：知乎  
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

简单来说，编程中提到的 lambda 表达式，通常是在**需要一个函数，但是又不想费神去命名一个函数**的场合下使用，也就是指**匿名函数**。这一用法跟所谓 λ 演算（题目说明里的维基链接）的关系，有点像原子弹和质能方程的关系，差别其实还是挺大的。

不谈形式化的 λ 演算，只说有实际用途的匿名函数。先举一个普通的 Python 例子：将一个 list 里的每个元素都平方：

map( lambda x: x*x, [y for y in range(10)] )

这个写法要好过

def sq(x):
        return x * x
    
    map(sq, [y for y in range(10)])

，因为后者多定义了一个（污染环境的）函数，尤其如果这个函数只会使用一次的话。而且第一种写法实际上更易读，因为那个映射到列表上的函数具体是要做什么，非常一目了然。如果你仔细观察自己的代码，会发现这种场景其实很常见：你在某处就真的只需要一个能做一件事情的函数而已，连它叫什么名字都无关紧要。Lambda 表达式就可以用来做这件事。

进一步讲，匿名函数本质上就是一个函数，它所抽象出来的东西是一组运算。这是什么意思呢？类比

a = [1, 2, 3]

和

f = lambda x : x + 1

，你会发现，等号右边的东西完全可以脱离等号左边的东西而存在，等号左边的**名字**只是右边之**实体**的标识符。如果你能习惯 \[1, 2, 3\] 单独存在，那么 lambda x : x + 1 也能单独存在其实也就不难理解了，它的意义就是给「某个数加一」这一运算本身。

现在回头来看 map() 函数，它可以将一个函数映射到一个可枚举类型上面。沿用上面给出的 a 和 f，可以写：

map(f, a)

也就是将函数 f 依次套用在 a 的每一个元素上面，获得结果 \[2, 3, 4\]。现在用 lambda 表达式来替换 f，就变成：

map( lambda x : x + 1, [1, 2, 3] )

会不会觉得现在很一目了然了？尤其是类比

a = [1, 2, 3]
    r = []
    for each in a:
        r.append(each+1)

这样的写法时，你会发现自己如果能将「遍历列表，给遇到的每个元素都做某种**运算**」的过程从一个循环里抽象出来成为一个函数 map，然后用 lambda 表达式将这种**运算**作为参数传给 map 的话，考虑事情的思维层级会高出一些来，需要顾及的细节也少了一点。Python 之中，类似能用到 lambda 表达式的「高级」函数还有 reduce、filter 等等，很多语言也都有这样的工具（不过这些特性最好不要在 Python 中用太多，原因详见 [http://www.zhihu.com/question/19794855/answer/12987428][http_www.zhihu.com_question_19794855_answer_12987428] 的评论部分）。这种能够接受一个函数作为参数的函数叫做「高阶函数」（higher-order function），是来自函数式编程（functional programming）的思想。

和其他很多语言相比，Python 的 lambda 限制多多，最严重的当属它只能由一条表达式组成。这个限制主要是为了防止滥用，因为当人们发觉 lambda 很方便，就比较容易滥用，可是用多了会让程序看起来不那么清晰，毕竟每个人对于抽象层级的忍耐 / 理解程度都有所不同。

[v2-c7cb18cbd37262ffad7b04e50fb13b92_hd.jpg]: /images/20220412/7735810fa5644cbf868e62c201bdd748.png
[v2-ab6545c49383236a4af3f28a47886090_hd.jpg]: /images/20220412/fab1eadf297244ea8612430e430580dc.png
[v2-1cc87e82fba0872c2cae3fee08e8fe41_hd.jpg]: /images/20220412/11e9166f86f44649a0ff3ebec2ff7822.png
[v2-145a556d86806c3163391a13428e3f03_hd.jpg]: /images/20220412/ee03726b587247f19c0397ebd90e8034.png
[v2-a712753b42972e094a548ae02fa82987_hd.jpg]: /images/20220412/40a619416fc7453695b6551e17166b57.png
[v2-55de66060b4cb70193ddc7fea201b257_hd.jpg]: /images/20220412/dae500903c1c48cbbeffd867e547caa8.png
[v2-2c57e7411de227d1eb09c327d01fb766_hd.jpg]: /images/20220412/2d056b46200847b79ff77c8b0192f6b0.png
[v2-02eedc528fcee115f5ed0b7b045846d7_hd.jpg]: /images/20220412/e8490f94496f43c98e3a97528c1a113e.png
[v2-b3c9ad03a5333f5e61c3ee8186210634_hd.jpg]: /images/20220412/83d1f76664754e56969a273a1e65a7f3.png
[v2-dbd46cf9d188d0fde25db700c23dcc79_hd.jpg]: /images/20220412/f5e6ce110fe94030aa8bb4f4f6c4098f.png
[v2-28606f4328308baf7f70a36bd689e5ea_hd.jpg]: /images/20220412/fc886860fb82493e8853a055f848c64c.png
[v2-413d712fb74b8406502af05031cf8d4c_hd.jpg]: /images/20220412/0dbcb45a2a7d4cf6aaadb055df6f3d9f.png
[v2-02ae14b4c341e2303ae86e2da6a038a2_hd.jpg]: /images/20220412/82d52b1b409d404eb3cfe3db5d44d9c9.png
[v2-fdef41934be8804fa244e89c84a567f1_hd.jpg]: /images/20220412/ce6eef382d8c43d1be79af8179907591.png
[java.util.function _Java Platform SE 8]: https://link.zhihu.com/?target=https%3A//docs.oracle.com/javase/8/docs/api/java/util/function/package-summary.html
[v2-ad5b3e8d225bf9e6d988c6dc83819637_hd.jpg]: /images/20220412/3ac9c4939207428694ce0d46b5cf2ffc.png
[v2-493168d1a72120d69b0d13b4711c3c9f_hd.jpg]: /images/20220412/cbd6c9c44feb4801b883a14bce2b893e.png
[v2-bdd6f5a6dbf65b578080f7b7ad5ab6cf_hd.jpg]: /images/20220412/0da563681fef49d7ab62a823455a3903.png
[java.util.stream _Java Platform SE 8]: https://link.zhihu.com/?target=https%3A//docs.oracle.com/javase/8/docs/api/java/util/stream/package-summary.html
[v2-e196d987f852b9b8e26a6a9dac648a06_hd.jpg]: /images/20220412/e86e51b33cd44c27ae03b20ccff19a53.png
[v2-12622326a5682285ce235d96291f3bb8_hd.jpg]: /images/20220412/9b470bf4a71b4ad2b9be0df576f1e0a0.png
[v2-f29e6569d0265b91794565ae81d54265_hd.jpg]: /images/20220412/ee681db15bbb4e9f88b95f1ad39e6694.png
[v2-ad2b43af522ea121d3b751c4a0f881c6_hd.jpg]: /images/20220412/0a4dcf268d714c2a933ac68fa62c7618.png
[v2-e78d71b9699504e46d86d77aabec42cf_hd.jpg]: /images/20220412/e709f7cc491644c69668c60f28c76c55.png
[v2-ce82e2c3e69caab9acdec9d4e42cde0e_hd.jpg]: /images/20220412/76c6f0e5f36f4509a6640e8d23e5e7e6.png
[v2-f41305009c93effa8fe047631d5342ed_hd.jpg]: /images/20220412/e2954119a1d8493dbb2c8559840b44c0.png
[v2-cfa0e3298ba94efa29dc9cb8b32356fe_hd.jpg]: /images/20220412/aeacc68dab334e90839f0a69b246516c.png
[v2-4091bb966ac575fd83d5fa07dd7c2dce_hd.jpg]: /images/20220412/1c16da3ddc2b4ff581b78f861c812428.png
[v2-7bc0ac86cd29a1cea92a853d73f41cec_hd.jpg]: /images/20220412/50f30eb6e74d40f6a251cfde50724617.png
[v2-e6b653cd6eced03376d5feb2e5943be3_hd.jpg]: /images/20220412/75e2dcf52c3e46d6bbe3b1b89efa7e77.png
[http_www.zhihu.com_question_19794855_answer_12987428]: http://www.zhihu.com/question/19794855/answer/12987428