Python高级特性：容易被忽视的不可变类型

Python 中有一些容易忽略的不可变类型 Str、Integer、None、Tuple

# 错误演示

In [45]: def demo(lst = []):
   ....:     lst.append("hello")
   ....:     return lst
   ....: 

In [46]: demo()
Out[46]: ['hello']

In [47]: demo()
Out[47]: ['hello', 'hello']

廖雪峰的Python教程里有提到这个，但不是太详细。这里，因为lst是一个可变参数，而lst参数在demo初始化的时候指向一个[]内存空间，每次调用时，[]内存空间追加一个"hello"，又因为lst仍然指向这个内存空间 Space，所以你会看到 demo 函数调用的奇怪现​​象。该问题的解决方案是引入不可变类型。

＃正确演示

In [54]: def demo(lst = None):
   ....:     lst = []
   ....:     lst.append("hello")
   ....:     return lst
   ....: 

In [55]: demo()
Out[55]: ['hello']

In [56]: demo()
Out[56]: ['hello']

正确的演示中，将lst初始化为None，这样lst是一个不可变参数，但是不能直接在lst上使用append，因为只有list有append方法，所以需要真正初始化lst lst = []

可变类型和不可变类型是一个很容易忽略的知识点，在这里深入进行研究，下面例举常见的不可变类型和可变类型。

不可变「mutable」类型：

int, long, float, string, tuple, frozenset

可变类型「immutable」类型：

list, dict

Python中的所有变量都是对值的引用，也就是说变量通过绑定指向自己的值。这里所说的不变性是指值的不变性。对于不可变类型的变量，如果要改变变量，会创建一个新值，变量会绑定到新值上，旧值如果没有被引用就会等待垃圾回收。下面以int和list为代表进行说明。

＃不可变类型

In [31]: id(1),id(2)
Out[31]: (4477999936, 4477999968)

In [32]: a = 1

In [33]: id(a)
Out[33]: 4477999936

In [34]: # 当a赋一个新值时,变量a会绑定到新值上

In [35]: a = 3

In [36]: id(a)
Out[36]: 4478000000

＃可变类型

In [38]: lst = [0]

In [39]: id(lst)
Out[39]: 4493976328

In [40]: lst = [0,1]

In [41]: id(lst)
Out[41]: 4499600328

从变量类型的表面上看，python似乎实现了不同类型的管理方式，其实不然。其实lst代表的是地址，它所指的lst[0]和lst[1]的内存地址其实已经变了，因为lst[i]是int（这里），int是不可变类型。