函数和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
}

而调用squaresquareExpression的方法,是完全相同的:

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 = 0

    return {
        value += 1

        return 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”。这说明什么呢?

首先,尽管从makeCounter返回后,value已经离开了它的作用域,但我们多次调用counter1counter2时,value的值还是各自进行了累加。这就说明,makeCounter返回的函数,捕获了makeCounter的内部变量value

此时,counter1counter2就叫做closure,它们既有要执行的逻辑(把value加1),还带有其执行的上下文(捕获的value变量)。

其次,counter1counter2分别有其各自捕获的value,也就是其各自的上下文环境,它们并不共享任何内容。

理解了closure的含义之后,我们就知道了,closure expression和closure并不是一回事儿。然而,捕获变量是{}的专利么?实际上也不是,函数也可以捕获变量。

函数同样可以是一个Closure

还是之前makeCounter的例子,我们把返回的closure expression改成一个local function:

func makeCounter() -> () -> Int {
    var value = 0
    func increment() -> Int {
        value += 1
        return value
    }

    return increment
}

然后,就会发现,之前counter1counter2的例子的执行结果,和之前是一样的:

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

所以,捕获变量这种行为,实际上,跟用{}定义函数也没关系。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 194,457评论 5 459
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 81,837评论 2 371
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 141,696评论 0 319
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 52,183评论 1 263
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 61,057评论 4 355
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 46,105评论 1 272
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 36,520评论 3 381
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 35,211评论 0 253
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 39,482评论 1 290
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 34,574评论 2 309
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 36,353评论 1 326
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 32,213评论 3 312
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 37,576评论 3 298
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 28,897评论 0 17
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,174评论 1 250
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 41,489评论 2 341
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 40,683评论 2 335

推荐阅读更多精彩内容