Python学习笔记系列之012:传值还是传引用?

时间:2022-05-25 05:34:54

导读:

1.变量和对象

2.可变对象与不可变对象

3.引用传参

 

在C/C++中,传值和传引用是函数参数传递的两种方式。由于思维定式,从C/C++转过来的Python初学者也经常会感到疑惑:在Python中,函数参数传递是传值,还是传引用呢?
看下面两段代码:

def foo(arg):
arg = 5
print(arg)
x = 1
foo(x) # 输出5
print(x) # 输出1

def foo(arg):
arg.append(3)
x = [1, 2]
print(x) # 输出[1, 2]
foo(x)
print(x) # 输出[1, 2, 3]

看完第一段代码,会有人说这是值传递,因为函数并没有改变x的值;看完第二段代码,又会有人说这是传引用,因为函数改变了x的内容。
那么,Python中的函数到底是传值还是传引用呢?

一、变量和对象

我们需要先知道Python中的“变量”与C/C++中“变量”是不同的。
在C/C++中,当你初始化一个变量时,就是声明一块存储空间并写入值。相当于把一个值放入一个盒子里:
int a = 1;
Python学习笔记系列之012:传值还是传引用?

现在”a”盒子里放了一个整数1,当给变量a赋另外一个值时会替换盒子a里面的内容:
a = 2;

Python学习笔记系列之012:传值还是传引用?

当你把变量a赋给另外一个变量时,会拷贝a盒子中的值并放入一个新的“盒子”里:
int b = a;

Python学习笔记系列之012:传值还是传引用?

在Python中,一个变量可以说是内存中的一个对象的“标签”或“引用”:
a = 1

Python学习笔记系列之012:传值还是传引用?

现在变量a指向了内存中的一个int型的对象(a相当于对象的标签)。如果给a重新赋值,那么标签a将会移动并指向另一个对象:
a = 2

Python学习笔记系列之012:传值还是传引用?

原来的值为1的int型对象仍然存在,但我们不能再通过a这个标识符去访问它了(当一个对象没有任何标签或引用指向它时,它就会被自动释放)。如果我们把变量a赋给另一个变量,我们只是给当前内存中对象增加一个“标签”而已:
b = a

Python学习笔记系列之012:传值还是传引用?

综上所述,在Python中变量只是一个标签一个标识符,它指向内存中的对象。故变量并没有类型,类型是属于对象的,这也是Python中的变量可以被任何类型赋值的原因。


在python中,值是靠引用来传递来的。
我们可以用id()来判断两个变量是否为同一个值的引用。 我们可以将id值理解为那块内存的地址标示。

Python学习笔记系列之012:传值还是传引用?Python学习笔记系列之012:传值还是传引用?
>>> a = 1
>>> b = a
>>> id(a) 
13033816
>>> id(b) # 注意两个变量的id值相同
13033816
>>> a = 2
>>> id(a) # 注意a的id值已经变了
13033792
>>> id(b) # b的id值依旧
13033816

>>> a = [1, 2]
>>> b = a
>>> id(a)
139935018544808
>>> id(b)
139935018544808
>>> a.append(3)
>>> a
[1, 2, 3]
>>> id(a)
139935018544808
>>> id(b) # 注意a与b始终指向同一个地址
139935018544808
View Code

 

二、可变对象与不可变对象

在Python的基本数据类型中,我们知道numbers、strings和tuples是不可更改的对象,而list、dict、set是可以修改的对象。那么可变与不可变有什么区别呢?看下面示例:

a = 1 # a指向内存中一个int型对象
a = 2 # 重新赋值

当将a重新赋值时,因为原来值为1的对象是不能改变的,所以a会指向一个新的int对象,其值为2。(如上面的图示)

lst = [1, 2] # lst指向内存中一个list类型的对象
lst[0] = 2 # 重新赋值lst中第一个元素

因为list类型是可以改变的,所以第一个元素变更为2。更确切的说,lst的第一个元素是int型,重新赋值时一个新的int对象被指定给第一个元素,但是对于lst来说,它所指的列表型对象没有变,只是列表的内容(其中一个元素)改变了。
好了,到这里我们就很容易解释开头的两段代码了:

def foo(arg):
arg = 5
print(arg)
x = 1
foo(x) # 输出5
print(x) # 输出1

上面这段代码把x作为参数传递给函数,这时x和arg都指向内存中值为1的对象。然后在函数中arg = 5时,因为int对象不可改变,于是创建一个新的int对象(值为5)并且令arg指向它。而x仍然指向原来的值为1的int对象,所以函数没有改变x变量。

def foo(arg):
arg.append(3)
x = [1, 2]
print(x) # 输出[1, 2]
foo(x)
print(x) # 输出[1, 2, 3]

这段代码同样把x传递给函数foo,那么x和arg都会指向同一个list类型的对象。因为list对象是可以改变的,函数中使用append在其末尾添加了一个元素,list对象的内容发生了改变,但是x和arg仍然是指向这一个list对象,所以变量x的内容发生了改变。

三、引用传参

可变类型与不可变类型的变量分别作为函数参数时,会有什么不同吗?
Python有没有类似C语言中的指针传参呢?

>>> def selfAdd(a):
... """自增"""
... a += a
...
>>> a_int = 1
>>> a_int
1
>>> selfAdd(a_int)
>>> a_int
1
>>> a_list = [1, 2]
>>> a_list
[1, 2]
>>> selfAdd(a_list)
>>> a_list
[1, 2, 1, 2]

Python中函数参数是引用传递(注意不是值传递)。对于不可变类型,因变量不能修改,所以运算不会影响到变量自身;而对于可变类型来说,函数体中的运算有可能会更改传入的参数变量。

想一想为什么

>>> def selfAdd(a):
... """自增"""
... a = a + a # 我们更改了函数体的这句话
...
>>> a_int = 1
>>> a_int
1
>>> selfAdd(a_int)
>>> a_int
1
>>> a_list = [1, 2]
>>> a_list
[1, 2]
>>> selfAdd(a_list)
>>> a_list
[1, 2] # 想一想为什么没有变呢?

总结:
x += x是直接对x指向的空间进行修改,而不是让b指向一个新的。
x = x+x先把=号右边的结果计算出来,然后让x指向这个新的地方,不管原来b指向谁.

 四、一切皆对象

Python使用对象模型来储存数据,任何类型的值都是一个对象。所有的python对象都有3个特征:身份id类型type值value
身份:每一个对象都有自己的唯一的标识,可以使用内建函数id()来得到它。这个值可以被认为是该对象的内存地址。
类型:对象的类型决定了该对象可以保存的什么类型的值,可以进行什么操作,以及遵循什么样的规则。type()函数来查看python 对象的类型。
:对象表示的数据项。

>>> a = 1
>>> id(a)
140068196051520
>>> b = 2
>>> id(b)
140068196051552
>>> c = a
>>> id(c)
140068196051520
>>> c is a
True
>>> c is not b
True

运算符 is 、 is not 就是通过id()的返回值(即身份)来判定的,也就是看它们是不是同一个对象的“标签”。

 

本文来源于我看到的一篇文档,具体来源不可考,我觉得对于引用讲的还是比较清楚的。引用以及可变对象不可变对象,在Python中时比较重要的,因为在接下来的学习中,都会有意无意地用到。