函数和Closure真的是不同的类型么（）函数和Closure真的是不同的类型

本系列文章为个人学习笔记：禁止转载

提起closure，如果你有过其他编程语言的经历，你可能会立即联想起一些类似的事物，例如：匿名函数、或者可以捕获变量的一对{}，等等。但实际上，我们很容易搞混两个概念：Closure expression和Closure。它们究竟是什么呢？我们先从closure expression开始。
理解Closure Expressions 简单来说，closure expression就是函数的一种简写形式。例如，对于下面这个计算参数平方的函数：

func square(n: Int) -> Int { return n * n }

我们也可以这样来定义：

let squareExpression = { (n: Int) -> Int in return n * n }

而调用square和squareExpression的方法，是完全相同的：

square(2) // 4 squareExpression(2) // 4

并且，它们也都可以当作函数参数来使用：

let numbers = [1, 2, 3, 4, 5] numbers.map(square) // [1, 4, 9, 16, 25] numbers.map(squareExpressions) // [1, 4, 9, 16, 25]

在我们这个例子里，用于定义squareExpression的{}就叫做closure expression，它只是把函数参数、返回值以及实现统统写在了一个{}里。
没错，此时的{}以及squareExpression并不能叫closure，它只是一个closure expression。那么，为什么要有两种不同的方式来定义函数呢？最直接的理由就是，为了写起来更简单。Closure expression可以在定义它的上下文里，被不断简化，让代码尽可能呈现出最自然的语义形态。
例如，当我们把一个完整的closure expression定义在map参数里，是这样的：

numbers.map({ (n: Int) -> Int in return n * n })

首先，Swift可以根据numbers的类型，自动推导出map中的函数参数以及返回值的类型，因此，我们可以在closure expression中去掉它：

numbers.map({ n in return n * n })

其次，如果closure expression中只有一条语句，Swift可以自动把这个语句的值作为整个expression的值返回，因此，我们还可以去掉return关键字：

numbers.map({ n in n * n })

第三，如果你觉得在closure expression中为参数起名字是个意义不大的事情，我们还可以使用Swift内置的$0/1/2/3/4这样的形式作为closure expression的参数替代符，这样，我们连参数声明和in关键字也都可以省略了：

numbers.map({ $0 * $0 })

第四，如果函数类型的参数在参数列表的最后一个，我们还可以把closure expression写在()外面，让它和其它普通参数更明显的区分开：

numbers.map() { $0 * $0 }

最后，如果函数只有一个函数类型的参数，我们甚至可以在调用的时候，去掉()：

numbers.map { $0 * $0 }

看到这里，你就应该知道当我们把closure expression用在它的上下文里，究竟有多方便了，相比一开始的定义，或者单独定义一个函数，然后传递给它，都好太多。但事情至此还没结束，相比这样：

numbers.sorted(by: { $0 > $1 }) // [5, 4, 3, 2, 1]

Closure expression还有一种更简单的形式：

numbers.sorted(by: >) // [5, 4, 3, 2, 1]

这是因为，numbers.sorted(by:)的函数参数是这样的：(Int, Int) -> Bool，而Swift为Int类型定义的>操作符也正好和这个类型相同，这样，我们就可以直接把操作符传递给它，本质上，这和我们传递函数名是一样的。
另外，除了写起来更简单之外，closure expression还有一个副作用，就是默认情况下，我们无法忽略它的参数，编译器会对这种情况报错。来看个例子，如果我们要得到一个包含10个随机数的Array，最简单的方法，就是对一个CountableRange调用map方法：

(0...9).map { arc4random() } // !!! Error in swift !!!

这样看似很好，但是由于map的函数参数默认是带有一个参数的，在我们的例子里，表示range中的每个值，因此，如果我们在整个closure expression里都没有使用这个参数，Swift编译器就会提示错误。
我们不能默认忽略closure expression中的参数，如果坚持如此，我们必须用_明确表明这个意图：

(0...9).map { _ in arc4random() }

这也算是Swift为了类型和代码安全，利用编译器，为我们提供的一层保障。以上，就是和closure expression有关的内容，如你看到的一样，它就是函数的另外一种在上下文中更简单的写法，和用func定义的函数没有任何区别。
那么，究竟什么是closure呢？
究竟什么是Closure？ Closure的定义：a closure is a record storing a function together with an environment。
说的通俗一点，一个函数加上它捕获的变量一起，才算一个closure。来看个例子：

func makeCounter() -> () -> Int { var value = https://www.it610.com/article/0return { value += 1return value } }

makeCounter()返回一个函数，用来返回它被调用的次数。然后，我们分别定义两个计数器，并各自调用几次：

let counter1 = makeCounter() let counter2 = makeCounter()(0...2).forEach { _ in print(counter1()) } // 1 2 3 (0...5).forEach { _ in print(counter2()) } // 1 2 3 4 5 6

这样，三次调用counter1()会在控制台打印“123”，6次调用counter2()会打印“123456”。这说明什么呢？
【函数和Closure真的是不同的类型么（）】首先，尽管从makeCounter返回后，value已经离开了它的作用域，但我们多次调用counter1或counter2时，value的值还是各自进行了累加。这就说明，makeCounter返回的函数，捕获了makeCounter的内部变量value。
此时，counter1和counter2就叫做closure，它们既有要执行的逻辑（把value加1），还带有其执行的上下文（捕获的value变量）。
其次，counter1和counter2分别有其各自捕获的value，也就是其各自的上下文环境，它们并不共享任何内容。
理解了closure的含义之后，我们就知道了，closure expression和closure并不是一回事儿。然而，捕获变量是{}的专利么？实际上也不是，函数也可以捕获变量。
函数同样可以是一个Closure 还是之前makeCounter的例子，我们把返回的closure expression改成一个local function：