为什么Python的string和元组是不可变的?

我不确定为什么string和元组是不可变的。 使它们不可变的优点和缺点是什么?

一个是性能:知道一个string是不可改变的,因此在施工时很容易将其布置 – 固定和不变的存储要求。 这也是区分元组和列表的原因之一。 这也允许实现安全地重用string对象。 例如,CPython实现为单字符string使用预分配对象,并且通常返回不改变内容的string操作的原始string。

另一个是Python中的string被认为是数字的“元素”。 没有任何数量的活动会将值8更改为任何其他值,在Python中,没有任何活动会将string“八”改变为任何其他值。

http://effbot.org/pyfaq/why-are-python-strings-immutable.htm

设想一种叫做FakeMutablePython的语言,在这里你可以使用列表赋值等来改变string(比如mystr[0] = 'a'

 a = "abc" 

这将在内存地址0x1的内存中创build一个条目,其中包含“abc”,标识符a指向它。

现在,说你做..

 b = a 

这将创build标识符b并将其指向相同的内存地址0x1

现在,如果string是可变的,你改变b

 b[0] = 'z' 

这改变了存储在0x1到z的string的第一个字节。由于标识符a指向这里,因此该string也会改变,所以..

 print a print b 

..都会输出zbc

这可能会导致一些非常奇怪的意外行为。 字典键将是一个很好的例子:

 mykey = 'abc' mydict = { mykey: 123, 'zbc': 321 } anotherstring = mykey anotherstring[0] = 'z' 

现在在FakeMutablePython中,事情变得相当奇怪 – 你最初在字典中有两个键,“abc”和“zbc”。然后你改变“abc”string(通过标识符anotherstring)为“zbc”,所以字典两个键“zbc”和“zbc”…

一个解决这个问题的方法是,只要你给一个标识符指定一个string(或者用它作为一个字典键),它就把string复制到0x1到0x2。

这可以防止上述情况,但是如果你有一个需要200MB内存的string呢?

 a = "really, really long string [...]" b = a 

突然你的脚本占用400MB的内存? 这不是很好。

如果我们把它指向相同的内存地址,直到我们修改它呢? 复制写入 。 问题是,这可能是相当复杂的做..

这是不可变性的地方..而不是要求.replace()方法从内存复制string到一个新的地址,然后修改它,并返回..我们只是使所有string不可变,因此该函数必须创build一个新的string返回。 这解释了下面的代码:

 a = "abc" b = a.replace("a", "z") 

并被certificate:

 >>> a = 'abc' >>> b = a >>> id(a) == id(b) True >>> b = b.replace("a", "z") >>> id(a) == id(b) False 

id()函数返回对象的内存地址)

使它们不变的一大优点是它们可以用作字典中的键。 我敢肯定,如果键被允许改变的话,字典使用的内部数据结构会变得相当混乱。

不可变types在概念上比可变types简单得多。 例如,你不必像C ++那样拷贝构造函数或者const正确性。 更多的types是不可变的,语言越容易。 因此,最简单的语言是没有任何全局状态的纯function语言(因为lambda微积分比图灵机更容易,同样强大),尽pipe很多人似乎并不欣赏这一点。

Perl有可变的string,似乎function正常。 以上看起来像是一个任意的devise决定挥手和合理化的手。

我回答了为什么Python有不变的string的问题,因为Python的创build者Guido van Rossum就是这么想的,现在他有很多的粉丝会为这个随意的决定辩护。

你可能会提出一个类似的问题,为什么Perl没有不可变的string,一大堆人会写出这个不可变string的概念是多么糟糕,为什么Perl是没有这个概念的Very Bestest Idea Ever(TM) 。

优点:性能

缺点:你不能改变mutables。