Python函数的默认参数的设计【原创】

 

在Python教程里，针对默认参数，给了一个“重要警告”的例子：

def f(a, L=[]):
    L.append(a)
    return L

print(f(1))
print(f(2))
print(f(3))

默认值只会执行一次，也没说缘由。会打印出结果：

[1]
[1, 2]
[1, 2, 3]

由于学的第一门语言是Ruby，因此感受有些奇怪。 但确定的是方法f必定储存了变量L。

 

准备知识：指针

p指向不可变对象，好比数字。则至关于p指针指向了不一样的内存地址。

p指向的是可变对象，好比list。list自身的改变，并不会改变list对象自身所在的内存地址。因此p指向的内存地址不变。

>>> p = 1
>>> id(p)
4523801232
>>> p = p + 1
>>> id(p)
4523801264
>>> p = 11
>>> id(p)
4523801552

>>> p = []
>>> id(p)
4527080640
>>> p.append(11)
>>> id(p)
4527080640

 

 

根本缘由

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.

由此可知：

1. 在运行代码时，运行到函数定义时，默认参数的表达式就被执行了。 
2. 函数调用时，不会再次运行默认参数的表达式。⚠️ 这点和Ruby彻底不一样。
3. 由此可知，若是默认参数，指向一个不变对象，例如L = 1。那么在函数调用时，在函数体内对L从新赋值，L实际上是一个新的指针, 指向的是一个新的内存地址。而原来默认参数L自己及指向的内存地址，已经储存在最开始编译时的函数定义中。能够用__default__查看。
4. 若是默认参数指向的是一个可变对象，如list, 那么L.append(a)是对可变对象自身的修改，L指向的内存地址不变。因此每次调用函数，默认参数取出的都是这个内存地址的对象。

第三条，修改上面的例子：

 

def f(a, L = 1):
    L = a
    print(id(L))
    return L

print("self",id(f.__defaults__[0]))
print(f(1))
print("self",id(f.__defaults__[0]))
print(f(33))
print("self",id(f.__defaults__[0]))

#运行结果：
self 4353170064
4353170064
1
self 4353170064
4353171088
33
self 4353170064

默认参数L，在编译阶段就绑定了，储存在__default__内。函数体内的L = a表达式，生成的是新的变量。返回的L是新的变量，和默认参数无关。

 

第四条，仍是上面的例子, 改一下默认参数的类型为可变对象list:

def f(a, L = []):
    L.append(a) print(id(L))
    return L
# L = f(1)
print("self",id(f.__defaults__[0]))
print(f(1))
print("self",id(f.__defaults__[0]))
print(f(33))
print("self",id(f.__defaults__[0]))

#返回结果
self 4337586048
4337586048
[1]
self 4337586048
4337586048
[1, 33]
self 4337586048

由id号可知，返回的是默认参数自身。

 

如何避免这个陷阱带来没必要要麻烦

def f(a, L = None):
    if L is None:
        L = []
    L.append(a)
    return L

 

为何Python要这么设计

 StackOverflow 上争论不少。

 

Ruby之因此没有这个问题，我想是由于Ruby的def关键字定义了一个封闭做用域，任何数据都必须经过参数传入到方法内，才能用。

和Ruby比，Python参数的做用被大大消弱了。Python的出现晚于Ruby，其创始人确定参考了Ruby的设计。抛弃了这个设计，选择了相似javascript的函数方式。def定义的函数，执行时是能够接收外部做用域的变量的。

有观点认为：

出于Python编译器的实现方式考虑，函数是一个内部一级对象。而参数默认值是这个对象的属性。在其余任何语言中，对象属性都是在对象建立时作绑定的。所以，函数参数默认值在编译时绑定也就不足为奇了。

 

本文参考了：http://cenalulu.github.io/python/default-mutable-arguments/#toc1 ，并加入了本身的理解。欢迎转载！