[Python]关键字is和操作符==

Python中所有类型都通过引用存取, 即便是"基本类型"也不例外, 例如:

a  =   1
b  =   1

    a 和 b 的值都是等于1, 1以对象存储,内存中只有一个1的实例, 可用如下代码判断:

id(a)  # 10249792
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

    以上的类型都是不可变的(可以认为是"常量", 包括int), 形式上像C 中的字符串常量(char* s = 'this is const.')相同. 在C 中, 一个整型变量做自加的操作时是在自己原有空间上的操作, 在Python, 则会创建另一个新的不可变实例, 如下:

a  =   1
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

    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

No programming technique solves all problems.