很多人学 Python 第一个踩的坑就是 is 和 ==。一句话先说清：is 比较「是不是同一个对象」（身份），== 比较「值等不等」（内容）。下面用 CPython 3.13.14 实机跑出来的几组数据，把那些反直觉的地方拆开看。
一、小整数池：只缓存 -5 到 256
a, b = 256, 256
a is b # True
a, b = int('257'), int('257')
a is b # False（运行时现造的，不在池里）
为什么 256 是同一个、257 却不是？CPython 启动时把 -5 到 256 的整数对象预先建好放进池子复用，任何地方用到 256 都指向同一个对象。int('257') 是运行期现造的，自然各造各的。
注意一个干扰项：在同一个代码块里写两个 257（比如 a=257; b=257），a is b 也可能是 True——这不是小整数池，而是常量折叠（编译器把同一个常量合并进 co_consts 的一项）。一旦跨语句、跨函数用 int('257') 构造，真相就露出来了。
二、字符串驻留（intern）：字面量默认复用
s1, s2 = 'hello', 'hello'
s1 is s2 # True（字面量被 intern）
s1, s2 = 'a'*20, 'a'*20
s1 is s2 # True（全同字符的重复串也会复用）
s1, s2 = 'a'*21, 'a'*21
s1 is s2 # True（实测 3.13 同样复用）
'hello' 这种合法标识符形式的字符串，CPython 默认驻留；而 'a'*20 这种运行期构造的串，3.13 实测也会复用（当结果全由同一字符组成时）。想强制驻留，调 sys.intern()。
三、可变对象：各是各的
l1, l2 = [], []
l1 is l2 # False
l1 == l2 # True（空列表内容相等）
l3 = l1
l1 is l3 # True（只是同一个对象的另一个名字）
列表、字典、集合这些可变的，永远不会自动共享，所以 is 必为 False，但 == 看内容。
四、性能：is 几乎零成本
拿一个 10 万字符的字符串实测：
a = 'x'*100000; b = 'x'*100000 # a、b 是两个不同对象，内容相同
a is b # 只比指针，近乎 0ns
a == b # 要判值，慢一个量级
is 就是比两个指针相不相等，CPU 一条指令的事；== 得进到对象的 __eq__，大对象要逐段比对。方向很确定：is 比 == 便宜得多。
五、实战里怎么选
- 永远用
x is None，别用x == None。None是单例，身份比较又快又不会被重载坑。 - 判断枚举、单例、哨兵值（
sentinel = object()），用is。 - 比较数值、字符串内容、容器内容，用
==。 - 最经典的 bug：
if x == None在x重载了__eq__时可能误判，而is None永远不会。
一句话记牢：比「是不是同一个」用 is，比「长得像不像」用 ==。
