相信接触过python的同学都听说过可变型对象和不可变型对象。
那么,到底什么是可变型对象,什么是不可变型对象呢?
首先我们先理解一下对象的概念。
对象,就是数据以及基于这些数据的操作的集合。
举个例子,a = “python”。
我们通过上面的方法定义了一个字符串对象a,“python”就是这个字符串对象的数据。像我们常用的replce()、split()... 这些就是操作这些数据的方法。数据和这些方法一起构成了字符串对象a。
那么,问一个问题。你能够改变字符串对象a中的值么?
可能有人说,那还不简单。a = “not python”。
现在字符串对象a的数据已经从“python”变成了"not python"了。
No! No! No!
你这样做只是重新定义了一个字符串对象,而不是将原来的字符串对象中的数据改变了。知道你可能不信,下面的代码可以证明一切!!!!
a = "python"
print("a的内存地址是, ", id(a))
a = "not python"
print("a的内存地址是, ", id(a))
a的内存地址是, 2147884255664
a的内存地址是, 2147886689008
看到了么,两次的内存地址是不一样的,说明你根本不是改变了一个对象中的数据,只是重新创建了一个新的对象。
现在我们来正规的定义一下什么是不可变对象。
在保持对象不变的前提下,对象中的数据不能被改变。这样的对象就叫做不可变对象。
属于不可变对象的有 整型对象int 浮点型对象float 以及 字符串型对象string。
下面,我们再来说说可变对象。
与不可变对象对应,可变对象的定义就是:
在保持对象不变的前提下,对象中的数据可以被改变。 这样的对象就叫做可变对象。
再举个例子,
list = [1, 2, 3]
print("list的内存地址是: ", id(list))
list[0] = 8
print(list)
print("list的内存地址是: ", id(list))
list的内存地址是:2147854603336
[8, 2, 3]
list的内存地址是:2147854603336
我们能够轻而易举的在保证同一个对象的前提下,改变列表对象中的数据。所以列表对象就是一个可变对象。
常见的可变对象有,列表对象list和字典对象dict
可是为什么我们可以改变列表对象中的数据而不能够改变字符串对象中数据呢?
其实,原因很简单。可变对象和不可变对象有着另外一组名字,叫做数据对象和容器对象。
数据对象很容易理解。像整型、浮点型以及列表都是对数据类型的描述。
可是容器对象应该怎么理解呢?
容器对象与数据对象是对应的。容器对象是用来存储数据对象的,他们的作用只是为了方便数据对象的使用。
容器对象不会直接保存数据的值,而是保存数据对象。因此我们可以通过修改容器中的数据对象达到修改容器中数据的目的。
说到现在你是不是对可变型对象和不可变型对象有一个大致的了解呢?
相信,细心的小伙伴一定发现了一个问题。那就是元组对象tuple 。tuple不能被修改而且还是一个容器对象。
可是元组中的数据真的不能被修改么?
我们用事实说话,再看一个例子
tuple = (1, 2, [1, 2, 3])
print("tuple的内存地址是: ", id(tuple))
tuple[2][0] = 8
print(tuple)
print("tuple的内存地址是: ", id(tuple))
list的内存地址是:2147886586840
(1, 2, [8, 2, 3])
list的内存地址是:2147886586840
元组对象的确是一个容器对象,只不过它的内部机制规定元组对象tuple中元素(对象)不能被其他对象替换。但是如果tuple中保存的是一个可变型的对象。那么元组中的数据依然可以被修改。
大家可能还是有些不能接受。或者说依然感觉印象中元组就应该是个不可变对象。
我再举个例子,大家都知道,字典的key必须是一个不可变型对象。如果是一个可变型对象就会报错。
dict = {(1, 2, '3'): 1}
print(dict)
{(1,2,'3'): 1}
dict = {(1, 2,[1, 2]): 1}
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: unhashable type: 'list'
看到了么? 当元组中不包含可变对象时,可以作为字典的key。而当元组中包含了可变对象list时,就不能作为字典的key了。
最后,我们来总结一下:
- 如果在保持对象不变(内存地址不变)的前提下,对象中的数据可以被修改,那么,这个对象就是可变对象。反之,如果对象中的数据可以修改,那么这个对象就是可变对象。
- 所有的数据对象(整型、浮点型、字符串)都是不可变对象。
- 所有的容器对象(列表、字典)都是可变对象。
- 元组是个异类。元组是否为可变对象取决于元组中的元素。如果元组中每个元素以及其子孙元素都不包含可变对像,那么这个元祖就是不可变对象。如果元组的元素以及子孙元素中包含可变对象,那么元组就是可变对象。