一等函数

指的不是函数中特殊群体,而是指:所有函数都是一等对象

把函数视为对象

函数本身是 function 类的实例

一等函数_第1张图片
函数

一等函数_第2张图片
函数帮助文档

归约函数:
把某个操作连续应用到序列元素上,累加之前的结果,最终归约成一个值
filter、sum、any、all 都是依据这样的思想

可调用对象

意味着可以把调用运算符 () 作用于对象身上
通过内置函数 callable() 可判断对象是否可调用,以下 7 种可调用对象:

  • 用户定义的函数
    用 def、lambda 创建
  • 内置函数
    用 C 语言(CPython)实现的函数,如 len,time.strftime
  • 内置方法
    有 C 语言实现的方法,如 dict.get
  • 方法
    类定义体内定义的函数

  • 调用类时,先调用 _new_方法创建一个实例,然后调用 _init_方法初始化实例
  • 类的实例
    前提是类定义了 _call_ 方法
  • 生成器函数
    使用 yield 关键字的函数或方法,调用生成器函数返回生成器对象

用户定义的可调用类型

函数是对象,任何对象也可以表现的像函数一样,只需实现实例方法_call_

一等函数_第3张图片
可调用

一等函数_第4张图片
简单演示

相当于为 bingo.pick() 创建了一个快捷方式 bingo()
此时内部必须维护一个状态,让实例在调用之间可用,此处为 _item。
装饰器、闭包也有这样的特点

函数内省
一等函数_第5张图片
函数有,普通对象没有的属性
位置参数、仅限关键字参数

仅限关键字参数(keyword-only argument)一般放在 * 参数后面,
并且在 * 后面的位置参数就是仅限关键字参数,只是这个关键字参数没有默认值。


一等函数_第6张图片
仅限关键字参数
获取关于参数的信息
一等函数_第7张图片
注意函数参数

一等函数_第8张图片
参数有关信息
  • _defaults_ 以 tuple 形式返回仅限关键字参数的默认值
  • _code_.co_argcount 是参数的个数 N
  • _code_.co_varnames 前 N 个是参数名,后面是函数体局部变量
    一等函数_第9张图片
    inspect 模块
  • inspect.signature 函数返回一个 inspect.Signature 对象,
  • 它有个 parameters 属性,用来查看名称(name),参数类型(parm.kind),默认值(parm.default),注解(parm.annotation)
  • 它有个 bind 方法,可以把参数绑定到签名中的形参,
    这与 Python 参数传递机制相一致


    一等函数_第10张图片
    bind 方法
  • 返回一个 BoundArguments 对象,有 arguments 属性
函数注解
__annotations__

一等函数_第11张图片
signature

Signature 对象有 parameters 属性(一个字典),以及 return_annotation 属性

函数式编程

由 operator 和 functools 两个包支持

operator 模块
  • operator 包可以导入算术运算符背后的函数,函数式编程经常要使用到这样的函数


    一等函数_第12张图片
    阶乘
  • itemgetter 传入索引号,取出序列中的元素,tuple 形式返回


    取出序列中某个元素
itemgetter 自行构建函数
  • attrgetter 与 itemgetter 几乎一致,只是传入的不是索引号而是属性名,也可以自行构建函数返回 tuple


    一等函数_第13张图片
    attrgetter 与 itemgetter 一样

    自行构建函数
  • methodcaller 自行创建函数,创建的函数会在传入的对象上调用创建函数时指定的函数参数
    这样可以把对象调用的方法隐藏起来,
    在第二个测试中表明 methodcaller 可以冻结某些参数,也就是部分应用(partial application)


    一等函数_第14张图片
    methodcaller
functools.partial 冻结参数

意思是:把原函数某些参数固定,这样使用这个函数可以接受更少的参数
functools 模块提供一系列高阶函数,reduce 最知名,其次就到了 partial 及其变体 partialmethod


一等函数_第15张图片
partial。把函数 mul 的第一个位置参数固定为 3

你可能感兴趣的:(一等函数)