美文网首页iosiOS超神之路Swift进阶指南
【Swift之柯里化函数(精品)】| 那些人追的干货

【Swift之柯里化函数(精品)】| 那些人追的干货

作者: 袁峥 | 来源:发表于2015-04-29 12:39 被阅读16146次

    前言

    此次文章,讲述的是Swift的一个新特性(柯里化函数),可能很多iOS开发人员是第一次听这个词汇,包括我自己也是,自己也用了几天时间才总结出来,希望能帮助到各位咯,个人感觉偏向有开发经验的码友,如果零基础的看懂,希望能给个赞,😄!

    如果喜欢我的文章,可以关注我,随着后续不断学习Swift中,陆续还会有更新ing....

    什么是柯里化函数?

    柯里化(Currying),又称部分求值(Partial Evaluation),是一种函数式编程思想,就是把接受多个参数的函数转换成接收一个单一参数(最初函数的第一个参数)的函数,并且返回一个接受余下参数的新函数技术。

    class Currying
    {
        // uncurried:普通函数
        // 接收多个参数的函数(与类相关的函数,统称为方法,但是这里就直接说函数了,方便理解)
        func add(a: Int, b: Int, c: Int) -> Int{
            println("\(a) + \(b) + \(c)")
            return a + b + c
        }
        
        // curried:柯里化函数
        // 柯里化函数,Swift中已经支持这样的语法了,可以直接写
        func addCur(a: Int)(b: Int)(c: Int) -> Int{
            println("\(a) + \(b) + \(c)")
            return a + b + c
        }
    }
    

    如何定义柯里化函数?

    如图定义柯里化函数:


    Snip20150428_3.png

    柯里化函数实现原理

    class Currying
    {
        /*** uncurried:普通函数 ***/
        // 接收多个参数的函数
        func add(a: Int, b: Int, c: Int) -> Int{
            println("\(a) + \(b) + \(c)")
            return a + b + c
        }
        
        /*** 手动实现柯里化函数 ***/
        // 把上面的函数转换为柯里化函数,首先转成接收第一个参数a,并且返回接收余下第一个参数b的新函数(采用闭包)
        // 为了让大家都能看懂,我帮你们拆解来看下
        // (a: Int) : 参数
        // (b:Int) -> (c: Int) -> Int : 函数返回值(一个接收参数b的函数,并且这个函数又返回一个接收参数c,返回值为Int类型的函数)
        
        // 定义一个接收参数a,并且返回一个接收参数b的函数,并且这个函数又返回一个接收参数c,返回值为Int类型的函数
        func add(a: Int) -> (b:Int) -> (c: Int) -> Int{
        
            // 一个接收参数b的函数,并且这个函数又返回一个接收参数c,返回值为Int类型的函数
            return { (b:Int) -> (c: Int) -> Int in
            
                // 返回一个接收余下第一个参数c,并且有返回结果为Int类型的函数
                return { (c: Int) -> Int in
                    
                    return a + b + c;
                
         注解: 这里为什么能使用参数a,b,c?
               利用闭包的值捕获特性,即使这些值作用域不在了,也可以捕获到他们的值。
               闭包会自动判断捕获的值是值拷贝还是值引用,如果修改了,就是值引用,否则值拷贝。
               
               注意只有在闭包中才可以,a,b,c都在闭包中。
    
                }
                
            }
            
        }
        
        
        /*** curried: 系统自带的柯里化函数 ***/
        func addCur(a: Int)(b: Int)(c: Int) -> Int{
            println("\(a) + \(b) + \(c)")
            return a + b + c
        }
    
        
    }
    
    

    如何调用柯里化函数

    由于定义的是一个实例方法,因此调用需要依赖对象.
    如图调用柯里化函数:

    Snip20150428_8.png
    // 创建柯里化类的实例
    var curryInstance = Currying()
    
    /*** 调用手动实现的柯里化函数 **/
    var r: Int = curryInstance.add(10)(b: 20)(c: 30)
    // 可能很多人都是第一次看这样的调用,感觉有点不可思议。
    // 让我们回顾下OC创建对象 [[Person alloc] init],这种写法应该都见过吧,就是一下发送了两个消息,alloc返回一个实例,再用实例调用init初始化,上面也是一样,一下调用多个函数,每次调用都会返回一个函数,然后再次调用这个返回的函数。
    
    /***** 柯里化函数分解调用 *****/
    // 让我来帮你们拆解下,更容易看懂
    // curryInstance.add(10): 调用一个接收参数a,并且返回一个接收参数b的函数,并且这个函数又返回一个接收参数c,返回值为Int类型的函数
    // functionB: 一个接收参数b的函数,并且这个函数又返回一个接收参数c,返回值为Int类型的函数
    let functionB = curryInstance.add(10)
    
    // functionB(b: 20):调用一个接收参数b的函数,并且这个函数又返回一个接收参数c,返回值为Int类型的函数
    // functionC: 一个接收参数c,返回值为Int类型的函数
    let functionC = functionB(b: 20)
    
    // functionC(c: 30): 调用一个接收参数c,返回值为Int类型的函数
    // result: 函数的返回值
    var res: Int = functionC(c: 30);
    
    // 这里会有疑问?,为什么不是调用curryInstance.add(a: 10),而是curryInstance.add(10),functionB(b: 20),functionC(c: 30),怎么就有b,c,这是因为func add(a: Int) -> (b:Int) -> (c: Int) -> Int这个方法中a是第一个参数,默认是没有外部参数名,只有余下的参数才有外部参数名,b,c都属于余下的参数。
    
    /***** 系统的柯里化函数调用 *****/
    var result: Int = curryInstance.addCur(10)(b: 20)(c: 30)
    
    /***** 系统的柯里化函数拆解调用 *****/
    // 注意:Swift是强类型语言,这里没有报错,说明调用系统柯里化函数返回的类型和手动的functionB类型一致
    
    // curryInstance.addCur(10) : 调用一个接收参数a,并且返回一个接收参数b的函数,并且这个函数又返回一个接收参数c,返回值为Int类型的函数
    // functionB: 一个接收参数b的函数,并且这个函数又返回一个接收参数c,返回值为Int类型的函数
    functionB = curryInstance.addCur(10)
    
    // functionC: 一个接收参数c,返回值为Int类型的函数
    functionC = functionB(b: 20)
    
    // result: 函数的返回值
    res = functionC(c: 30)
    
    // 打印 60,60,60说明手动实现的柯里化函数,和系统的一样。
    println("\(r),\(res),\(result)")
    
    
    

    柯里化函数使用注意

    1. 必须按照参数的定义顺序来调用柯里化函数,否则就会报错。
    var result: Int = curryInstance.addCur(10)(b: 20)(c: 30)
    
    1. 柯里化函数的函数体只会执行一次,只会在调用完最后一个参数的时候执行柯里化函数体。以下调用functionC(c: 30)才会执行函数体。这个可以自己断点调试
    // curried:柯里化函数
    func addCur(a: Int)(b: Int)(c: Int) -> Int{
        println("\(a) + \(b) + \(c)")
        return a + b + c
    }
    
    // 创建柯里化类的实例
    var curryInstance = Currying()
    
    // 不会执行柯里化函数体
    functionB = curryInstance.addCur(10)
    
    // 不会执行柯里化函数体
    functionC = functionB(b: 20)
    
    // 执行柯里化函数体
    res = functionC(c: 30)
    
    

    Swift中实例方法就是一个柯里化函数

    如何获取实例方法?可以直接通过类获取实例方法.

    注意:方法是什么类型,就返回什么类型的函数,不过需要传入一个参数(类实例)才能获取到,如果方法中有外部参数名,外部参数名也属于类型的一部分
    如图使用类获取实例方法:

    Swift中实例方法的另一种调用方式(柯里化调用)

    // 创建柯里化类的实例
    var curryInstance = Currying()
    
    // 调用function方法
    Currying.function(curryInstance)()
    
    // 拆解调用function方法
    // 1.获取function方法
    let function = Currying.function(curryInstance)
    // 2.调用function方法
    function()
    
    注解: 步骤都是一样,首先获取实例方法,在调用实例方法,实例方法怎么调用,就不需要在教了。
    
    

    柯里化函数有什么好处?为什么要使用它?

    这里就需要了解函数式编程思想了,推荐看这篇文章函数式编程初探

    特点:

    1.只用“表达式”(表达式:单纯的运算过程,总是有返回值),不用“语句”(语句:执行某种操作,没有返回值)。2.不修改值,只返回新值

    好处:

    1.代码简洁

    2.提高代码复用性

    3.代码管理方便,相互之间不依赖,每个函数都是一个独立的模块,很容易进行单元测试。

    4.易于“并发编程”,因为不修改变量的值,都是返回新值。

    柯里化函数就是运用了函数式编程思想,因此它也有以上的好处。

    在iOS开发中如何运用柯里化函数(实用性)

    实用性一:复用性

    需求1:地图类产品,很多界面都有相同的功能模块,比如搜索框。

    我们可以利用柯里化函数,来组装界面,把界面分成一个个小模块,这样其他界面有相同的模块,直接运用模块代码,去重新组装下就好了。

    实用性二:延迟性,柯里化函数代码需要前面的方法调用完成之后,才会来到柯里化函数代码中。

    需求2:阅读类产品,一个界面的显示,依赖于数据,需要加载完数据之后,才能判断界面显示。
    这时候也可以利用柯里化函数,来组装界面,把各个模块加载数据的方法抽出来,等全部加载完成,在去执行柯里化函数,柯里化函数主要实现界面的组装。

    举例说明:

    // 组合接口
    // 为什么要定义接口,为了程序的扩展性,以后只需要在接口中添加对应的组合方法就好了。
    protocol CombineUI
    {
        func combine(top: () -> ())(bottom: () -> ())()
    }
    
    // 定义一个界面类,遵守组合接口
    class UI: CombineUI
    {
        func combine(top: () -> ())(bottom: () -> ())() {
            // 搭建顶部
            top()
            
            // 搭建底部
            bottom()
        }
    }
    
    

    联系方式

    点击这下载源代码,如果你喜欢这篇文章,可以继续关注我,微博:吖了个峥,欢迎交流。

    相关文章

      网友评论

      • 奉强:系统自带的那个swift3被干掉了吧
      • alexlee002:柯里化还有一个优势就是便于扩展, 还能实现链式表达(其实OC中用block一样可以)
        比如四则运算, a + b - c,
        如果你函数定义成 func cal(a:Int)(b:Int)(c:Int) -> Int
        那么就不利于扩展了(如果后边又来一个+d怎么办?), 而且也没有发挥出柯里化的优势。
        alexlee002:@alexlee002
        个人愚见, 应该定义成这样会更好

        func add(a:Int) -> (Int) -> Int {
        return {
        (b:Int) -> Int in
        return a + b
        }
        }

        func sub(a:Int) -> (Int) -> Int {
        return { (b:Int) -> Int in
        return b - a
        }
        }

        infix operator <- { associativity left }

        func <- <T, U>(a: T?, f: T -> U) -> U? {
        return a.map(f)
        }

        那么, a + b - c 就可以写成: a <- add(b) <- sub(c)
        如果后边在有其他的,继续链式拼下去就好了: a <- add(b) <- sub(c) <- add(d) <- sub(e) ....
      • 2daa4e802549:广州小码哥教育的王牌讲师!
      • 萌萌_1014:@啊崢 那你知道我是谁啊?
      • 袁峥:@萌萌_1014 乐于分享不好么,
      • 萌萌_1014:阿峥,怎么哪都有你呢?呵呵
      • b0fe4ee40a20:不错,👍

      本文标题:【Swift之柯里化函数(精品)】| 那些人追的干货

      本文链接:https://www.haomeiwen.com/subject/qhmvfttx.html