高阶函数引文叫Higher-order function。高阶函数就是把函数当成参数传递的一种函数。
- 变量可以指向函数
以python内置的求绝对值的函数abs()
为例,调用该函数
|
|
如果只写abs
|
|
可见,abs(-10)
是函数调用,而abs
是函数本身。
要获得函数调用结果,可以把结果赋值给变量
|
|
函数本身也可以复制给变量,即:变量可以指向函数。
|
|
如果一个变量指向了一个函数,那么,可以通过该变量来调用这个函数
|
|
变量f
已经指向了abs
函数本身
- 函数名也是变量
函数名就是指向函数的变量!对于abs()
这个函数,完全可以把函数名abs
看成变量,它指向一个可以计算绝对值的函数!
如果把abs
指向其他对象
|
|
把abs
指向10
后,就无法通过abs(-10)
调用该函数了!因为abs
这个变量已经不指向求绝对值函数了!
当然实际代码绝对不能这么些,这里是为了说明函数名也是变量。要恢复abs
函数,需要重启python交互环境。
注意:由于abs
函数实际上是定义在_builtin_
模块中的,所以要让修改abs
变量的指向在其它模块也生效,要用_builtin_.abs = 10
。
- 传入函数
既然变量可以指向函数,函数的参数能接收变量,那么一个函数就可以接收另一个函数作为参数,这种函数就称之为高阶函数。
一个简单的高阶函数
|
|
当调用add(-5, 6, abs)
时,参数x
,y
和f
分别接收-5
,6
和abs
,根据函数定义,可以推导计算过程为
|
|
编写高阶函数,就是让函数的参数能够接收别的函数。
把函数作为参数传入,这样的函数成为高阶函数,函数式编程就是指这种高度抽象的编程范式。
map()函数
python内建了map()
函数。
map()
函数接收两个参数,一个是函数,一个是序列,map
将传入的函数一次作用到序列的每个元素,并把结果作为新的list返回。
|
|
map()
传入的第一个参数是f
,即函数对象本身。
不需要map()
函数,写一个循环,也可以计算出结果
|
|
但是,从上面循环代码,不能一下看明白“把f(x)作用在list的每一个元素并把结果生成一个新的list”。
所以,map()
作为高阶函数,事实上它把运算规则抽象了,因此,不但可以计算简单的
|
|
还可以计算任意复杂的函数
例:把这个list所有数字转为字符串
|
|
只需要一行代码。
reduce()函数
python也内建了reduce()
函数。
reduce把一个函数作用在一个序列[x1, x2, x3…]上,这个函数必须接收两个参数,reduce把结果继续和序列的下一个元素做累积计算
|
|
对一个序列求和,就可以用reduce实现
|
|
当然求和运算可以直接用python内建函数sum()
,没必要动用reduce。
但是如果把序列[1, 3, 5, 7, 9]
变换成整数13579,reduce就可以派上用场了
|
|
这个例子本身没多大用处,如果考虑到字符串str
也是一个序列,对上例稍加改动,配合map()
,就可以写出把str
转换为int
的函数
|
|
整理成一个str2int
的函数就是
|
|
也就是说,结舌python没有提供int()
函数,完全可以自己写一个字符串转化为整数的函数,而且只需要几行代码
filter()函数
python内建的filter()
函数用于过滤序列。
和map()
类似,filter()
也接收一个函数和一个序列。和map()
不同的是,filter()
把传入的函数一次作用与每个元素,然后根据返回值是true
还是false
决定保留还是丢弃该元素。
例:在一个list中,删掉偶数,只保留奇数
|
|
把一个序列中的空字符串删掉
|
|
可以见filter()
这个高阶函数,关键在于正确实现一个“筛选”函数。
sorted()函数
排序也是在程序中经常用到的算法。无论使用冒泡排序还是快速排序,排序的核心是比较两个元素的大小。如果是数字,可以直接比较,但如果是字符串或者两个dict,直接比较数学上的大小就没有意义了,因此,比较的过程必须通过函数抽象出来。通常规定,对于两个元素x
和y
,如果认为x < y
,则返回-1
,如果认为x == y
,则返回0
,如果认为x > y
,则返回1
,这样,排序算法就不用关心具体的比较过程,而是根据比较结果直接排序。
python内置的sorted()
函数就可以对list进行排序
|
|
此外,sorted()
函数也是一个高阶函数,它还可以接收一个比较函数来实现自定义的排序。比如倒序排序,就可以自定义一个reversed_cmp
函数
|
|
传入自定义的比较函数reversed_cmp
,就可以实现倒序排序
|
|
再看一个字符串排序
|
|
默认情况下,对字符串排序,是按照ASCII的大小比较的,由于'z' < 'a'
,结果,大写字母Z
会排在小写字母a
的前面。
现在提出排序应该忽略大小写,按照字母序排序。要实现这个算法,不必对现有代码大加改动,只要能定义出忽略大小写的比较算法就可以
|
|
忽略大小写来比较两个字符串,实际上就是把字符串都变成大写或者都变成小写,再比较
这样给sorted
传入比较函数,即可实现忽略大小写的排序
|
|
高阶函数的抽象能力是非常强大的,而且,核心代码可以保持得非常简洁。