一等函数
在python中,函数是一等对象。编程语言理论家把“一等对象”定义为满足以下条件的程序实体:
- 在运行时创建
- 能赋值给变量或数据结构中的元素
- 能作为参数传给函数
- 能作为函数的返回结果
在python中,整数、字符串和字典都是一等对象,没有什么特别之处。
标题“一等函数”是“把函数视作一等对象”的简称,虽然并不完美,但只是一种称谓。
>>> def factorial(n):
... '''returns n'''
... return 1 if n < 2 else n * factorial(n - 1)
...
>>> factorial(42)
1405006117752879898543142606244511569936384000000000
>>> type(factorial)
>>> fact = factorial
>>> fact
>>> fact(5)
120
>>> map(factorial, range(11))
程序中定义了一个阶乘函数 factorial, 其本身是一个递归函数,可以理解为函数可以作为函数的返回值(的一部分),可以做正常运算,也可以复制给另一个变量fact,也可以作为高等函数map 的一个参数。
高等函数
接受函数作为参数,或者把函数作为结果返回的函数是高等函数
python中常用的高等函数包括map, filter, sorted, reduce等等
>>> fruits = ['strawberry', 'apple', 'banana', 'peach', 'fig', 'cherry']
>>> sorted(fruits)
['apple', 'banana', 'cherry', 'fig', 'peach', 'strawberry']
>>> def reverse(word):
... return word[::-1]
...
>>> reverse('testing')
'gnitset'
>>> sorted(fruits, key=reverse)
['banana', 'apple', 'fig', 'peach', 'strawberry', 'cherry']
sorted 是一个高级函数,其可以接受函数 reverse 作为参数
>>> from functools import reduce
>>> from operator import add
>>> reduce(add, range(100))
4950
>>> sum(range(100))
4950
从python3.0 起,reduce不再是内置函数,其作用被减弱,可轻易被替代。上例是计算0~99 的和。sum 和 reduce 的通用思想是把某个操作连续运用到序列的元素上,累积计算,把一系列值规约成一个值。
匿名函数
lambda关键字在python表达式内创建匿名函数
然而,python简单的句法限制了 lambda 函数的定义体只能使用纯表达式,即lambda 函数的定义体中不能赋值,不能使用while、try等python语句。
匿名函数适合用于作为函数的参数
>>> fruits
['strawberry', 'apple', 'banana', 'peach', 'fig', 'cherry']
>>> sorted(fruits, key=lambda word: word[::-1])
['banana', 'apple', 'fig', 'peach', 'strawberry', 'cherry']