深入理解Python中的可变与不可变类型——以interpy-ru项目为例

可变与不可变类型的基本概念

在Python编程中，理解可变(mutable)和不可变(immutable)类型的区别至关重要。可变对象是指创建后可以被修改的对象，而不可变对象一旦创建就不能被修改。

不可变类型包括：

• 数字类型(int, float, complex)
• 字符串(str)
• 元组(tuple)
• 布尔值(bool)
• frozenset

可变类型包括：

• 列表(list)
• 字典(dict)
• 集合(set)
• 用户自定义类(多数情况下)

可变类型带来的"意外"行为

让我们通过一个典型例子来理解可变类型的特性：

original_list = [1, 2, 3]
new_list = original_list
new_list.append(4)

print(original_list)  # 输出: [1, 2, 3, 4]

很多初学者会惊讶地发现，修改new_list竟然影响了original_list。这是因为在Python中，变量赋值实际上是创建了对同一对象的引用，而不是创建新对象。

函数参数中的可变陷阱

可变类型在函数参数中尤其需要注意。考虑以下函数：

def add_item(item, container=[]):
    container.append(item)
    return container

多次调用这个函数会产生意外结果：

print(add_item(1))  # [1]
print(add_item(2))  # [1, 2]
print(add_item(3))  # [1, 2, 3]

这是因为默认参数在函数定义时就被求值并创建，而不是每次调用时创建新对象。

正确的处理方式

为了避免这种问题，应该这样编写函数：

def add_item(item, container=None):
    if container is None:
        container = []
    container.append(item)
    return container

这样每次调用时如果没有提供container参数，都会创建一个新的空列表：

print(add_item(1))  # [1]
print(add_item(2))  # [2]
print(add_item(3))  # [3]

深拷贝与浅拷贝

当需要复制可变对象而不共享引用时，可以使用copy模块：

import copy

original = [[1, 2], [3, 4]]
shallow = copy.copy(original)  # 浅拷贝
deep = copy.deepcopy(original)  # 深拷贝

浅拷贝只复制最外层容器，而深拷贝会递归复制所有嵌套对象。

实际开发中的建议

1. 尽量使用不可变类型作为函数默认参数
2. 当需要修改传入的可变参数时，考虑是否需要先创建副本
3. 明确文档记录函数是否会修改传入的可变参数
4. 在团队协作中，特别注明可变参数的预期行为

理解可变与不可变类型的区别是成为Python高级开发者的重要一步。通过合理使用这些特性，可以编写出更安全、更可预测的代码。