【Swift脑洞系列】轻松无痛实现异步操作串行

开个新坑,来写写用 Swift 来做函数式编程的技巧。

引言:任何一个沾点 Functional 特性的框架,比如Promise,ReactiveCocoa或者RxSwift都提供了处理异步操作顺序执行的方案。
但其实用 Swift 本身自带很多Functional的特性,自己实现也并不难。
本文探讨了其中一种方法。

提起异步操作的序列执行,指的是有一系列的异步操作(比如网络请求)的执行有前后的依赖关系,前一个请求执行完毕后,才能执行下一个请求。

异步操作的定义

我们定义一般异步操作都是如下形式:

func asyncOperation(complete : ()-> Void){
    //..do something

    complete()
}

常规的异步操作都会接受一个闭包作为参数,用于操作执行完毕后的回调。

那异步操作的序列化会有什么问题呢? 看如下的伪代码:

func asyncOperation(complete : ()-> Void){
    //..do something
    print("fst executed")
    complete()
}

func asyncOperation1(complete : ()-> Void){
    //..do something
    print("snd executed")

    complete()
}

func asyncOperation2(complete : ()-> Void){
    //..do something
    print("third executed")

    complete()
}

我们定义了三个操作asyncOperation,asyncOperation1asyncOperation2,现在我们想序列执行三个操作,然后在执行完后输出 all executed。 按照常规,我们就写下了如下的代码:

asyncOperation { 
    asyncOperation1({ 
        asyncOperation2({ 
            print("all executed")
        })
    })
}

可以看到,明明才三层,代码似乎就有点复杂了,而我们真正关心的代码却只有 print("all executed") 这一行。但为了遵从前后依赖的时许关系,我们不得不小心的处理回调,以防搞错层级。如果层级多了就有可能像这样:

asyncOperation { 
    asyncOperation1({ 
        asyncOperation2({
            asyncOperation3{
                asyncOperation4{
                    asyncOperation5{
                        print("all executed")
                    }
                }
            }
        })
    })
}

这就是传说中的callback hell, 而且这还只是最clean的情况,实际情况中还会耦合很多的逻辑代码,更加无法维护。

用reduce来实现异步操作的串行

那是否有解决办法呢? 答案是有的。很多FRP的框架都提供了类似的实现,有兴趣的读者可以自行查看Promise、 ReactiveCocoa 和 RxSwift中的实现。

