对象引用、垃圾回收、可变性
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:
# <class 'function'>
当解释器执行到def关键字时，它会结合下面的代码生成一个函数对象，而我们提供的参数默认值，就被当做对象的一种属性封装起来了。于是，后面的两次函数调用，都是将这个对象赋值给了x, y两个变量。也就是说x, y指向了同一个对象。
