Python的几个高级语法概念浅析(lambda表达式闭包装饰器)


Posted in Python onMay 28, 2016

1. 匿名函数
匿名函数(anonymous function)是指未与任何标识符绑定的函数,多用在functional programming languages领域,典型应用场合:
1) 作为参数传给高阶函数(higher-order function ),如python中的built-in函数filter/map/reduce都是典型的高阶函数
2) 作为高阶函数的返回值(虽然此处的"值"实际上是个函数对象)
与命名函数(named function)相比,若函数只被调用1次或有限次,则匿名函数在语法上更轻量级。
具体语法上,python通过lambda语法支持函数体为表达式的匿名函数,即:python的lambda表达式本质上是个匿名函数,但其函数体只能是个表达式,不能包含其它语句。
此外,高级动态语言常借助匿名函数实现闭包(closure)或装饰器(decorator)等高级语法。
在一些场合下,lambda表达式的使用使得python程序看起来非常简洁。例如,下面是根据value对dict元素做排序的代码示例:

>>> foo = {'father' : 65, 'mother' : 62, 'sister' : 38, 'brother' : 29, 'me' : 28}
>>> sorted(foo.iteritems(), key=lambda x: x[1])
[('me', 28), ('brother', 29), ('sister', 38), ('mother', 62), ('father', 65)]

2. 闭包
闭包(closure)本质上是一个包含了其引用环境(referencing environment)的函数或函数引用,这里的"引用环境"通常由一张表来维护,该表存储了函数体会访问的非局部变量(non-local variables)的引用。
与C语言中的函数指针相比,闭包允许嵌套函数访问其作用域外的non-local变量,这与Python解释器对变量的作用域查找规则有关(Python支持LEGB的查找规则,想深究的话,可以参考<Learning Python>第4版第17章Scopes关于作用域及查找规则的详细讲解,或者查看这篇文章 做快速了解)。
对于运行时内存分配模型会在线性栈上创建局部变量的语言来说(典型如C语言),通常很难支持闭包。因为这些语言底层实现中,若函数返回,则函数中定义的局部变量均会随着函数栈被回收而销毁。但闭包在底层实现上要求其要访问的non-local变量在闭包被执行的时候保持有效,直到这个闭包的生命周期结束,这意外着这些non-local变量只有在其确定不再被使用时才能销毁,而不能随着定义这些变量的函数返回销毁。因此,天生支持闭包的语言通常采用garbage collection的方式管理内存,因为gc机制保证了变量只有不再被引用时才会由系统销毁并回收其内存空间
具体语法上,闭包通常伴随着函数嵌套定义。以Python为例,一个简单的闭包示例如下:

#!/bin/env python
#-*- encoding: utf-8 -*-

def startAt_v1(x):
 def incrementBy(y):
  return x + y 
 print 'id(incrementBy)=%s' % (id(incrementBy))
 return incrementBy

def startAt_v2(x):
 return lambda y: x + y 

if '__main__' == __name__:
 c1 = startAt_v1(2)
 print 'type(c1)=%s, c1(3)=%s' % (type(c1), c1(3))
 print 'id(c1)=%s' % (id(c1))
 
 c2 = startAt_v2(2)
 print 'type(c2)=%s, c2(3)=%s' % (type(c2), c2(3))

执行结果如下:

id(incrementBy)=139730510519782
type(c1)=<type 'function'>, c1(3)=5
id(c1)=139730510519782
type(c2)=<type 'function'>, c2(3)=5

上述示例中,startAt_v1和startAt_v2均实现了闭包,其中:v1借助嵌套定义函数实现;v2则借助lambda表达式/匿名函数来实现。
我们以v1为例对闭包做说明:
1) 函数startAt_v1接受1个参数,返回1个函数对象,而这个函数对象的行为由嵌套定义的函数incrementBy实现。
2) 对函数incrementBy来说,变量x就是所谓的non-local变量(因为x既非该函数定义的局部变量,又非普通意义上的全局变量),incrementBy实现具体的函数行为并返回。
3) main入口的c1接收到的返回值是个函数对象,从id(incrementBy) == id(c1)可断定,c1"指向"的对象与函数名incrementBy"指向"的其实是同一个函数对象。
4) 受益于Python对闭包的支持,与普通函数的对象相比,c1指向的对象可以访问不在其函数作用域内的non-local变量,而这个变量是由incrementBy的外层包装函数startAt_v1的入参提供的,于是,相当于c1指向的函数对象对其外层包装函数的入参具有"记忆"功能,通过调用外层包装函数创建闭包时,不同的入参被内层函数作为引用环境维护起来。
5) 调用c1(3)时,传入的参数与引用环境维护的外层包装函数的参数一起运算得到最终结果。
以上步骤分析说明了一个闭包从创建到执行的基本原理,理解这个case后,闭包的概念也应该清晰了。

3. 装饰器
python支持装饰器(decorator)语法。装饰器的概念对于初学者来说比较晦涩,因为它涉及到函数式编程的几个概念(如匿名函数、闭包),这也是本文先介绍匿名函数和闭包的原因。

我们引用这篇文章对装饰器的定义:
A decorator is a function that takes a function object as an argument, and returns a function object as a return value.
从这个定义可知,装饰器本质上只是一个函数,它借助闭包的语法去修改一个函数(又称被装饰函数)的行为,即decorator其实是个闭包函数,该函数以被装饰函数名(这个函数名其实是一个函数对象的引用)作为入参,在闭包内修改被装饰函数的行为后,返回一个新的函数对象。
特别说明:decorator并非必须以函数形式出现,它可以是任何可被调用的对象,例如它也可以class形式出现,参见这篇文章给出的例子。
在定义好函数装饰器的前提下,当外部调用这个被装饰函数时,decorator的语法糖会由Python解释器解释为先执行装饰器函数,然后在装饰器返回的新函数对象上继续执行其余语句。
来个实例分析一下:

