cpython对小元组（长度≤20）采用free_list内存复用机制，空元组为全局单例，但非空元组是否复用取决于free_list状态，且该机制是cpython实现细节，非python语言规范。
Python中不可变对象（如小整数、短字符串、空元组）被缓存复用，不是为了“省事”，而是CPython解释器在底层对高频、固定值对象做的显式内存优化——它直接减少malloc/free调用次数，降低GC压力，提升整体运行效率。
CPython对小元组有free_list机制
元组对象在CPython中由PyTupleObject结构体实现，其内部是一个固定长度的指针数组。对于长度≤20的元组，CPython维护了一个free_list（空闲链表），当某个小元组被销毁时，它的内存块不会立刻归还给系统，而是挂入该链表；下次创建同长度元组时，优先从链表里取，跳过内存分配流程。
- 这个机制只对小元组生效，
()、(1,)、("a", "b", "c")等常见轻量元组都会受益 -
id(())始终相同，因为空元组是全局单例，所有()都指向同一地址 - 但
(list(range(1000)),)这种含大对象的元组不进free_list，缓存逻辑只看元组自身长度，不看元素大小
字符串驻留（interning）和元组缓存逻辑不同
字符串驻留是基于内容哈希做去重，而元组缓存是基于结构长度做内存复用。两者目标一致（减少重复分配），但触发条件和实现方式完全不同：
python-docx Skill功能概述python-docx Skill是一项面向实际任务的技能，主要用于本Skill提供使用python-docx生成专业Word文档的标准方法和最佳实践；生成安全服务方案文档；核心要点生成技术架构设计文档；生成任何需要专业排版的Word文档；核心库 : python-docx；使用与执行辅助库 : docx.shared , docx.enum , docx.oxml.ns；标准代码模板；1. 文档初始化；2. 字体设置（必须！它将相关步骤、工具调用和结果整理方式集
- 字符串自动驻留通常只对标识符风格字面量生效，比如
"user_id"、"status"；带空格或特殊字符的"user id"一般不驻留 - 元组没有“内容驻留”概念，
(1, 2)和(1, 2)两次创建，即使内容相同，也**不一定**是同一对象（除非来自free_list复用） - 你可以用
is安全判断() is ()，但不能依赖(1, 2) is (1, 2)——后者结果不稳定，仅反映当前free_list状态
为什么不用列表做同样缓存？
可变对象无法被安全缓存复用，根本原因在于语义冲突：如果两个变量共享同一个列表对象，一方.append()会意外影响另一方，这违背引用透明性。而元组不可变，复用不会导致行为差异。
- CPython甚至禁止对列表启用类似free_list的全局复用（除极少数特殊情况如空列表的弱缓存外）
- 你写
[]十次，得到的是十个独立对象；但写()十次，得到的是同一个对象 - 这种设计让开发者能放心用
is判断空元组，却必须用==比较非空元组是否相等
真正容易被忽略的是：元组缓存是CPython实现细节，不是语言规范。PyPy或Jython可能完全不实现free_list，或者策略不同。如果你写的代码依赖(1, 2) is (1, 2)为True，那它在其他解释器上大概率失效——别这么干。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
