对象引用、垃圾回收、可变性
Python中的变量是什么
引言
-
Python
和java
中的变量本质不一样,java
的变量可以理解为一个盒子,用来容纳我们的对象,使用前要先声明它,好分配给我们合适的内存空间。Python
的变量可以理解为一个标签,先构造出对象,再将变量贴在对象上。 -
Python
变量没有类型,对象才有,本质上是指针。同一个变量,可以表示不同对象。
使用案例
"""
a 和 b 都贴在了同一个对象上
"""
a = [1, 2]
b = a
a.append(6)
print(a, b)
print(a is b)
print(id(a), id(b))
# result:
# [1, 2, 6] [1, 2, 6]
# True
# 1840524096136 1840524096136
is和==的区别
引言
-
is
用来判断引用是否相同 -
==
用来判断值是否相等
使用案例
"""
对于小整数 和 较短的字符串多次出现,Python有一种缓存机制
多次出现的对象不再反复创建,后出现的对象直接引用前面的对象
"""
a, b, c, d = 1, 1, -123, -123
print(a is b)
print(c is d)
# result:
# True
# False
a, b = [1, 2, 3], [1, 2, 3]
print(a is b)
print(a == b)
# result:
# False
# True
del和垃圾回收
引言
-
del
语句直接回收变量,将它所贴对象的引用计数器减一。每有一个新变量引用对象,其引用计数器就会加一 - 引用计数器为 0 的对象会被后续回收
使用案例
a = "hello"
b = a # a,b 两个标签都贴在了对象 "hello" 上
# "hello"的引用计数器为2
del a # "hello"的引用计数器减一
print(b)
print(a)
# result:
# hello
# NameError: name 'a' is not defined
传参问题
引言
- 在学习
Java
的时候,都讨论过传引用还是传值的问题 -
Python
中全部都是传用
使用案例
"""
函数传参时,实际上是把实参赋值给形参
由形参来完成函数主体的运算
"""
def add(aa, bb):
aa += bb
return aa
a, b = 1, 2
c = add(a, b)
"""
函数调用之后
aa = 1, bb = 2
aa += bb => aa = aa + bb
int 是不可变类型,内存中会增加一块空间来存储(aa+bb),然后将aa标签贴在上面
a 没变,b也没变
"""
x, y = [1, 2], [3]
z = add(x, y)
"""
函数调用之后
aa = [1, 2], bb = [3]
结合鸭子类型,以及前面讲的魔法函数,可以知道,此时会调用aa.extend(bb)
list是可变类型,直接在原地修改,aa和a都指向[1, 2]
a 变了,b没变
"""
m, n = (1, 2), (3,)
p = add(m, n)
"""
和整数一样
"""
print(a, b, c)
print(x, y, z)
print(m, n, p)
# result:
# 1 2 3
# [1, 2, 3] [3] [1, 2, 3]
# (1, 2) (3,) (1, 2, 3)
默认值问题
# 返回一个名字列表
def name_list(li=[]):
# 这里可能对列表做一些包装
# todo
# print(id(li)) # for later use
return li
# 创建出两个空的名字列表
x = name_list()
y = name_list()
# 在 x 中添加一个名字
x.append("MetaTian")
print(x, y)
# result:
# ['MetaTian'] ['MetaTian']
我们创建出两个空的名字列表,稍后给其中一个添加了一个名字。结果,这两个名字列表是一样的,我们再来看下二者的id
:
print(id(x), id(y))
# result:
# 2499670504072 2499670504072
两者id
是一样的,说明两者指向同一个对象,那这个对象又是什么呢?其实它就是函数参数列表中一个变量的默认值,就是那个空列表,可以自己在代码中打开注释,打印li
的id
即可验证。
Python
中,一切皆对象,函数也是一个对象,那么函数是什么类型的呢?
print(type(name_list))
# result:
#
当解释器执行到def
关键字时,它会结合下面的代码生成一个函数对象,而我们提供的参数默认值,就被当做对象的一种属性封装起来了。于是,后面的两次函数调用,都是将这个对象赋值给了x
, y
两个变量。也就是说x
, y
指向了同一个对象。