Python中is与==的区别详解

Python中`is`和`==`看似相似，实则职责迥异：`is`严格判断两个变量是否指向内存中的同一对象（身份一致），而`==`则依据语义规则比较值是否相等；误用二者不仅会导致逻辑错误——比如用`is`比较列表或用户输入字符串可能意外失败，用`==`检查`None`或布尔单例可能触发危险的`__eq__`重载——更会因小整数、字符串驻留等不可靠的底层优化埋下跨环境崩溃的隐患；真正可靠的写法是：用`is`断言身份（如`x is None`、`status is NOT_SET`），用`==`表达相等（如`a == b`、自定义对象按业务字段比对），理解这一本质区别，是写出健壮、可移植Python代码的关键起点。

is 比较的是 id()，不是值

is 的行为等价于 id(a) == id(b)，它只看两个变量是否指向内存中**同一个对象**。哪怕内容一模一样，只要不是同一块内存，is 就返回 False。

比如：

a = [1, 2, 3]
b = [1, 2, 3]
print(a == b)  # True
print(a is b)  # False —— 它们是两份独立的列表对象

这种行为在可变类型（list、dict、set）上几乎总是成立；对不可变类型（如小整数、短字符串），因 Python 的缓存机制可能偶然返回 True，但这属于实现细节，不能当作逻辑依据。

== 调用 __eq__，支持自定义与语义比较

== 默认调用对象的 __eq__ 方法，内置类型已按语义实现合理比较逻辑：

• int/float：比数值大小
• str：比字符序列
• list：逐元素递归比较
• 自定义类可重写 __eq__，比如按某个字段判断“相等”

而 is 完全无视这些——它不调用任何方法，也不关心对象长什么样，只认地址。你无法通过改写方法影响 is 的结果。

None、单例、标识判断必须用 is

反过来，该用 is 的地方硬套 == 同样危险：

• if x is None: —— 推荐；if x == None: 可能触发 __eq__，某些类（如 pandas.Series）会报错或返回 ambiguous 结果
• if result is True: 或 is False: —— 明确判断布尔单例，避免自定义对象重载 __eq__ 导致误判
• 单例模式、缓存实例、状态标识符（如 NOT_SET = object()）必须靠 is 判断

这里的关键不是“哪个更严格”，而是用途根本不同：is 是身份断言，== 是语义等价。

小整数和字符串驻留是陷阱，不是特性

像 100 is 99 + 1 或 "abc" is "ab" + "c" 在某些环境返回 True，纯属 CPython 实现优化（小整数池、字符串驻留），但：

• 脚本中 1000 is 10**3 很可能为 False
• 跨解释器（PyPy、Jython）、跨版本、甚至同一解释器不同启动参数下行为不一致
• 一旦涉及用户输入、配置加载、网络响应等动态数据，驻留完全失效

把这种偶然性当逻辑用，等于在代码里埋定时炸弹。

真正容易被忽略的点是：很多人看到 "hello" is "hello" 为 True，就以为字符串比较可以走 is，却没意识到 "hello world" is "hello world" 在多数实际场景中就是 False —— 因为空格导致字符串未被驻留。

理论要掌握，实操不能落！以上关于《Python中is与==的区别详解》的详细介绍，大家都掌握了吧！如果想要继续提升自己的能力，那么就来关注golang学习网公众号吧！