#!/bin/env python
#-*- encoding: utf-8 -*-

def wrapper(fn):
 def inner(n, m):
  n += 1
  print 'in inner: fn=%s, n=%s, m=%s' % (fn.__name__, n, m)
  return fn(n, m) + 6 // 这里有return且返回值为int对象
 return inner

@wrapper
def foo(n, m):
 print 'in foo: n=%s, m=%s' % (n, m)
 return n * m

print foo(2, 3)

上面的示例中,foo通过@wrapper语法糖声明它的装饰器是wrapper,在wrapper中,定义了嵌套的inner函数(该函数的参数列表必须与被装饰函数foo的参数列表保持一致),装饰器wrapper修改foo的行为后,返回inner(注意:由于inner的返回值是个int对象,故wrpper最终返回的也是个int对象)。
调用foo(2, 3)时,Python解释器先调用wrapper对foo做行为改写,然后返回int对象,不难推测,上述代码的执行结果如下:

in inner: fn=foo, n=3, m=3
in foo: n=3, m=3
foo(2, 3)=15
Python 相关文章推荐
Python2.5/2.6实用教程 入门基础篇
Nov 29 Python
Python3里的super()和__class__使用介绍
Apr 23 Python
Anaconda下安装mysql-python的包实例
Jun 11 Python
python3使用QQ邮箱发送邮件
May 20 Python
Python中按值来获取指定的键
Mar 04 Python
Python 50行爬虫抓取并处理图灵书目过程详解
Sep 20 Python
Python 生成器,迭代,yield关键字,send()传参给yield语句操作示例
Oct 12 Python
原来我一直安装 Python 库的姿势都不对呀
Nov 11 Python
Python实现列表中非负数保留,负数转化为指定的数值方式
Jun 04 Python
如何卸载python插件
Jul 08 Python
Python使用windows设置定时执行脚本
Nov 12 Python
python自动生成sql语句的脚本
Feb 24 Python
python自动翻译实现方法
May 28 #Python
详解Python编程中对Monkey Patch猴子补丁开发方式的运用
May 27 #Python
Python程序中的观察者模式结构编写示例
May 27 #Python
Windows下python2.7.8安装图文教程
May 26 #Python
Java Web开发过程中登陆模块的验证码的实现方式总结
May 25 #Python
剖析Python的Twisted框架的核心特性
May 25 #Python
实例解析Python的Twisted框架中Deferred对象的用法
May 25 #Python
You might like
编写php应用程序实现摘要式身份验证的方法详解
2013/06/08 PHP
PHP和C#可共用的可逆加密算法详解
2015/10/26 PHP
取得元素的左和上偏移量的方法
2014/09/17 Javascript
Javascript页面跳转常见实现方式汇总
2015/11/28 Javascript
jQuery+css实现的时钟效果(兼容各浏览器)
2016/01/27 Javascript
AngularJS 实现点击按钮获取验证码功能实例代码
2017/07/13 Javascript
Vue中定义全局变量与常量的各种方式详解
2017/08/23 Javascript
vue实现页面加载动画效果
2017/09/19 Javascript
Vue中的Vux配置指南
2017/12/08 Javascript
使用vue开发移动端管理后台的注意事项
2019/03/07 Javascript
微信小程序wepy框架学习和使用心得详解
2019/05/24 Javascript
在layui中对table中的数据进行判断(0、1)转换为提示信息的方法
2019/09/28 Javascript
Vue学习之组件用法实例详解
2020/01/06 Javascript
vue与iframe之间的信息交互的实现
2020/04/08 Javascript
Laravel 如何在blade文件中使用Vue组件的示例代码
2020/06/28 Javascript
[02:28]DOTA2 2015国际邀请赛中国区预选赛首日现场百态
2015/05/26 DOTA
python基于phantomjs实现导入图片
2016/05/13 Python
python中返回矩阵的行列方法
2018/04/04 Python
Sanic框架配置操作分析
2018/07/17 Python
python实现蒙特卡罗方法教程
2019/01/28 Python
Python使用sax模块解析XML文件示例
2019/04/04 Python
python pprint模块中print()和pprint()两者的区别
2020/02/10 Python
Python中的X[:,0]、X[:,1]、X[:,:,0]、X[:,:,1]、X[:,m:n]和X[:,:,m:n]
2020/02/13 Python
python 使用while循环输出*组成的菱形实例
2020/04/12 Python
HTML5图片层叠的实现示例
2020/07/07 HTML / CSS
将世界上最美丽的摄影作品转化为艺术作品:Photos.com
2017/11/28 全球购物
Stührling手表官方网站:男女高品质时尚手表的领先零售商
2021/01/07 全球购物
小学教育毕业生自荐信
2013/11/18 职场文书
医学院毕业生自荐信范文
2014/03/06 职场文书
企业宣传策划方案
2014/05/29 职场文书
优秀大专毕业生求职信
2014/08/04 职场文书
2015年党建工作总结
2015/03/30 职场文书
设备技术员岗位职责
2015/04/11 职场文书
运动会1000米加油稿
2015/07/21 职场文书
2015中秋节晚会开场白
2015/07/30 职场文书
三八妇女节致辞
2015/07/31 职场文书