然后正如本节的标题所说,Swift提供了两个函数式的特性:

  • 函数是一等公民(可以像变量一样传来传去,可以做函数参数、返回值
  • 高阶函数,比如 mapreduce

接下来我们就用这两个特性,实现一个更加优雅的方式来做异步操作串行。

1. 定义类型

为了方便书写,我们先定义一下异步操作的类型:

typealias AsyncFunc = (()->Void) -> Void

AsyncFunc 代表了一个函数类型,这样的函数有一个闭包参数(其实就是上面 asyncOperation 的类型)

2. 从串行两个操作开始

我们先化简问题,假设我们只需要串行两个异步操作呢? 有没有办法把两个异步操作串行成一个异步操作呢? 想到这里,我们可以YY出这样一个函数:

func concat(left : AsyncFunc , right : AsyncFunc) -> AsyncFunc{

}

concat函数,顾名思义,是连接的意思。指的是将两个异步操作:leftright串行起来,并返回一个新的异步操作。

那现在,我们来思考如何实现concat函数,既然返回的是AsyncFunc 也就是一个函数,那我们可以先YY出这样的结构:

func concat(left : AsyncFunc , right : AsyncFunc) -> AsyncFunc{
    return { complete in

    }
}

仔细回忆 AsyncFunc 的类型: (()->Void) -> Void,所以闭包参数complete就对应前面的参数。

架子已经写好了,我们来思考要实现如何实现最终返回这个函数。根据concat的定义我们可以知道,我们最终返回的是一个 接受一个闭包作为参数, 先执行left,成功后执行right,成功后再执行传入的闭包

你看,这样一分析,逻辑就非常清晰了,闭包参数就是complete. 我们抽丝剥茧,找到了问题的本质,于是很容易可以写出:

func concat(left : AsyncFunc , right : AsyncFunc) -> AsyncFunc{
    return { complete in
        left{
            right{
                complete()
            }
        }
    }
}

核心逻辑和我们最原始的版本其实并没有区别,区别就是不论再多个串行,我们都不需要写更多的嵌套了。

基于最开始的例子,我们测试一下:

let concatedFunction = concat(asyncOperation, 
                               right: asyncOperation1)
concatedFunction { 
    print("all executed")
}

至此,我们以及成功的实现了把两个异步操作合并成一个串行的异步操作。

3. 定义一个运算符

让我们回过头去,再审视一个我们concact的签名:

func concat(left : AsyncFunc , right : AsyncFunc) -> AsyncFunc{

我们忘记什么函数,什么闭包,什么异步。就来看签名:他接收两个相同类型的参数,最后返回一个结果,结果的类型和参数一致。

像什么?像雾像雨又像风? 还是像加法像减法又像乘法?总之我们可以把他看做是某种运算,具备如下性质:

a -> b -> c =  concact(a,b) -> c = concat(  concat(a,b)  , c)       (-> 代表异步地串行执行)

既然是运算,我们干脆给他定义个运算符,修改我们的concat函数如下所示, + 代表这是一种用来表示结合的运算,>代表他有前后的依赖关系,不满足交换律。+> 就是我们自己定义的异步串行运算符。

infix operator +> {associativity left precedence 150}
func +> (left:AsyncFunc,right:AsyncFunc) -> AsyncFunc{
    return { complete in
        left{
            right{
                complete()
            }
        }
    }
}

这样,我们最开始的,五个异步操作串行执行的代码就可以改为这样:

let concatedFunction = asyncOperation +> 
                          asyncOperation1 +>
                          asyncOperation2 +> 
                          asyncOperation3 +> 
                          asyncOperation4 +> 
                          asyncOperation5
concatedFunction { 
    print("all executed")
}

我们先把五个操作串行成一个,然后执行它。

4. 串行任意多个异步操作

那你会说,如果我们有更多的异步操作呢?比如我们有一组异步操作:[AsyncFunc], 难道只能展开来一个个用 +> 来合并吗?

其实,现在我们有了串行运算符,那就很容易想到我们可以拿我们刚才实现的+>运算符来reduce一组异步操作。继续用刚才的例子,我们先写下如下代码:

let reducedFunction = [asyncOperation,asyncOperation1,asyncOperation2].
                                   reduce(【初始值】, combine: +>)

我们把刚才定义的三个异步函数扔到列表里,然后用我们的串行运算符+>来reduce他,combine 其实就是+>,但此时似乎又面临另外一个问题,【初始值】填什么?

每次思考reduce的初始值都是一个哲学问题,大多数情况下我们不希望他参与运算,但又不得不让他参与运算(因为combine是个二元函数),所以我们希望reduce的初始值(记为initial)具备如下性质:

  • combine(initial,x) = x

这种性质,大家应该能联想到一个类似的东西叫 CGAffineTransformIdentity,往深了讲,这其实是一个代数问题,不过这里暂时不讨论。

在本例,我们的initial可以定义为:

let identityFunc:AsyncFunc = {f in f()}

它是这样的一个函数,接受闭包作为参数,然后什么都不做,马上调用闭包。这里大家简单感受一下。_(:зゝ∠)

于是,我们完整的reduce版本可以定义为:

let identityFunc:AsyncFunc = {f in f()}

let reducedFunction = [asyncOperation,asyncOperation1,asyncOperation2,asyncOperation3,asyncOperation4,asyncOperation5].
                       reduce(identityFunc, combine: +>)

reducedFunction { 
    print("all executed")
}

首先定义了identityFunc作为初始值,然后把我们开头定义的几个异步操作reduce成一个:reducedFunction,然后调用了它,可以观察输出结果,和我们最开始写的嵌套版本是一样的。

引申的话题

带参数的串行

真实世界里,当我们需要串行异步操作的时候,一般后一个操作都需要前一个操作的执行结果。比如我们可能需要先请求新闻的列表,拿到新闻的id之后,再请求新闻的一些具体的信息,前后操作有数据上的依赖关系。(当然一般不这么搞,这里只是举个例子)

抽象的来看,我们要处理一组串行的操作,为了方便处理,我们希望函数的签名是一样的,偷懒的做法可以这样:

typealias AsyncFunc = (info : AnyObject,complete:(AnyObject)->Void) -> Void

定义闭包的类型为AnyObject->Void ,同时异步函数也接受一个AnyObject的参数,这样在各个异步函数中通过把参数cast成字典,提取信息,操作完毕后把结果的值传到回调的闭包中。具体实现见一下节

如果嫌AnyObject太丑的话也可以针对串行操作的场景设计一个protocol,然后用protocol作为参数的类型来传递信息。

错误处理

我们最终将一组异步操作,reduce成了一个异步操作,那如果中间某个操作出错了,我们该怎么知道呢? 其中一种实现,可以是:

typealias AsyncFunc = (info : AnyObject,complete:(AnyObject?,NSError?)->Void) -> Void

对比之前带参数的例子,唯一的区别就是在闭包的参数里加了一个NSError?,以及把AnyObject改成了optional,因为这里的AnyObject代表的是结果,如果失败了,结果自然就是nil.

于是,我们的核心,串行运算符可以变成这样:

func +>(left : AsyncFunc , right : AsyncFunc) -> AsyncFunc{
    return { info , complete in
        left(info: info){ result,error in
            guard error == nil else{
                complete(nil,error)
                return
            }
            right(info: info){result,error in
                complete(result,error)
            }
        }
    }
}

逻辑也是很直接的,我们首先尝试执行left,在left的回调中查看error是否是nil,如果不是,说明有错误,则立刻执行complete,并且带上这个error。否则再执行right,并将right的结果调用complete。然后在用+>连接了一组异步操作的时候,一旦有错,这个逻辑就可以让错误一步步传播到最顶层,避免执行了冗余的代码。

一个稍微异步一点的例子

随便建一个single view application,在viewcontroller.swift的顶部(swift 要求 operator 定义在 file scope,所以不能写在类里),添加:

typealias AsyncFunc = (info : AnyObject,complete:(AnyObject?,NSError?)->Void) -> Void

infix operator +> {}

func +> (left:AsyncFunc,right:AsyncFunc) -> AsyncFunc{
    return { info , complete in
        left(info: info){ result,error in
            guard error == nil else{
                complete(nil,error)
                return
            }
            right(info: info){result,error in
                complete(result,error)
            }
        }
    }
}

然后修改viewDidLoad为如下代码:


    override func viewDidLoad() {
        super.viewDidLoad()
        // Do any additional setup after loading the view, typically from a nib.

        let identity:AsyncFunc = {info,complete in complete(nil,nil)}
        
        func dispatchSecond(afterSecond : Int, block:dispatch_block_t){
            let time = dispatch_time(DISPATCH_TIME_NOW, Int64(afterSecond) * Int64(NSEC_PER_SEC))
            dispatch_after(time, dispatch_get_main_queue(), block)
        }
        
        let async1: AsyncFunc = { info, complete in
            dispatchSecond(2, block: {
                print("oh, im first one")
                complete(nil, nil)
            })
        }
        
        let async2: AsyncFunc = { info, complete in
            dispatchSecond(2, block: {
                print("oh, im second one")
                complete(nil, nil)
                
            })
        }
        
        let async3: AsyncFunc = { info, complete in
            dispatchSecond(2, block: {
                print("shit, im third one")
                complete(nil, nil)
                
            })
        }
        
        let async4: AsyncFunc = { info, complete in
            dispatchSecond(2, block: {
                print("fuck, im fourth one")
                complete(nil, nil)
                
            })
        }
        
        let asyncDaddy = [async1,async2,async3,async4].reduce(identity, combine: +>)
        asyncDaddy(info: 0) { (o, e) in
            print("okay, im deadly a last one")
        }
  }

运行程序后,会每两秒有一个输出。:)

本文旨在抛砖引玉,其实swift的functional特性已经非常丰富,稍微探索一下是可以做出很多fancy的应用出来的。

在函数式编程的世界里,我们定义的 identity加上+> 就是一种monoid,常见的monoid还有:

加法: identity 就是 0 , +> 就对应 +
乘法:identity 就是 1 , +> 就对应 *

一点有趣的思考: 刚才我们已经解释了,我们的+> 运算符是不支持交换律的,因为是串行。那它是否支持结合律呢? 比如: (a +> b) +> c 是否等于 a +> (b +> c)

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

推荐阅读更多精彩内容