Python赋值是变量绑定到对象而非拷贝值，变量仅保存对象引用；同一对象可有多个变量名，可变对象支持原地修改而不可变对象每次“修改”都生成新对象，函数参数传递本质是引用绑定。

Python的赋值不是“把值拷贝一份给变量”，而是“让变量这个名字指向某个对象”——这个核心机制决定了变量、内存、可变性、函数传参等几乎所有行为。

赋值即绑定：变量是对象的标签

执行 a = [1, 2, 3] 时，Python 做了三件事：创建一个列表对象；在内存中分配空间存下 [1, 2, 3]；再把名字 a 绑定（binding）到这个对象上。变量本身不存储数据，只保存对对象的引用。

• 同一个对象可以有多个名字：b = a 只是新增一个指向同一列表的标签，a 和 b 完全等价
• id(a) == id(b) 返回 True，说明它们引用的是同一个对象
• 改变 a.append(4)，b 也会看到 [1, 2, 3, 4]，因为操作的是底层同一个列表对象

可变对象 vs 不可变对象：关键在“能否原地修改”

是否可变，取决于对象类型自身是否提供能改变其内容的方法（比如 list.append() 或 str.upper() 不改变原字符串），而不是变量能不能被重新赋值。

• 可变对象（如 list、dict、set）：支持就地修改，所有引用它的变量都会看到变化
• 不可变对象（如 int、str、tuple）：没有就地修改方法，任何“看似修改”的操作（如 s += 'x'）都会创建新对象，原引用自动转向新对象
• 注意：a = a + [1] 和 a += [1] 对列表效果相同，但原理不同：+= 调用的是 __iadd__（就地修改），而 + 调用 __add__（返回新列表）

函数参数传递：本质仍是引用绑定

Python 没有“传值”或“传引用”的严格分类，而是统一为“对象引用的传递”。函数内形参获得的是实参所指对象的引用副本。

立即学习“Python免费学习笔记（深入）”；

• 对不可变对象：函数内重新赋值（如 x = x + 1）只改变局部引用，不影响外部变量
• 对可变对象：调用就地修改方法（如 lst.pop()、d.update(...)）会真实改变原对象，外部可见
• 想避免意外修改，可在函数开头用 lst.copy() 或 lst[:] 创建浅拷贝（深拷贝需 copy.deepcopy()）

如何判断两个变量是否指向同一对象？

用 is 操作符比较身份（identity），它等价于比较 id(x) == id(y)；而 == 比较的是值（value）是否相等。

• [] is [] 是 False（两个空列表是不同对象）
• a = []; b = a; a is b 是 True
• 小整数（-5 到 256）和短字符串会被缓存，所以 100 is 100 或 'hi' is 'hi' 可能为 True，但这属于实现细节，不应依赖

理解赋值即绑定，就能自然看懂 Python 中变量共享、函数副作用、循环引用、垃圾回收等现象。不复杂但容易忽略。