深入讨论Python函数的参数的默认值所引发的问题的原因


Posted in Python onMarch 30, 2015

本文将介绍使用mutable对象作为Python函数参数默认值潜在的危害,以及其实现原理和设计目的
陷阱重现

我们就用实际的举例来演示我们今天所要讨论的主要内容。

下面一段代码定义了一个名为 generate_new_list_with 的函数。该函数的本意是在每次调用时都新建一个包含有给定 element 值的list。而实际运行结果如下:
 

Python 2.7.9 (default, Dec 19 2014, 06:05:48)
[GCC 4.2.1 Compatible Apple LLVM 6.0 (clang-600.0.56)] on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> def generate_new_list_with(my_list=[], element=None):
...   my_list.append(element)
...   return my_list
...
>>> list_1 = generate_new_list_with(element=1)
>>> list_1
[1]
>>> list_2 = generate_new_list_with(element=2)
>>> list_2
[1, 2]
>>>

可见代码运行结果并不和我们预期的一样。list_2在函数的第二次调用时并没有得到一个新的list并填入2,而是在第一次调用结果的基础上append了一个2。为什么会发生这样在其他编程语言中简直就是设计bug一样的问题呢?
准备知识:Python变量的实质

要了解这个问题的原因我们先需要一个准备知识,那就是:Python变量到底是如何实现的?

Python变量区别于其他编程语言的申明&赋值方式,采用的是创建&指向的类似于指针的方式实现的。即Python中的变量实际上是对值或者对象的一个指针(简单的说他们是值得一个名字)。我们来看一个例子。
 

p = 1
p = p+1

对于传统语言,上面这段代码的执行方式将会是,先在内存中申明一个p的变量,然后将1存入变量p所在内存。执行加法操作的时候得到2的结果,将2这个数值再次存入到p所在内存地址中。可见整个执行过程中,变化的是变量p所在内存地址上的值

面这段代码中,Python实际上是现在执行内存中创建了一个1的对象,并将p指向了它。在执行加法操作的时候,实际上通过加法操作得到了一个2的新对象,并将p指向这个新的对象。可见整个执行过程中,变化的是p指向的内存地址
函数参数默认值陷阱的根本原因

一句话来解释:Python函数的参数默认值,是在编译阶段就绑定的。

现在,我们先从一段摘录来详细分析这个陷阱的原因。下面是一段从Python Common Gotchas中摘录的原因解释:

Python's default arguments are evaluated once when the function is defined, not each time the function is called (like it is in say, Ruby). This means that if you use a mutable default argument and mutate it, you will and have mutated that object for all future calls to the function as well.

可见如果参数默认值是在函数编译compile阶段就已经被确定。之后所有的函数调用时,如果参数不显示的给予赋值,那么所谓的参数默认值不过是一个指向那个在compile阶段就已经存在的对象的指针。如果调用函数时,没有显示指定传入参数值得话。那么所有这种情况下的该参数都会作为编译时创建的那个对象的一种别名存在。

如果参数的默认值是一个不可变(Imuttable)数值,那么在函数体内如果修改了该参数,那么参数就会重新指向另一个新的不可变值。而如果参数默认值是和本文最开始的举例一样,是一个可变对象(Muttable),那么情况就比较糟糕了。所有函数体内对于该参数的修改,实际上都是对compile阶段就已经确定的那个对象的修改。

对于这么一个陷阱在 Python官方文档中也有特别提示:

Important warning: The default value is evaluated only once. This makes a difference when the default is a mutable object such as a list, dictionary, or instances of most classes. For example, the following function accumulates the arguments passed to it on subsequent calls:
如何避免这个陷阱带来不必要麻烦

当然最好的方式是不要使用可变对象作为函数默认值。如果非要这么用的话,下面是一种解决方案。还是以文章开头的需求为例:
 

def generate_new_list_with(my_list=None, element=None):
  if my_list is None:
    my_list = []
  my_list.append(element)
  return my_list

为什么Python要这么设计

这个问题的答案在StackOverflow 上可以找到答案。这里将得票数最多的答案最重要的部分摘录如下:

Actually, this is not a design flaw, and it is not because of internals, or performance.

It comes simply from the fact that functions in Python are first-class objects, and not only a piece of code.

As soon as you get to think into this way, then it completely makes sense: a function is an object being evaluated on its definition; default parameters are kind of “member data” and therefore their state may change from one call to the other ? exactly as in any other object.

In any case, Effbot has a very nice explanation of the reasons for this behavior in Default Parameter Values in Python.

I found it very clear, and I really suggest reading it for a better knowledge of how function objects work.

在这个回答中,答题者认为出于Python编译器的实现方式考虑,函数是一个内部一级对象。而参数默认值是这个对象的属性。在其他任何语言中,对象属性都是在对象创建时做绑定的。因此,函数参数默认值在编译时绑定也就不足为奇了。
然而,也有其他很多一些回答者不买账,认为即使是first-class object也可以使用closure的方式在执行时绑定。

