a = 1
b = 1
b = 1
a 和 b 的值都是等于1, 1以对象存储,内存中只有一个1的实例, 可用如下代码判断:
id(a) # 10249792
id(b) # 10249792
id(a) == id(b) # True
id(b) # 10249792
id(a) == id(b) # True
同样也可用关键字 is:
a is b # True
is 判断两个实例是否是同一个, 即是否是对同一对象的引用. 改方法对tuple 和str 同样适用, 如:
a = ''
b = ''
a is b # True
a = ()
b = ()
a is b # True
b = ''
a is b # True
a = ()
b = ()
a is b # True
以上的类型都是不可变的(可以认为是"常量", 包括int), 形式上像C 中的字符串常量(char* s = 'this is const.')相同. 在C 中, 一个整型变量做自加的操作时是在自己原有空间上的操作, 在Python, 则会创建另一个新的不可变实例, 如下:
a = 1
id(a) # 10249792
a += 1
id(a) # 10249780
id(a) # 10249792
a += 1
id(a) # 10249780
当类型是可变的时候, 情况发生了变化:
a = []
b = []
a is b # False
a == b # True
a = {}
b = {}
a is b # False
a == b # True
b = []
a is b # False
a == b # True
a = {}
b = {}
a is b # False
a == b # True
list 和dict 都是可变类型, 要保证能随时更新, 他们的值(操作符==)可以相等, 但不可能指向同一个实例.
"is"的作用是判断是否是同一实例, "==" 的作用是取值(我们感兴趣的). 也能从另一角度看出来, 操作符"=="能通过方法__eq__()重载, 也就是允许去比较对象中我们感兴趣的东西. (在C 中, 判断两个东西的同一性实际都是靠取值, 也就是变量或指针的"=="操作; Java中则相反, Java的"=="相当于Python的"is", 对于值的比较Java中用Equal()方法.)
is 和== 的区别并不限于上面可变和不可变的类型, 如下:
a = 1L
b = 1L
a is b # False
a = 1.1
b = 1.1
a is b # False
b = 1L
a is b # False
a = 1.1
b = 1.1
a is b # False