小整数缓存范围是[-5, 256],超出该范围的is比较不可预测;is仅用于身份判断,数值比较必须用==。

整数缓存只在 [-5, 256] 范围内稳定生效,超出该范围的 is 结果不可预测,永远不该用于数值比较。
小整数缓存的精确边界是 -5 到 256(含)
CPython 在启动时预分配并复用这 262 个整数对象,所以所有字面量赋值如 a = 100; b = 100 都指向同一内存地址,a is b 必然为 True。这个范围写死在源码 Objects/longobject.c 的 small_ints 数组里,不是约定俗成,而是实现事实。
但要注意:
-
-5和256是闭区间 ——a = -5; b = -5; a is b为True,a = 257; b = 257; a is b在脚本中几乎总是False - 交互式环境(如 IPython)可能因单行编译优化让
1000 is 1000偶然为True,但这只是优化副作用,不是缓存行为 - PyPy、Jython 等解释器不保证此范围,甚至 CPython 不同版本也可能微调(尽管极罕见)
为什么 257 is 257 通常是 False?
因为 257 不在缓存池中,每次字面量出现都会触发新对象创建(除非编译器做常量折叠,而脚本模式下通常不做)。你可以用 id() 验证:
a = 257 b = 257 print(id(a) == id(b)) # 大概率 False
这不是 bug,是设计使然:缓存只为高频小整数服务,大整数内存开销可控,没必要全局复用。更关键的是,is 的语义从来就不是“值相等”,它只回答“是不是同一个对象”。
常见误判场景:
- 把函数返回值和字面量用
is比较:len([1,2,3]) is 3—— 即使当前为True,也纯属巧合 - 在单元测试里断言
result is 100—— 换个 Python 版本或执行方式就失败 - 从 JSON 或用户输入解析出的整数(如
int("256"))不会自动进入缓存池,int("256") is 256一定为False
字符串驻留和整数缓存不能混为一谈
短字符串(如 "hello")确实可能被驻留,s1 = "hello"; s2 = "hello"; s1 is s2 常为 True,但这依赖编译期确定性、无空格/特殊字符等条件;而 s3 = "he" + "llo" 因编译期拼接仍驻留,s4 = "hello" * 1 是运行时计算,通常不驻留。
整数缓存则更“刚性”:只认范围,不看来源。但两者共同点是——
- 都属于 CPython 实现细节,非语言规范
- 都不该被代码逻辑依赖
- 一旦你写
x is y且x、y是数字或普通字符串,基本就是在埋雷
真正需要关心的只有一件事:只要你在判断“值是否相等”,就无条件用 ==;is 只留给 None、True、False 这类语言级单例,或者你明确知道自己在检测对象身份(比如调试时确认两个变量是否共享状态)。缓存机制本身无所谓对错,错的是把它当成比较工具来用。
Python免费学习笔记(深入):立即使用
在学习笔记中,你将探索 Python 的核心概念和高级技巧!











