绍兴 网站制作,气象网站建设管理总结,网站广告费怎么做分录,阿里 网站备案核验单目录 Swift函数式编程#xff0d;函数
高阶函数#xff08;Higher order function#xff09;
一等函数#xff08;First class function#xff09;
闭包
函数柯里化#xff08;Function Curring#xff09;
函数式思维
使用函数解决问题
使用函数组合
总结 Sw…目录 Swift函数式编程函数
高阶函数Higher order function
一等函数First class function
闭包
函数柯里化Function Curring
函数式思维
使用函数解决问题
使用函数组合
总结 Swift函数式编程函数
Swift支持函数式编程这一篇介绍Swift中的函数。
高阶函数Higher order function
高阶函数指可以将其他函数作为参数或者返回结果的函数。
Swift中的函数都是高阶函数这和ScalaHaskell一致。与此对照的是Java中没有高阶函数Java 7支持闭包之前。Java中方法没法单独存在方法总是需要和类捆绑在一起。当你需要将一个函数传递作为参数给另外一个函数时需要一个类作为载体来携带函数。这也是Java中监听器Listener的做法。
高阶函数对于函数式语言很重要原因至少有两个: 首先高阶函数意味着您可以使用更高的抽象因为它允许我们引入计算的通用方法。例如可通过抽象出一个通用机制遍历数组并向其中的每个元素应用一个或多个高阶函数。高阶函数可以被组合成为更多更复杂的高阶函数来创造更深层的抽象。 其次通过支持函数作为返回值就可支持构建动态性与适应性更高的系统。 一等函数First class function
一等函数进一步扩展了函数的使用范围使得函数成为语言中的“头等公民”。这意味函数可在任何其他语言结构比如变量出现的地方出现。一等函数是更严格的高阶函数。Swift中的函数都是一等函数。
闭包
闭包是一个会对它内部引用的所有变量进行隐式绑定的函数。也可以说闭包是由函数和与其相关的引用环境组合而成的实体。
函数实际上是一种特殊的闭包,你可以使用{}来创建一个匿名闭包。使用 in 来分割参数和返回类型。
let r 1...3
let t r.map { (i: Int) - Int inreturn i * 2
}
map函数遍历了数组用闭包处理了所有元素。并返回了一个处理过的新数组。
Objective-C在后期加入了对闭包支持。闭包是一种一等函数。通过支持闭包Objective-C拓展其语言表达能力。但是如果将Swift的闭包语法与Objective-C的闭包相比Swift的闭包显得相当简洁和优雅Objective-C的闭包则显得有些繁重复杂。
函数柯里化Function Curring
函数柯里化Function Curring是指接受多个参数的函数变换成接受一个单一参数最初函数的第一个参数的函数该函数返回一个接受余下参数的新函数。这个名词来源于逻辑学家 Haskell Curring。编程语言Haskell也取自这位逻辑学家的名字。
Haskell中函数都可以柯里化。在Haskell里的函数参数的型别声明也暗示了函数是柯里化的。Haskell中返回值和参数之间各个参数之间都是以分隔。这是因为如果你向可以接受多个参数的函数传入一个参数函数仍然有返回值。它的返回值是另外一个函数。这个函数可以接受剩余的参数我们称这个返回的函数为不全呼叫函数。本质上讲Haskell的所有函数都只有一个参数。
下面语句在命令行中展示了Haskell里max的型别
Prelude :type max
max :: Ord a a - a - a
其实也可以写作
max :: (Ord a) a - (a - a)
这意味着如果向max传入一个参数a将返回一个型别为(a - a)的函数。
柯里化为构造新函数带来了方便。也免除了一些一次性的中间函数的编写工作。
Swift可以写出柯里化函数虽然它还是保留了和Java类似的非柯里化函数的写法。以max函数为例Swift中柯里化函数如下
func max(a: Int)(b: Int) - Int {return a b ? a : b;
}let max3 max(3)
max3(b: 5)
函数式思维
使用函数解决问题
一个简单的例子找出1到10这个数组里的奇数。使用Java语言的思维循环控制其实是过程式语言的思维通常的写法会是这样
var odds [Int]()
for i in 1...10 {if i % 2 1 {odds.append(i)}
}println(odds)
输出结果为[1, 3, 5, 7, 9]。而函数式的写法更为简单
odds Array(1...10).filter { $0 % 2 1 }
println(odds)
函数式的写法更为简单的原因是放弃了对循环的控制而使用函数处理序列。如何处理序列即循环体里应该写的代码在函数式编程中是由一个函数通常会是闭包传入。在计算机的底层对语言的实现中仍然使用了循环控制这样的概念。但是在编写函数式编程语言时你并不需要这个概念。
另外一个简单的例子如何找出1到10这个数组里的奇数并且求它们的和呢通常的写法会是这样
var sumOdds 0
var odds [Int]()
for i in 1...10 {if i % 2 1 {odds.append(i)sumOdds i}
}
println(sumOdds)
而函数式版本会是这样
let sum Array(1...10).myFilter { (i) in i % 2 1}.reduce(0) { (total, number) in total number }
println(sum)
如果序列中的某些值做操作过程式语言中由于存在循环变量就可以对循环所处的位置进行判断。而函数式编程语言的做法是使用函数构建一个符合条件的新序列这里是Array(1...10).myFilter { (i) in i % 2 1}用于代表1到10里的奇数。然后再对新序列做进一步操作。这个例子中使用reduce函数对新序列求和。
Haskell这种纯函数式编程语言由于不需要是没有循环控制语句的你看不到forwhile这样的关键字。但在Swift中程序员在使用更高层级的抽象的同时意味着需要放弃对细节的控制。但是这并不意味着无法在需要的时候回收控制。以函数式思维的一个重要方面是知道放弃多少控制以及何时放弃。
使用函数组合
函数式编程思想中面对复杂问题时会使用一个个函数组合来为复杂问题建模。我们使用一个判断质数的例子来表现函数式编程的这一特点。我们会分别使用面向对象编程和函数式编程实现判断质数的算法以对比两者的不同。
质数是因数只能是及其本身的整数。我们将使用这种算法首先找出数字的因数然后求所有因数的和如果所有因数和为该数字加一就可以确定该数字是质数。
为了先用面向对象的通常写法来实现该算法
class PrimeNumberClassifier {let number: Intinit(number: Int){self.number number}func isFactor(potential: Int) - Bool {return number % potential 0}func getFactors() - [Int] {var factors : [Int] ArrayInt()for it in 1...number {if isFactor(it) {factors.append(it)}}return factors}func sumFactors() - Int {let factors getFactors()var sum 0for factor in factors {sum factor}return sum}func isPrime() - Bool {return self.sumFactors() number 1}
}
接着我们使用函数式写法
func isFactor(number: Int)(potential: Int) - Bool {return (number % potential) 0
}func factors(number: Int) - [Int] {let isFactorForNumber isFactor(number)return Array(1...number).filter {isFactorForNumber(potential: $0)}
}func sumFactors(number: Int) - Int {return factors(number).reduce(0){ (total, num) in total num }
}func isPrime(number: Int) - Bool {return sumFactors(number) number 1
}
可以看到我们定义了四个函数每个函数解决一个更小的问题。最后在isPrime为起点把所有函数都串了起来组成了整个算法实现。由于Swift中的函数都是一等函数。所以我们可以使用filter和reduce这样接受闭包的函数提供对筛选和求和更简洁的表达方式。函数式写法中所有的函数都是无状态的无副作用的。也就是说无论你调用几次只要函数的输入参数确定了函数的输出就确定了。由于无状态这里的每个函数都是易于复用的。你可以在任何外部模块放心地使用这些函数而不用像在面向对象语言中那样担心对象的某个状态会对你调用的函数产生影响。
总结
函数式编程的核心是函数函数是“头等公民”。这就像面向对象语言的主要抽象方法是类。Swift中的函数具有函数式语言中的函数的所有特点。这种支持使得你可以很容易地使用Swift写出函数式风格的代码。
