Swift中的函数柯里化


Currying

Swift的各种特性已经被很多人研究过,但有一个特性只有较少人提及,那就是函数柯里化(Function Currying)。苹果在Swift Language Guide没有添加任何关于柯里化函数的信息,只在Swift Language Reference对它简单描述了一下。这对于一个强大而有用的特性来说是很遗憾的,它值得获得更多人关注。本文将试图覆盖柯里化函数的基本知识点和一些可能的使用场景,希望对你了解Swift中的函数柯里化有所帮助。

首先我假定你已经对函数柯里化有一定了解,它在其他许多语言里都有实现。如果没有,网上有不少文章解释它是什么以及如何工作,你可以去找来看看。简 短的解释起来,函数柯里化就是,你有一个接收参数的函数,你只提供给它部分的参数,它不是立刻执行而是返回给你一个新的函数,这个新的函数接收剩下的参 数,其内部则指向原始函数。当提供的参数完整了才会最终执行原始函数。

柯里化函数的一个应用是completion handlers。想象你有一个函数,它创建了一个http请求,代码如下:

func doGET(url: String, completionHandler: ([String]?, NSError?) -> ()) {
    // do a GET HTTP request and call the completion handler when receiving the response
}

这是个大多数网络库经常使用的模式,我们能将url作为参数来调用它,然后在completion handler做一些业务处理:

doGET("http://someurl.com/items?all=true", completionHandler: { results, error in
    self.results = results
    self.resultLabel.text = "Got all items"
    self.tableView.reloadData()
    )}

只是这样一来completion handler会变得很复杂,而我们又想在不同的地方复用它,这时候我们可以将逻辑部分提取出来,放到一个单独的函数里,从而达到我们的目的。幸运的 是,Swift里面函数能够作为闭包使用,所以我们能够直接将completion handler函数作为参数传给doGET函数:

func completionHandler(results: [String]?, error: NSError?) {
    self.results = results
    self.resultLabel.text = "Got all items"
    self.tableView.reloadData()
}
  
func getAll() {
    doGET("http://someurl.com/items?all=true", completionHandler)
}
  
func search(search: String) {
    doGET("http://someurl.com/items?q=" + search, completionHandler)
}

只要completion handler只做同一件事,上面的这些代码就能工作良好。但现实中,我们面对的情况经常不是这样。在上面的例子里,resultLabel会永远显示“Got all items”,让我们将它改成“Got searched items”以便在搜索请求中显示:

func search(search: String) {
    doGET("http://someurl.com/items?q=" + search, {results, error in
        self.completionHandler(results, error: error)
        self.resultLabel.text = "Got searched items"
    })
}

这段代码能正常工作,但看起来不太好。我们真正需要的是,让它在completion handler函数中有动态的行为。我们能够将completionHandler修改为接收一个text参数,传给resultLabel,然后将真正的completion handler作为一个闭包返回。

func completionHandler(text: String) -> ([String]?, NSError?) -> () {
    return {results, error in
        self.results = results
        self.resultLabel.text = text
        self.tableView.reloadData()
    }
}
  
func getAll() {
    doGET("http://someurl.com/items?all=true", completionHandler("Got all items"))
}
  
func search(search: String) {
    doGET("http://someurl.com/items?q=" + search, completionHandler("Got searched items"))

当整个结果出来后,我们会发现这恰恰是柯里化函数能做的其中一件事。如果使用函数柯里化,我们只需要将真正的completion handler的参数作为第二个参数组传递给我们的函数就行了:

func completionHandler(text: String)(results: [String]?, error: NSError?) {
    self.results = results
    self.resultLabel.text = text
    self.tableView.reloadData()
}

使用第一个text参数调用函数并不会执行,而是返回一个新的函数,这个函数使用[String]?, NSError?作为参数,只有当这个函数被调用,completionHandler函数才会被真正执行。

你能够对函数创建任意多层的柯里化,你还能将最后一个参数组置空,以获得对已接收完整参数的函数的引用。说的有点绕口,还是让代码来说话。我们有一个简单的函数用于设置resultLabel的text属性:

func setResultLabelText(text: String) {
    resultLabel.text = text
}

但由于某些原因,我们需要异步的调用这个方法。使用强大的GCD(Grand Central Dispatch)能够实现我们的要求:

dispatch_async(dispatch_get_main_queue(), {
    self.setResultLabelText("Some text")
})

但dispatch_async函数只接受不带参数的闭包作为参数,我们需要为它创建一个内部的闭包。但如果setResultLabelText是一个柯里化函数,我们能够将参数传递给它,然后获得一个不带参数的函数的引用,这样我们就能直接在dispatch_async函数中使用它了。

func setResultLabelText(text: String)() { // now curried
    resultLabel.text = text
}
  
dispatch_async(dispatch_get_main_queue(), setResultLabelText("Some text"))

上面的代码看起来很不错,但你并不是总有权限去直接修改函数,比如当使用第三方库的时候。这种情况下你不能将原始函数转换为一个柯里化函数,或者你 已经在很多其他的地方用过这个函数,所以不好修改它。不过我们还是有办法的,通过创建一个新的函数并将其柯里化,我们能够达到类似的目的:

// defined in global scope
func curry<T>(f: (T) -> (), arg: T)() {
    f(arg)
}

现在我们可以这么做:

func setResultLabelText(text: String) {
    resultLabel.text = text
}
 
dispatch_async(dispatch_get_main_queue(), curry(setResultLabelText, "Some text"))

在这个示例里,它可能和使用内部闭包的难易度差不多,但能够将接收了部分参数的函数到处传送,这样的功能是非常强大的,并且已经在很多编程语言里得到应用。

不幸的是,最后的示例同时也展示了Swift中实现柯里化函数的缺点:你不能简单的转换一般函数。如果能将任意接受多参数函数转换为柯里化函数,而 非创建一个新的函数那该是多好啊。另一个缺点是只能按定义的参数顺序来柯里化函数,这将不能让你执行反柯里化(比如只接受最后一个参数)或只提供你想提供 的参数。希望Swift能够在未来的演化中覆盖这些,并提供更强大的柯里化特性。

转自

英文原贴

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

推荐阅读更多精彩内容