关于 λ 演算在这篇博客 λ表达式与邱奇数,JAVA lamda表达式实现 中做了一个初步的介绍,这次我们来看一些实际应用中的例子:闭包。闭包的知识点有很多,但核心概念就一个,从 λ 演算的角度看便是:自由变量的替换依赖于定义函数的上下文环境。也就是说上下文环境的改变会通过影响函数中的自由变量而直接影响函数的定义。
在 js 中闭包的使用非常多,js 的闭包基于函数作用域链,可被用来定义命名空间及进行变量逃逸,是 js 模块化的基础。但在 java 中用的相对较少,因为 java 的语法限制,从 λ 演算的角度看,java为了语言的简洁和正确性,禁止了我们对函数中自由变量的修改。这便是 java 与 js 闭包不同的核心。在 java 看来,因为本身已经有非常完备的类型支持,不需要借助闭包来定义命名空间。修改自由变量(即在lambda函数之外定义的任何对象)的Lambda函数可能会产生混淆。其他功能的副作用可能会导致不必要的错误。
我们首先来看一下自由变量,对于一个 λ 表达式:
λx.x+1
等价于:
f(x)=x+1
在上述函数中,x为入参,被 λ 绑定,因此 x 是一个绑定变量,这是相对于自由变量的一个概念。而对于如下表达式:
λx.x+y
等价于:
f(x)&