Swift 新特性之柯里化函数

前端之家收集整理的这篇文章主要介绍了Swift 新特性之柯里化函数前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。

前言

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

什么是柯里化函数

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
classCurrying@H_502_57@
{@H_502_57@
@H_502_57@ //uncurried:普通函数@H_502_57@
//接收多个参数的函数(与类相关的函数,统称为方法,但是这里就直接说函数了,方便理解)@H_502_57@
@H_502_57@ funcadd(a:Int,b:Int,c:Int)->Int{@H_502_57@
println(@H_502_57@ "\(a)+\(b)+\(c)"@H_502_57@ )@H_502_57@
@H_502_57@ return@H_502_57@ a+b+c@H_502_57@
}@H_502_57@
//curried:柯里化函数@H_502_57@
//柯里化函数,Swift中已经支持这样的语法了,可以直接写@H_502_57@
funcaddCur(a:Int)(b:Int)(c:Int)->Int{@H_502_57@
)@H_502_57@
a+b+c@H_502_57@
}@H_502_57@
}@H_502_57@

如何定义柯里化函数

如图定义柯里化函数:

柯里化函数实现原理

15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
/***uncurried:普通函数***/@H_502_57@
//接收多个参数的函数@H_502_57@
/***手动实现柯里化函数***/@H_502_57@
//把上面的函数转换为柯里化函数,首先转成接收第一个参数a,并且返回接收余下第一个参数b的新函数(采用闭包)@H_502_57@
//为了让大家都能看懂,我帮你们拆解来看下@H_502_57@
//(a:Int):参数@H_502_57@
//(b:Int)->(c:Int)->Int:函数返回值(一个接收参数b的函数,并且这个函数又返回一个接收参数c,返回值为Int类型的函数)@H_502_57@
//定义一个接收参数a,并且返回一个接收参数b的函数,返回值为Int类型的函数@H_502_57@
funcadd(a:Int)->(b:Int)->(c:Int)->Int{@H_502_57@
//一个接收参数b的函数,返回值为Int类型的函数@H_502_57@
{(b:Int)->(c:Int)->Int@H_502_57@ in@H_502_57@
//返回一个接收余下第一个参数c,并且有返回结果为Int类型的函数@H_502_57@
{(c:Int)->Int@H_502_57@ in@H_502_57@
a+b+c;@H_502_57@
注解:这里为什么能使用参数a,b,c?@H_502_57@
利用闭包的值捕获特性,即使这些值作用域不在了,也可以捕获到他们的值。@H_502_57@
闭包会自动判断捕获的值是值拷贝还是值引用,如果修改了,就是值引用,否则值拷贝。@H_502_57@
注意只有在闭包中才可以,a,c都在闭包中。@H_502_57@
}@H_502_57@
}@H_502_57@
}@H_502_57@
/***curried:系统自带的柯里化函数***/@H_502_57@
funcaddCur(a:Int)(b:Int)(c:Int)->Int{@H_502_57@
)@H_502_57@
a+b+c@H_502_57@
}@H_502_57@
如何调用柯里化函数

由于定义的是一个实例方法,因此调用需要依赖对象.

如图调用柯里化函数:

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

柯里化函数使用注意

  1. 必须按照参数的定义顺序来调用柯里化函数,否则就会报错。

  2. 柯里化函数函数体只会执行一次,只会在调用完最后一个参数的时候执行柯里化函数体。以下调用functionC(c: 30)才会执行函数体。这个可以自己断点调试

13
//curried:柯里化函数@H_502_57@
funcaddCur(a:Int)(b:Int)(c:Int)->Int{@H_502_57@
)@H_502_57@
a+b+c@H_502_57@
}@H_502_57@
//创建柯里化类的实例@H_502_57@
curryInstance=Currying()@H_502_57@
//不会执行柯里化函数体@H_502_57@
functionB=curryInstance.addCur(10)@H_502_57@
//不会执行柯里化函数体@H_502_57@
functionC=functionB(b:20)@H_502_57@
//执行柯里化函数体@H_502_57@
res=functionC(c:30)@H_502_57@

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

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

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

如图使用类获取实例方法:

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

10
//调用function方法@H_502_57@
Currying.@H_502_57@ function@H_502_57@ (curryInstance)()@H_502_57@
//拆解调用function方法@H_502_57@
//1.获取function方法@H_502_57@
let@H_502_57@ =Currying.@H_502_57@ (curryInstance)@H_502_57@
//2.调用function方法@H_502_57@
()@H_502_57@
注解:步骤都是一样,首先获取实例方法,在调用实例方法,实例方法怎么调用,就不需要在教了。@H_502_57@

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

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

特点:

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

好处:

1.代码简洁

2.提高代码复用性

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

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

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

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

实用性一:复用性

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

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

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

需求2:阅读类产品,一个界面的显示,依赖于数据,需要加载完数据之后,才能判断界面显示

这时候也可以利用柯里化函数,来组装界面,把各个模块加载数据的方法抽出来,等全部加载完成,在去执行柯里化函数,柯里化函数主要实现界面的组装。

举例说明:

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

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

原文链接:https://www.f2er.com/swift/326150.html

猜你在找的Swift相关文章