### Python 数据结构的可变性和不可变性分析 #### 1. **可变数据结构** Python 中的可变数据结构是指这些对象的内容可以在内存中原地修改，而不会创建新的对象实例。以下是主要的可变数据结构： ##### （1）列表（List） 列表是一种序列类型的数据结构，允许对其元素进行增删改操作。由于其可变特性，对列表的操作会直接影响原始对象[^4]。 ```python lst = [1, 2, 3] lst.append(4) # 修改原列表 print(lst) # 输出: [1, 2, 3, 4] ``` ##### （2）字典（Dictionary） 字典是键值对形式的映射数据结构，支持动态添加、删除和更新键值对。字典也是可变的，因为可以直接更改其中的值或新增/移除键[^3]。 ```python dct = {'a': 1, 'b': 2} dct['c'] = 3 # 添加新键值对 dct['a'] = 10 # 更新已有键的值 del dct['b'] # 删除某个键 print(dct) # 输出: {'a': 10, 'c': 3} ``` ##### （3）集合（Set） 集合是一个无序且不允许重复元素的数据结构，同样属于可变类型。可以对其进行交集、并集等操作以及添加或移除元素。 ```python s = {1, 2, 3} s.add(4) # 添加元素 s.remove(2) # 移除元素 print(s) # 输出: {1, 3, 4} ``` --- #### 2. **不可变数据结构** 不可变数据结构意味着一旦创建，就不能再被修改。如果试图改变它们，则会产生一个新的对象实例。 ##### （1）元组（Tuple） 元组类似于列表，但它是一个不可变的数据结构。这意味着无法在其基础上直接添加、删除或替换元素[^2]。 ```python tup = (1, 2, 3) # 下面这行代码会导致 TypeError 错误 # tup[0] = 10 new_tup = tup + (4,) # 创建了一个全新的元组 print(new_tup) # 输出: (1, 2, 3, 4) ``` ##### （2）字符串（String） 字符串在 Python 中也被视为不可变的对象。每次执行涉及字符串修改的操作时，实际上都会返回一个新字符串。 ```python str_val = "hello" new_str = str_val.replace('h', 'H') # 返回的是一个新的字符串 print(str_val) # 输出: hello print(new_str) # 输出: Hello ``` ##### （3）数值类型（Integer 和 Float） 所有的基础数值类型（如整数 `int` 或浮点数 `float`）都属于不可变类型。即使看似改变了变量的值，实际上是重新分配了另一个不同的对象给该变量名。 ```python num = 10 id_before = id(num) num += 5 # 运算后 num 的 ID 已经变化 id_after = id(num) print(id_before != id_after) # True 表明这是一个新对象 ``` --- ### 总结对比表格 | 数据结构 | 是否可变 | 特点 | |----------|-----------|----------------------------------------------------------------------| | 列表 | 可变 | 支持增删改 | | 元组 | 不可变 | 类似于固定大小的只读列表 | | 字典 | 可变 | 映射关系，键唯一 | | 集合 | 可变 | 存储不重复元素 | | 字符串 | 不可变 | 文本内容 | | 数值类型 | 不可变 | 整数、浮点数 | ---