在 Python 中，赋值操作本质上是为某个对象创建一个新的引用（即名字），而不是直接创建新的对象。理解这一点的关键在于明白 Python 的数据模型以及可变与不可变类型之间的区别。 ### 解释 #### 可变 vs 不可变对象 1. **不可变对象** (如 `int`, `float`, `str`, 和 `tuple`): 当对这些类型的对象进行“修改”时, 实际上会生成一个全新的对象，并将原来的变量指向这个新对象。例如： ```python a = 5 # 创建了一个整数对象 '5' 并让 a 指向它 b = a # b 也指向了同一个对象 '5' print(id(a)) print(id(b)) # 输出相同的 ID 表明它们指向同一内存地址中的对象 ``` 当你尝试改变其中一个变量所指的内容: ```python a += 2 # 这里并没有真正改变了原来那个对象而是重新分配给了新的数字7给a print(a) # 结果为7 print(b) # 结果仍然是5因为b仍然指向最初的5 ``` 这说明对于不可变对象来说，在大多数情况下，当我们看似更改其内容的时候实际上是在构建并指向另一个完全独立的新实例。 2. **可变对象** (如列表、字典等): 对于这类容器型的数据结构而言，如果你有两个或多个名称都指的是同一个实际存在的实体，则任何一个对该共享资源所做的改动都会反映到所有其他关联的名字上去。 示例代码如下： ```python list_a = [1, 2] list_b = list_a # list_b 引用了 list_a 所指向的那个列表对象 print(list_a is list_b) # True - 它们确实是指向同一个地方 # 修改 list_b 影响到了 list_a list_b.append(3) print(list_a) # 输出 [1, 2, 3], 尽管我们只显式地更新了 list_b！ ``` 上面的例子展示了当两个标识符被绑定至相同的目标后对其执行某些特定方法调用可能会导致意料之外的行为——特别是涉及到那些允许就地变更的集合类别时候。 要确定是否涉及深拷贝而非浅复制或简单重命名，请考虑使用内置模块 copy 提供的功能或其他合适的手段根据具体需求处理复杂情况下的状态同步问题。 另外值得一提的是，“等于号”的作用并不总是简单的赋值语义；在面向对象编程中尤其如此。“==”比较运算符可用于检查相等性条件而不仅仅是身份验证 ("is"). #### 如何分辨？ 为了判断两个引用到底是不是指向同一个对象，可以使用 Python 内置函数 `id()` 来获取每个变量对应的唯一标识符（该对象存放在内存中的位置）。如果两者的 id 值相同，则表示它们确实是针对同一个对象的不同别名/引用来讲的。 也可以利用关键字 `is` 直接测试两者间是否存在确切的身份关系而不必关心数值上的差异： ```python x = ['foo'] y = x z = ['foo'] print(x == y, x is y) # True True print(x == z, x is z) # True False （尽管内容看起来一样） ``` 在这个例子当中可以看到即使 `z` 列表拥有跟 `x` 具有同样的元素构成但各自作为独立个体存在于系统之中因此不认为彼此之间存在引用级别的联系。