高阶函数
一等公民
- 函数在Python是一等公民(First-Class Object)
- 函数也是对象,是可调用对象
- 函数可以作为普通变量,也可以作为函数的参数、返回值
高阶函数
高阶函数(High-order Function)
- 数学概念 y = f(g(x))
- 在数学和计算机科学中,高阶函数应当是至少满足下面一个条件的函数
- 接受一个或多个函数作为参数
- 输出一个函数
练习:自定义sort函数
仿照内建函数sorted,请自行实现一个sort函数(不用使用内建函数),能够为列表元素排序
思考:通过练习,思考sorted函数的实现原理,map、filter函数的实现原理
思路:
- 内建函数sorted函数,它返回一个新的列表,可以设置升序或者降序,可以设置一个用于比较的函数(自定义函数也要实现这些功能)
- 新建一个列表,遍历原列表,和新列表中的当前值依次比较,决定带插入数插入到新列表的什么位置
实现
def sort(iterable, *, key=None, reverse=False): # key指定类型
newlist = []
for x in iterable:
cx = key(x) if key else x # cs 只参与比较,如果有key,则key(x),如果为None,则 x
for i, y in enumerate(newlist):
cy = key(y) if key else y # 同理cx
comp = cx > cy if reverse else cx < cy # 实现reverse参数
if comp:
newlist.insert(i, x)
break #找到了合适的插入位置并插入成功
else: # 不大于,尾部追加
newlist.append(x)
return newlist
内建高阶函数
排序sorted
- 定义:sorted*iterable, *, key=None, reverse=False) ->list
sorted(lst, key=lambda x: 6 -x) # 返回新列表
list.sort(key=lambda x: 6-x) # 就地修改
过滤filter
- 定义:filter(function, iterable)
- 过滤惰性对象,把元素一个个拿来判断是否需要输出,元素只是个数有变化,本身没有变化
- 对可迭代对象进行遍历,返回一个迭代器
- function参数是一个参数的函数,且返回值应当是bool类型,或其返回值等效布尔值。
- function参数如果是None,可迭代对象的每一个元素自身等效布尔值
print(list(filter(lambda x: x%3==0, [1, 9, 55, 150, -2, 3, 123 ]))) # [9, 150, 3, 123]
print(list(filter(None, range(5)))) # [1, 2, 3, 4],None拿元素本身等效,判断是否为True
print(list(filter(None, range(-5, 5)))) # [-5, -4, -3, -2, -1, 1, 2, 3, 4]
- 恒定为True
- 恒定为False
map
- 定义:map(function, *iterables) -> map ibject
- 对多个可迭代对象的元素,按照指定的函数进行映射
- 返回一个迭代器
- map实现字典
- 木桶原理 dict会将[x, y]这个二元结构拆分为kv
- 如果是传入set,无序的,kv会随机排序
- dict在3.6中按输入顺序排序,{x:1, y:2}相当于吧keys拿出来构造字典
柯里化
- 指的是将原来就接受两个参数的函数变成新的接受一个参数的函数的过程。新的函数返回一个以原有第二个参数为参数的函数
- z = f(x, y) 转换成 z = f(x)(y)的形式
- 例如:
def add(x, y):
return x + y
柯里化后:
def add(x):
def _add(y):
return x + y
return _add
通过嵌套函数就可以把函数转换成柯里化函数
- 三层柯里化
def add(x):
def _add(y,z):
return x + y + z
return _add
print(add(4)(5,6)) #15
def add1(x,y):
def _add1(z):
return x + y + z
return _add1
print(add1(4, 5)(6)) #15
def add2(x):
def _add2(y):
def _add3(z):
return x + y + z
return _add3
return _add2
print(add2(4)(5)(6)) #15