is 比较对象身份（内存地址），等价于 id(a) == id(b)，用于none、单例等标识判断；== 比较语义相等，调用__eq__方法，适用于值比较；小整数和字符串驻留是实现细节，不可依赖。
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免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
