python唯一支持的参数传递模式是共享传参,这个概念听起来很高大上,其实什么也不是,共享传参其实就是把实参的引用传递给函数对应的形参,说白了 ,就是形参从实参哪里获取引用的副本。形参和实参只是起名的区别,实际上,都是指向同一块内存区域。
但是,如果如果我们传递的是可变类型的引用的话,可能会出现一点问题:
def f(a,b):
a+=b
return a
x = 1
y = 2
print(f(x,y))
print(x,y)#数字x不变
a = [1,2]
b = [3,4]
print(f(a,b))
print(a,b)#列表a变了
t = (10,20)
u = (30,40)
print(f(t,u))
print(t,u)#元组t没变
3
1 2
[1, 2, 3, 4]
[1, 2, 3, 4] [3, 4]
(10, 20, 30, 40)
(10, 20) (30, 40)
因为x,y是一个整数,即不可变类型,x和a都指向1的引用而已,所以进行运算后,会开辟新的内存空间存储3,然后a指向新开辟的空间,而x还是指向1的引用,所以不会发生变化。
接下来要把a,b作为参数传递给f()函数,而a和b都是可变类型,当对a赋值时,虽然a的内容发生了改变,并不会改变其引用。
所以返回的值没有发生变化。
最后一个传递的仍然是不可变对象,和第一个原理一样。
(最好理清楚深拷贝、浅拷贝、可变类型和不可变类型的关系)
不要使用可变类型作为参数的默认值
平常开发的时候,我们总喜欢把函数里的某个形参给定义默认值,这样可以避免我们没传,或者少传的时候,形参会有自己的默认值,如:
def f(a,b=0):
a+=b
return a
print(f(a = 1))
然而,我们应该避免使用可变类型的对象作为参数的默认值。
def extendlist(val,list = []):
list.append(val)
return list
list1 = extendlist(10)
list2 = extendlist(123,[])
list3 = extendlist("a")
print(list1)
print(list2)
print(list3)
结果:
[10, 'a']
[123]
[10, 'a']
这个执行结果可能和很多人想象的不一样,但是这么执行是由原因的,下面慢慢讲解:
当函数被定义时,这个list已经被赋值了,这个新的默认列表在被函数定义的那一刻创建一次。
本来extendlist(10)和extendlist(123,[])两个函数中的变量本来没什么关系的,是两个栈空间。但是list1和list3中传递的地址其实是同一个引用地址。list2是另外一个引用地址。list1先在list空列表中放入10中,但是list3又往list列表里面放入了“a”元素,又因为list1和list3中传递的地址其实是同一个引用地址,所以list1和list3输出的值一样。而list对应的list是另外一个list,和list1以及list3对应的那个list不是同一个list,所以输出的内容不一样。(这里容易晕,注意)