zoukankan      html  css  js  c++  java
  • Swift 中的高阶函数和函数嵌套

    高阶函数

    在Swift中,函数可做为“一等公民”的存在,也就意味着,我们可以和使用 int 以及 String 一样,将函数当做 参数、值、类型来使用。

    其中,将函数当作一个参数和值来使用可见下:

     typealias  addTwoInts = (Int,Int)->(Int)  
        
        var funcType = addTwoInts.self
        func aAddb(a:Int,b:Int) -> Int {
            return a+b
        }
        
        func addFunc(_ add:addTwoInts,_ a:Int,_ b:Int) -> Int {
            return add(a,b)
        }
    //调用
         self.addFunc(aAddb, 5, 6)       //  print  -->   11     

    调用函数 “ self.addFunc(aAddb, 5, 6) ” 时候,aAddb就是一个典型的“值”, 尽管它实际上是一个函数。 与此同时, 它还做为addFunc的参数来使用。

    虽然这看起来多此一举,但实际这恰恰体现了高阶函数的特点,牺牲一点点代码的简短,将重点体现在逻辑的清晰上。

    一、一个高阶函数的例子

    我更喜欢叫下面的这个函数为高阶函数:

         var names:[String] = ["61","95","8","248","42"]  //一个包含字符串的数组
         names = names.sorted { (s1, s2) -> Bool in   return s1<s2  }
         print(names)     ----->    ["248", "42", "61", "8", "95"]         
    
    

    这是一个排序函数。不要在意结果并没有按照数字的大小排序,那是因为这是字符串排序,规则将按照首个字母的asc值进行比较。

    先看看这个函数的原型:

        public func sorted(by areInIncreasingOrder: (Element, Element) -> Bool) -> [Element]

    这个函数显然是将一个  (Element, Element) -> Bool 类型的函数做为他的参数

    一眼看过去,并不是那么好理解,来看下其内部的实现大概是这样的: 

    extension Array{
        
        typealias  IncreasingOrder = (String,String) -> Bool
        
        mutating func mySorted(_ increasingOrder:IncreasingOrder) -> [String] {
            var newString:[String] = [String]()
    
            // 假设这里采用简单选择排序
            for n in 0..<self.count{
                var tamper:String = self[n] as! String
                for i in n+1..<self.count {  //
                    var next:String = self[i] as! String
                    guard !increasingOrder(tamper,next) else {
                        continue
                    }
                    swap(&tamper, &next)
                    swap(&self[n], &self[i])
                }
                newString.append(tamper)
            }
            return newString
        }
    }

    调用: 

    names = ["61","95","8","248","42"]
      names = names.mySorted { (s1, s2) -> Bool in
                return s1<s2
      }
      print(names)  ----->    ["248", "42", "61", "8", "95"]  

    这里为了简便, 直接将Element替换成了String,针对String 类型来说,这个函数的功能和系统的Sotred的功能是一样的。 如果需要支持更多的类型,可能要使用到泛型,甚至是where的可选绑定。其实系统的排序已经实现可选绑定式的排序了:重载了sorted函数,根据Element的不同类型,推断是否需要进行可选绑定动作。

    通过这个例子,可以看到,所谓的高阶函数,其实就是将一个函数做为另一个函数的参数的语法。这个语法的基础是Swift中的特性:函数的一等公民性质。

    我们可以通过这种类型的语法,将类似的函数的内部代码实现隐藏,只根据参数函数的值定义如何执行内部代码。这中方式实现的代码的灵活度将大大的提高。这为在Swift 中写出使用一个函数替代多个同质化的函数提供了一种手段。 当然,做到这种效果可能还需要使用泛型编程。

    函数嵌套

    大部分情况下,遇到的所有功能都是全局函数,它们在全局范围内定义。如果在函数局部定义一个函数,则称为嵌套函数。

    默认情况下,嵌套函数从外部世界隐藏,但在局部仍然可以正常低调用。一个闭包的函数也可以返回一个嵌套函数,以允许在其他范围内使用嵌套函数。

    func chooseStepFunction(backward: Bool) -> (Int) -> Int {    //全局函数
        func stepForward(input: Int) -> Int { return input + 1 }     //嵌套函数 1
        func stepBackward(input: Int) -> Int { return input - 1 }    //嵌套函数 2
        return backward ? stepBackward : stepForward                 //返回一个函数
    }

    调用:

    var currentValue = -4
    let moveNearerToZero = chooseStepFunction(backward: currentValue > 0)
    // moveNearerToZero now refers to the nested stepForward() function
    while currentValue != 0 {
        print("(currentValue)... ")     ---->  // -4...  // -3...// -2...// -1... 
     currentValue = moveNearerToZero(currentValue) } print("zero!") // zero!

    嵌套函数的本质是返回一个函数,之前所说的将函数当作参数基于同一个特性 -- 函数是swift的 一等公民。

    同样的道理,一个基本类型的既然能够做为局部的变量来存在,函数为什么不行呢? 当然可以。这就是局部函数的由来,看来还是基于一等公民的身份啊。 函数嵌套将遵守与基本类型一样的原则,局部的函数,职能够在局部去访问,在外部是没有效果的。

    如果我们将嵌套的函数匿名的话,也即是我们下面的这种形式:

      typealias  adds = (Int)->(Int)  
      func add(_ c:Int) -> adds {
            return { a in
               return a + c
            }
      }

    调用:

    let addStart = self.add(0)
    let addTwo = addStart(2)
    let addFive = addStart(5)
    print(addTwo)         ----->   2
    print(addFive)        ----->   5

    在add函数中,定义了一个起始的数值: 0,返回一个adds类型的函数。 之后我们可以通过给adds类型的实例 addTwo和addFive传递相应的参数即可实现多个函数的套用。 

    比如,如果我们在做一个以一个起始值做为加减的时候,这中用法就灵活很多,比如,如果我需要以 10做为初始值:

    let add = self.add(10)
    let addTwo = add(2)
    let addFive = add(5)
    print(addTwo)      ==> 12
    print(addFive)     --> 15    

    add已经是另一个函数了。

    而实际上,这就函数嵌套的另一种使用,这有很多的叫法 ,我更愿意叫它 -- 柯里化。

    柯里化

    在计算机科学中,柯里化(Currying)是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 Haskell Curry 命名的,尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。

    在一般函数中,并不能轻易做到柯里化,可能需要借助其他的方案,比如,将多个参数使用替换成一个struct或者class。

    然而高阶函数和嵌套函数却可以很轻易的做到,并保证代码的逻辑清晰。然而为什么要使用柯里化,可以阅读这个文章。 私人觉得,柯里化的优势是去同质化的代码 以及 注重函数的实现减少参数的干扰,简洁提升逻辑。上面的例子刚好解释了柯里化的使用。

     

  • 相关阅读:
    普通父类和抽象父类
    properties文件的读取和写入
    HTTPS接口获取数据报错的问题
    SpringMVC中bean之间的相互应用(循环引用)
    JAVA代码进行排序以及模糊查询
    从TXT读取文本和将数据写入TXT文本的两种方式
    EXCEL最简洁导出(不带样式设置)
    5种线程池的创建方法和作用
    html5是什么
    J2EE,JSP,Java的区别
  • 原文地址:https://www.cnblogs.com/FBiOSBlog/p/7593321.html
Copyright © 2011-2022 走看看