Skip to content

Latest commit

 

History

History
31 lines (25 loc) · 2.01 KB

currying.md

File metadata and controls

31 lines (25 loc) · 2.01 KB

currying 的概念将函数式编程的概念和默认参数以及可变参数结合在一起。一个带n 个参数,curried 的函数固化第一个参数为固定参数,并返回另一个带n-1 个参数函数对象,分别类似于LISP的原始函数car 和cdr 的行为。Currying 能泛化成为偏函数应用(PFA), 这种函数将任意数量(顺序)的参数的函数转化成另一个带剩余参数的函数对象。在某种程度上,这似乎和不提供参数,就会使用默认参数情形相似。这个特征是在python2.5 的时候被引入的,通过functools 模块能很好的给用户调用。

>>> from operator import add, mul
>>> from functools import partial
>>> add1 = partial(add, 1) # add1(x) == add(1, x)
>>> mul100 = partial(mul, 100) # mul100(x) == mul(100, x)
>>>
>>> add1(10)
11
>>> add1(1)
2
>>> mul100(10)
1000
>>> mul100(500)
50000

下面的一个例子来自python 文档中关于在应用程序中使用,在这些程序中需要经常将二进制(作为字符串)转换成为整数。这个例子使用了int()内建函数并将base 固定为2 来指定二进制字符串转化。

>>> baseTwo = partial(int, base=2)
>>> baseTwo.__doc__ = 'Convert base 2 string to an int.'
>>> baseTwo('10010')
18

如果你创建了不带base 关键字的偏函数,比如, baseTwoBAD = partial(int, 2),这可能会让参数以错误的顺序传入int(),因为固定参数总是放在运行时刻参数的左边, 比如baseTwoBAD(x) == int(2, x)。如果你调用它, 它会将2 作为需要转化的数字,base 作为'10010'来传入,接着产生一个异常:

>>> baseTwoBAD = partial(int, 2)
>>> baseTwoBAD('10010')
Traceback (most recent call last): File "<stdin>", line 1, in <module>
TypeError: an integer is required

由于关键字放置在恰当的位置, 顺序就得固定下来,因为,如你所知,关键字参数总是出现在形参之后, 所以baseTwo(x) == int(x, base=2).