1
根据Python对数据类型的定义:"objects are Python's abstraction for data, and all data in a Python program is represented by objects or by relations between objects"。
Python中一切皆对象,包括整数,浮点数和布尔值。在Java中,这些是“primitive数据类型”,并被视为与“objects”分开。
在Python中并非如此。Python中的每个值都是一个对象,所以不仅datetime.datetime(2018, 6, 3, 19, 38, 54, 798338)
datetime对象是一个对象,而且整数69
是一个对象,布尔True
是一个对象。
所有的Python对象都有三件事:一个值,一个类型和一个身份。这有点令人困惑,因为我们经常随便说,例如“值69
”。
>>> spam = 69
>>> spam
69
>>> type(spam)
<class 'int'>
>>> id(spam)
4307168128
该变量spam
指的是具有值69,类型int
和id为4307168128
。id是一个唯一的整数,在创建对象时创建,并且永远不会改变对象的生命周期。对象的类型也不能改变。只有对象的值可能会改变。
让我们尝试通过在交互式shell中输入以下内容来更改对象的值:
>>> spam = 69
>>> spam = 666
可能有的同学就会认为已经将对象的值从69
改变为666,然而并没有。我们所做的都是将spam
指向1个新的对象。
>>> spam = 69
>>> id(spam)
4307168128
>>> spam = 666
>>> id(spam)
4325801680
整数(浮点数,布尔值,字符串,字节)是不可变的。另外,列表(字典,集合,数组和字节数组)是可变的。这可能会导致一个常见的Python陷阱:
>>> spam = ['miracle', 'young']
>>> papapa = spam
>>> spam
['miracle', 'young']
>>> papapa
['miracle', 'young']
>>> spam.append('girl')
>>> spam
['miracle', 'young', 'girl']
>>> papapa
['miracle', 'young', 'girl']
究其原因就是papapa和spam同时指向了同一个对象。来看papapa = spam
这行。创建了引用的副本,而不是对象。
2
关于Python is 和 == 的区别,以后我会单独拿出来说一下的。
这里我们先来看几个例子:
>>> id(spam) == id(papapa)
True
>>> spam is papapa
True
>>> spam == papapa
True
>>> fxxk = ['miracle', 'young', 'girl']
>>> spam == fxxk
True
>>> id(fxxk)
4325976648
>>> spam is fxxk
False
>>> id(spam)
4325974216
2个不同的变量,他们可以共享同一个 值,但是永远无法共享同一个对象。
3
好了,现在有了上面这些做铺垫,我们终于可以展开tuple到底是mutable or immutable了。
从某种意义上说,
元组是不可变的,因为元组中的对象不能被删除或被新对象所替代。就像
spam=69;spam=666
不改变spam=69中的对象一样; 它用一个全新的对象代替它,666
。
>>> spam = ['miracle', 'young', ['girl', 'boy']]
>>> spam = ('miracle', 'young', ['girl', 'boy'])
>>> id(spam[0]), id(spam[1]), id(spam[2])
(4325825872, 4327743416, 4326146632)
相同的对象将始终存在于这个元组中,并且它们将始终具有相同顺序的相同身份:4325825872 和4327743416 . 因为 元组是不可变的。
然而在另一种意义上,元组是可变的,因为它们的值可以被改变。
>>> fxxk = ('miracle', 'young', ['girl', 'boy'])
>>> spam == fxxk
True
>>> spam is fxxk
False
>>> spam[2].append('man')
>>> spam == fxxk
False
在这个例子中,元组称为通过spam
和fxxk
具有相等的值(根据==
),但是是不同的对象(根据is
)。
接着我们改变了spam的值,因为spam
不再等于fxxk
,而我们也没有改变fxxk
的值。所以元组又是可变的。