python函数的默认参数请勿定义可变类型详解

函数的默认参数请勿定义可变类型

经常会看到这样一句代码警告：

Default argument value is mutable

意思是告诉我们函数的定义中，使用可变类型做默认参数。

那为什么会有这个警告呢？

可变类型和不可变类型

• 可变类型（mutable）：列表，字典

• 不可变类型（unmutable）：数字，字符串，元组

定义可变类型会有什么问题？

def fun(a=[]):
    a.append(1)
    print(a)
if __name__ == "__main__":
    fun()
    fun()
>>> [1]
    [1, 1]

可以发现，默认参数定义可变类型之后，在第二次乃至更多次地调用同一个函数时，默认参数仿佛失去了效果。

此时，在需要重复调用同一个函数的场景中，就非常容易导致问题，并且该问题不易察觉。在debug的时候就会表现成明明没有参数传进来，但是函数参数会有值，并且执行了不应该执行的操作。

导致的原因

我的理解：

我们定义的函数本身是一个function的实例化对象，每当我们进行函数的定义时，就是创建了一个function的实例化对象，而默认参数就是其属性。

在没有传入参数，以默认参数形式调用，并且改变了函数对象的属性值时，改变的属性值被保存下来，当第二次调用同一个对象时，属性值已经发生了改变。

type(fun)
>>> function

解决方法

def fun(a=None):
    if a is None:
    a = []
    a.append(1)
    print(a)
if __name__ == "__main__":
    fun()
    fun()
>>> [1]
    [1]

关于可变类型作为默认参数时的注意点

请先看代码，看看代码的输出是否和你想的一样。

def e(v,l=[]):
    l.append(v)
    return l
l1=e(10)
l2=e(123,[])
l3=e("a")
print(l1,l2,l3)
# 输出： ([10, 'a'], [123], [10, 'a'])

关于上述代码，标准解释是：带有默认参数的表达式在函数被定义的时候被计算，不是在调用的时候计算。

我觉得通俗的解释是：当不传默认值的时候，无论调用多少次该函数，在函数体内部使用的一直都是那个默认的“l”，而这个默认的“l”又是可变类型，所以，它的改变会影响所有指向它的变量，也就是l1和l3。

为了使以上两点的观点更加站的住脚，我进行以下几个测试。

测试：将可变类型列表换为字典

def e(k,v,d={}):
    d[k]=v
    return d
d1=e(10,10)
d2=e(123,123,{})
d3=e("a","a")
print(d1,d2,d3)
# 输出：({'a': 'a', 10: 10}, {123: 123}, {'a': 'a', 10: 10})

测试：来个不可变类型字符串

def e(v,s=""):
    s = s+v
    return s
s1=e("我")
s2=e("a","")
s3=e("是")
print(s1,s2,s3)
# 输出： 我 a 是

其实以上类型都已经说明问题了，但是写个文章不容易，我决定用元祖包列表，看看修改这个列表中的数据会怎样。

实际上是不用测试的，最终打印出来的数据一定是类似**“可变类型时的操作”**时的输出的。

为什么?因为我没有修改元祖本身，修改的是其可变类型列表啊。

不能扯远了，不然扯到深拷贝，浅拷贝了。

测试：元祖包个列表来

def e(v,t=([],)):  # 传递有元素的元祖的时候要记得带逗号哦。
    
    t[0].append(v)
    # t = t[0].append(v)     要知道t[0].append(v)是没有返回值的，t会指向None，如果这样返回，外部打印的全部为None，所以不可以这样返回。
    # 而且 如果你想 t[0]= t[0].append(v) 也是不行的，为啥？你在ipython中输入 dir(())你就知道了。
    # 好吧，其实是因为元祖是可读不可写的。它能切片、遍历就已经很不错了。。。。。
    return t
t1=e("我")
t2=e("a",([],))
t3=e("是")
print(t1,"\n",t2,"\n",t3)
# 输出:
# (['我', '是'],) 
# (['a'],) 
# (['我', '是'],)

小结一下

家里停电了，所以我来到了网吧，这篇文章是在网吧写的，用的是python3的在线编辑器，有的地方编码（比如命名-。-）或者表述的不好请多多见谅。

关于集合，我就不做测试了，集合一般用于去重和关系运算，它是无序，不重复，可变类型。 

来源：https://blog.csdn.net/xu136090331/article/details/100056731