Python变量的引用、标识、相等性 is和==区别

变量不是盒子

变量是标注，而不是盒子。Python变量类似于Java中的引用式变量，因为最好理解为附加在对象上的标注。

对于引用式变量来说，说把变量分配给对象更加合理。把变量s分配给'xxx'，而不是说把'xxx'分配给s。

示例，创建对象之后才会把变量分配给对象

>>> class Giz:

... def __init__(self):

... print('Giz id is{}'.format(id(self)))

...

>>>

>>> x = Giz()

Giz id is56583408

>>> y = Giz() * 10

Giz id is56583568

Traceback (most recent call last):

File "<stdin>", line 1, in <module>

TypeError: unsupported operand type(s) for *: 'Giz' and 'int'

>>> dir()

['Giz', '__annotations__', '__builtins__', '__doc__', '__loader__', '__name__', '__package__', '__spec__', 'x']

最后使用dir（）查询当前变量，看到了变量x，并没有变量y，因为赋值时抛出了异常。

标识、相等性 is ==

==是比较两个对象的值（对象保存的数据），is是比较对象的标识

每个对象都有标识、类型、值。对象一旦创建，它的标识绝不会变。

可以把标识理解为对象在内存中的地址。is运算符是比较两个对象的标识。id()函数返回对象标识的整数标识。

对象ID的真实意义在不同的实现中有所不同。在CPython中，id()返回对象的内存地址，但是在其他的Python解释器中可能是别的值。但是ID一定是唯一的数值标注，而且在对象的生命周期中绝不会变。

在变量和单例值之间比较时，应该使用is。比如比较变量是不是None： x is None

is运算符比==速度要快。因为它不能重载，所以Python不需要寻找特殊方法，而是直接比较两个对象的整数ID。

而a == b是语法糖，等同于a.__eq__(b)。如果继承自object的__eq__不加以修改，就是比较两个对象的ID，结果和is一样。但是大多数内置类型都覆盖了__eq__方法，会考虑对象属性的值。

元组的相对不可变性

元组和多数Python集合（列表，字典、集合等等）一样，保存的是对象的引用。

而str、bytes、和array.array等类型是扁平的，保存的不是引用，而是在连续内存中保存数据的本身。

虽然元组是不可变的，但是引用的元素可以是可变的。也就是说元组的不可变性是值的tuple数据结构的物理内容（保存的引用）不可变，于引用的对象无关。

元组是否可散列，取决于它的元素是否是可散列的。如果它的元素全部是可散列的，那么这个元组就是可散列的。