Python函数的默认参数设计示例详解

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

def f(a, L=[]):  L.append(a)  return Lprint(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)>>> p = p + 1>>> id(p)>>> p = 11>>> id(p)>>> p = []>>> id(p)>>> p.append(11)>>> id(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.

由此可知：

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

def f(a, L = 1):  L = a  print(id(L))  return Lprint("self",id(f.__defaults__[0]))print(f(1))print("self",id(f.__defaults__[0]))print(f(33))print("self",id(f.__defaults__[0]))#运行结果：self 43531700641self 435317006433self 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[1]self 4337586048[1, 33]self 4337586048

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

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

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

为什么Python要这么设计

 StackOverflow 上争论很多。