python可变对象与不可变对象

转自：http://mp.weixin.qq.com/s/vj9IxEHN815eASmWlDSzMg

Python中有可变对象和不可变对象之分。可变对象创建后可改变但地址不会改变，即变量指向的还是原来的变量；不可变对象创建之后便不能改变，如果改变则会指向一个新的对象。

Python中dict、list是可变对象，str、int、tuple、float是不可变对象。

来看一个字符串的例子

上面的例子里，修改a指向的对象的值会导致抛出异常。

执行 a = a + " world"时，先计算等号右边的表达式，生成一个新的对象赋值到变量a，因此a指向的对象发生了改变，id(a) 的值也与原先不同。

再来看一个列表的例子

上面对a修改元素、添加元素，变量a还是指向原来的对象。

将a赋值给b后，变量b和a都指向同一个对象，因此修改b的元素值也会影响a。

变量c是对b的切片操作的返回值，切片操作相当于浅拷贝，会生成一个新的对象，因此c指向的对象不再是b所指向的对象，对c的操作不会改变b的值。

理解了上面不可变对象和可变对象的区别后，我们再来看一个有趣的问题

明明group1和group2是不同的对象（id值不同），为什么调用group2的add_member方法会影响group1的members？

其中的奥妙就在于__init__函数的第二个参数是默认参数，默认参数的默认值在函数创建的时候就生成了，每次调用都是用了这个对象的缓存。我们检查id(group1.mebers)和id(group2.members)，可以发现他们是相同的

所以，group1.members和group2.members指向了同一个对象，对group2.members的修改也会影响group1.members。

好了，问题来了，怎样改代码才能解决上面默认参数的问题呢？

其实很简单，只要传入None作为默认参数，在创建对象的时候动态生成列表，如下

class Group(object):
    def __init__(self, group_id, members=None):
        self.group_id = group_id
        if members is None:
            self.members = []

    def add_member(self, member):
        self.members.append(member)
           

这样对于不同的group对象，它们的members也是不同的对象，所以不会再出现更新一个group对象的members也会更新另外一个group对象的members了。