爱摄影的郭同学很多朋友写Python写得挺顺，一到程序报错就懵。上周有个学生拿一段代码给我看，说函数里明明把变量 x 改了，出来还是原来的值。我让他先打印一下 id(x)，他直接愣住了：原来函数里的 x 和外头的 x 根本不是一个对象。类似的问题我在代码评审里看过太多次，根源几乎都是同一个：把 Python 变量理解成了 C 语言那样的存储盒子。
如果你也有这种“盒子思维”，这篇文章就是写给你的。我会从 Python 变量的底层模型讲起，用实际项目里会遇到的例子，把绑定关系、可变对象、作用域、动态类型、默认参数这些坑一个个拆开。适合刚入门想打好基础的人，也适合写了两三年代码但偶尔被变量别名搞崩溃的同学。
1. Python变量不是“盒子”而是“门牌号”：先从模型层面纠正一个顽固误区
1.1 我在代码评审里最常看到的“盒子思维”错误
很多教材喜欢说“变量就是装数据的盒子”，这句话在 C 和 Java 里勉强成立，放在 Python 里会害死人。Python 的变量本质上是一个名字到对象的绑定关系，或者说，变量是一张贴在对象上的便利贴。对象存在内存里，变量只是帮你找到它的门牌号。
最典型的翻车案例是这样：
python复制a = [1, 2, 3]
b = a
b.append(4)
print(a) # [1, 2, 3, 4]
如果用盒子思维理解，你会觉得 a 和 b 是两个不同盒子，改 b 凭什么动 a。实际上 a 和 b 贴的是同一个列表对象，门牌号相同，你通过 b 这个门进去往房间里放了东西，再通过 a 这个门进去，看到的当然是被改过的房间。
我自己写代码时有个习惯：凡是变量行为不符合直觉，第一件事就是打印 id()，不看 id() 就猜原因等于盲人摸象。
python复制a = [1, 2, 3]
b = a
print(id(a), id(b)) # 两个 id 完全一样
看到 id 相同，你就知道这是同一个对象，后面的行为也就解释通了。
1.2 对象身份(id)、类型(type)与值(value)：三个维度帮你快速定位问题
Python 里任何一个对象都有三个核心属性：身份、类型、值。我在排查问题时会按顺序验证这三样。
身份（id）：对象在内存中的唯一编号，你可以把它理解成对象的身份证号。id() 函数返回的就是这个编号，不同对象通常编号不同，但同一时刻存活的对象编号不会冲突。
类型（type）：对象属于哪个类，决定了它能做什么操作、支持什么方法。type() 可以查看，例如 int、str、list、dict。
值（value）：对象存的实际数据内容，比如 [1, 2, 3]。
举个例子：
python复制a = 100
b = 100
print(id(a), id(b), a is b) # 小整数会被缓存，所以可能相同，但不建议依赖
这里 a is b 可能返回 True，原因是 Python 解释器为了性能会缓存小整数对象。但如果你改成大整数：
python复制x = 10 ** 9
y = 10 ** 9
print(x is y) # 大概率 False
也就是说，你永远不要用 is 来判断两个整数或字符串是否相等，is 判断的是身份，不是值。
如果你是从 C 转过来的，可以这样理解：Python 变量更像指针变量，但你拿不到指针地址，也不能做指针运算，只能通过名字去引用对象。所以很多在 C 语言里需要手动管理的东西，Python 全都帮你藏起来了。藏起来是好事，但也意味着你必须靠 id() 和 type() 来补上这份直觉。
1.3 判断相等用is还是==：很多隐藏bug从这一行开始
== 比较的是值，is 比较的是身份。这个区别我在面试里基本必问，因为写错真的会引发线上问题。
python复制a = [1, 2, 3]
b = [1, 2, 3]
print(a == b) # True，因为两个列表内容一样
print(a is b) # False，因为这是两个不同的列表对象
判断变量是不是 None 时，行业惯例是用 is None，因为 None 在 Python 里是单例对象，同一时刻只有一个 None。这也是少数几个你可以放心用 is 的场景。
python复制if x is None:
print("x 是空值")
有同学会问，字符串判断相等能不能用 is？答案是不能，因为字符串驻留机制会让部分短字符串指向同一个对象，但长字符串或拼接出来的字符串就不一定了。老老实实用 ==，不要赌解释器行为。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 可变与不可变对象：变量指向同一个对象时，修改操作为什么会互相咬
2.1 共享引用的连锁反应：列表、字典、集合的实际案例
Python 的数据类型按