Java函数式编程(五)：闭包

使用词法作用域和闭包

很多开发人员都存在这种误解，认为使用lambda表达式会导致代码冗余，降低代码质量。恰恰相反，就算代码变得再复杂，我们也不会为了代码的简洁性而在代码质量上做任何妥协，下面我们就会看到。

在前面一个例子中我们已经可以重用lambda表达式了;然而，如果再匹配另外一个字母，代码冗余的问题很快又卷土重来了。我们先来进一步分析下这个问题，然后再用词法作用域和闭包来把它解决掉。

lambda表达式带来的冗余

我们来从friends中过滤出那些以N或者B开头的字母。继续延用上面的那个例子，我们写出的代码可能会是这样的：

第一个predicate判断名字是否是以N开头的，而第二个是判断是否以B开头的。我们把这两个实例分别传递给两次filter方法调用。这样看起来很合理，但是两个predicate产生了冗余，它们只是那个检查的字母不同而已。我们来看下如何能避免这种冗余。

使用词法作用域来避免冗余

第一个方案，我们可以把字母抽出来作为函数的参数，同时把这个函数传递给filter方法。这是个不错的方法，不过filter可不是什么函数都接受的。它只接受只有一个参数的函数，那个参数对应的就是集合中的元素，返回一个boolean值，它希望传进来的是一个Predicate。

我们希望有一个地方能把这个字母先缓存起来，一直到参数传递过来（在这里就是name这个参数）。下面来新建一个这样的函数。

我们定义了一个静态函数checkIfStartsWith，它接收一个String参数，并且返回一个Predicate对象，它正好可以传递给filter方法，以便后面进行使用。不像前面看到的高阶函数那样是以函数作为参数的，这个方法返回的是一个函数。不过它也是一个高阶函数，这个我们在12页的进化，而非变革中已经提到过了。

checkIfStartsWith方法返回的Predicate对象和其它lambda表达式有些不同。在 return name -> name.startsWith(letter)语句中，我们很清楚name是什么，它是传入到lambda表达式中的参数。不过变量letter到底是什么？它是在这个匿名函数的域外边的，Java找到了定义这个lambda表达式的域，并发现了这个变量letter。这个就叫做词法作用域。词法作用域是个很有用的东西，它使得我们可以在一个用用域中缓存一个变量，以便后面在另一个上下文中进行使用。由于这个lambda表达式使用了它的定义域中的变量，这种情况也被称作闭包。关于词法作用域的访问限制，可以看下31页的词法作用域有什么限制吗？

词法作用域有什么限制吗？

在lambda表达式中，我们只能访问它的定义域中的final类型或者实际上是final类型的本地变量。
lambda表达式可能马上就会被调用，也可能延迟进行调用，或者从不同的线程发起调用。为了避免竞争冲突，我们访问的定义域中的本地变量，一旦初始化后是不允许进行修改的。任何修改操作都会导致编译异常。

标记成final后解决了这个问题，不过Java并不强迫我们一定要这么标记。事实上，Java看的是两点。一个是访问的这个变量必须要在定义它的方法中完成初始化，并且要在定义lambda表达式之前。第二，这些变量的值不能进行修改――也就是说，它们事实上就是final类型的，尽管没有这么标记。
无状态的lambda表达式是运行时常量，而那些使用了本地变量的lambda表达则会有额外的计算开销。

在调用filter方法的时候我们就可以用checkIfStartsWith方法返回的lambda表达式了，就像这样：

在调用filter方法之前 ，我们先调用了checkIfStartsWith()方法，把想要的字母传参进去。这个调用很快就返回了一个lambda表达式，然后我们把它传参给filter方法。

通过创建了一个高阶函数（这里是checkIfStartsWith）并且使用了词法作用域，我们成功的去除了代码中的冗余。我们不用再重复的判断name是不是以某个字母开头了。

重构，缩小作用域

在前面的例子中我们用了一个static方法，不过我们不希望用static方法来缓存变量，这样把我们的代码搞乱了。最好能把这个函数的作用域缩小到使用它的地方。我们可以用一个Function接口来实现这个。

这个lambda表达式取代了原来的static方法，它可以放到函数里面，在需要用到它之前定义一下就好了。startWithLetter变量引用的是一个入参是String，出参是Predicate的Function。

和使用static方法相比，这个版本简单多了，不过我们还可以对它继续重构让它更简洁点。从实际的角度看，这个函数和前面的static方法是一样的；它们都接收一个String返回一个Predicate。为了不显式的声明一个Predicate， 我们用一个lamdba表达式整个给替换掉。

我们把那些乱七八糟的东西给干掉了，但是我们还可以去掉类型声明，让它更简洁一点，Java编译器会根据上下文去做类型推导的。我们来看下改进后的版本。

在这节中我们用到了高阶函数。我们看到了如果把函数传递给另一个函数，如何在函数中创建函数，以及如何通过函数来返回一个函数。这些例子都展示了lambda表达式带来的简洁性和可重用性。

本节中我们充分发挥了Function和Predicate的作用，不过我们来看下它们两个到底有什么区别。Predicate接受一个类型为T的参数，返回一个boolean值来代表它对应的判断条件的真假。当我们需要做条件判断的时候，我们可以使用Predicateg来完成。像filter这类对元素进行筛选的方法都接收Predicate作为参数。而Funciton代表的是一个函数，它的入参是类型为T的变量，返回的是R类型的一个结果。它和只能返回boolean的Predicate相比要更加通用。只要是将输入转化成一个输出的，我们都可以使用Function，因此map使用Function作为参数也是情理之中的事情了。

可以看到，从集合中选取元素非常简单。下面我们将介绍下如何从集合中只挑选出一个元素。