Python变量赋值机制解析

Python变量本质是对象的标签而非存储值的盒子，赋值操作仅改变标签指向，不复制数据；这导致不可变对象（如整数）赋值后修改互不影响，而可变对象（如列表、字典）赋值则共享引用，一处修改处处可见；理解`is`（同一对象）与`==`（逻辑相等）的本质区别、正确使用`global`/`nonlocal`控制作用域，以及意识到“所有复制都需显式调用”这一底层原则，是写出可靠、无坑Python代码的关键——掌握这些，才能真正驾驭Python的内存模型与对象行为。

Python 变量不是盒子，而是标签

Python 中的变量不存储值，而是指向对象的标签。赋值语句 a = 10 并不是把数字 10 “装进”变量 a，而是让标签 a 指向内存中一个整数对象 10。这解释了为什么 b = a 后修改 b（如 b += 1）通常不会影响 a——因为整数不可变，b += 1 实际创建了新对象并让 b 指向它，而 a 仍指向原对象。

可变对象赋值时共享引用，修改会“传染”

对列表、字典、集合等可变对象，赋值操作只复制引用，不复制内容。这意味着：

• list_a = [1, 2, 3] 和 list_b = list_a 让两个变量指向同一块内存
• list_b.append(4) 会同时改变 list_a 和 list_b 的内容
• 想真正复制内容，必须显式调用 list_b = list_a.copy()（浅拷贝）或 import copy; list_b = copy.deepcopy(list_a)
• 函数参数传入可变对象时同理：函数内直接修改参数内容，会影响外部原始对象

is 和 == 的区别本质是“是否同一对象” vs “是否等价”

is 判断两个变量是否指向同一对象（即内存地址是否相同），== 调用对象的 __eq__ 方法判断逻辑相等性。常见误区：

• [] is [] 是 False（两个空列表是不同对象），但 [] == [] 是 True
• 小整数（-5 到 256）和短字符串会被 Python 缓存，所以 a = 100; b = 100; a is b 为 True，但这只是实现细节，不应依赖
• 检查是否为 None 必须用 if x is None:，而非 ==，因为用户自定义类可能重载 __eq__ 导致意外行为

函数作用域里重新赋值不会影响外部变量

在函数内执行 x = something，默认创建或修改的是局部变量 x，哪怕外部有同名变量。只有当使用 global 或 nonlocal 声明时，才允许修改外层作用域中的绑定：

• def f(): x = 100 → 外部的 x 完全不受影响
• def f(): global x; x = 100 → 修改全局变量 x
• def outer(): x = 10; def inner(): nonlocal x; x = 20 → 修改嵌套作用域的 x
• 注意：nonlocal 不能用于模块级变量，global 不能用于嵌套函数内未声明的局部变量

真正容易被忽略的是：赋值本身从不复制数据，它只改变名字的指向；所有“看起来像复制”的行为（比如切片 lst[:]、构造函数 list(lst)、.copy()）都是显式调用的，不是赋值的默认动作。

以上就是本文的全部内容了，是否有顺利帮助你解决问题？若是能给你带来学习上的帮助，请大家多多支持golang学习网！更多关于文章的相关知识，也可关注golang学习网公众号。