This is not a design flaw. It is a design decision; perhaps a bad one, but not an accident. The state thing is just like any other closure: a closure is not a function, and a function with mutable default argument is not a function.

甚至还有反驳者抛开实现逻辑,单纯从设计角度认为:只要是违背程序猿基本思考逻辑的行为,都是设计缺陷!下面是他们的一些论调:

> Sorry, but anything considered “The biggest WTF in Python” is most definitely a design flaw. This is a source of bugs for everyone at some point, because no one expects that behavior at first ? which means it should not have been designed that way to begin with.

The phrases “this is not generally what was intended” and “a way around this is” smell like they're documenting a design flaw.

好吧,这么看来,如果没有来自于Python作者的亲自陈清,这个问题的答案就一直会是一个谜了。

Python 相关文章推荐
Python多进程机制实例详解
Jul 02 Python
使用C#配合ArcGIS Engine进行地理信息系统开发
Feb 19 Python
python简单图片操作:打开\显示\保存图像方法介绍
Nov 23 Python
Tensorflow 利用tf.contrib.learn建立输入函数的方法
Feb 08 Python
Python工厂函数用法实例分析
May 14 Python
Python检查ping终端的方法
Jan 26 Python
python sorted方法和列表使用解析
Nov 18 Python
python 链接sqlserver 写接口实例
Mar 11 Python
Python批量安装卸载1000个apk的方法
Apr 10 Python
解决matplotlib.pyplot在Jupyter notebook中不显示图像问题
Apr 22 Python
python实现126邮箱发送邮件
May 20 Python
Python中with上下文管理协议的作用及用法
Mar 18 Python
使用Python标准库中的wave模块绘制乐谱的简单教程
Mar 30 #Python
Python中使用语句导入模块或包的机制研究
Mar 30 #Python
优化Python代码使其加快作用域内的查找
Mar 30 #Python
Python中分数的相关使用教程
Mar 30 #Python
Python2.x中str与unicode相关问题的解决方法
Mar 30 #Python
分享一个常用的Python模拟登陆类
Mar 29 #Python
python实现查询IP地址所在地
Mar 29 #Python
You might like
CodeIgniter中实现泛域名解析
2014/07/19 PHP
thinkPHP实现瀑布流的方法
2014/11/29 PHP
php通过正则表达式记取数据来读取xml的方法
2015/03/09 PHP
PHP 的比较运算与逻辑运算详解
2016/05/12 PHP
PHP排序二叉树基本功能实现方法示例
2018/05/26 PHP
PHP让网站移动访问更加友好方法
2019/02/14 PHP
yii2 开发api接口时优雅的处理全局异常的方法
2019/05/14 PHP
js+FSO遍历文件夹下文件并显示
2007/03/07 Javascript
JavaScript 布尔操作符解析  && || !
2012/08/10 Javascript
ajax中get和post的说明及使用与区别
2012/12/23 Javascript
js/jQuery对象互转(快速操作dom元素)
2013/02/04 Javascript
Javascript的表单与验证-非空验证
2016/03/18 Javascript
JavaScript中用let语句声明作用域的用法讲解
2016/05/20 Javascript
利用Angularjs实现幻灯片效果
2016/09/07 Javascript
百度搜索框智能提示案例jsonp
2016/11/28 Javascript
Vue 2.0的数据依赖实现原理代码简析
2017/07/10 Javascript
vue-router项目实战总结篇
2018/02/11 Javascript
vue-cli 如何打包上线的方法示例
2018/05/08 Javascript
js canvas画布实现高斯模糊效果
2018/11/27 Javascript
详解小程序rich-text对富文本支持方案
2018/11/28 Javascript
vue中element 的upload组件发送请求给后端操作
2020/09/07 Javascript
[01:27]2014DOTA2展望TI 剑指西雅图IG战队专访
2014/06/30 DOTA
python负载均衡的简单实现方法
2018/02/04 Python
Django渲染Markdown文章目录的方法示例
2019/01/02 Python
详解Python基础random模块随机数的生成
2019/03/23 Python
详解python 降级到3.6终极解决方案
2020/02/06 Python
Python实现名片管理系统
2020/02/14 Python
python网络爬虫实现发送短信验证码的方法
2021/02/25 Python
CSS3线性渐变简单实现以及该属性在浏览器中的不同
2012/12/12 HTML / CSS
css3弹性盒模型(Flexbox)详细介绍
2014/10/08 HTML / CSS
小学竞选班干部演讲稿
2014/08/20 职场文书
汽车转让协议书范本
2014/12/07 职场文书
单位同意报考证明
2015/06/17 职场文书
教你用python实现12306余票查询
2021/06/30 Python
python pygame 开发五子棋双人对弈
2022/05/02 Python
python如何利用cv2.rectangle()绘制矩形框
2022/12/24 Python