python列表底层是动态数组，由pylistobject结构体实现，含ob_item、ob_size和allocated字段；扩容在插入超容时触发，采用约12.5%冗余的几何增长策略；无主动缩容机制，清空后可能重置容量。
Python列表的底层结构是动态数组
Python列表（list）在C语言层面由一个结构体 PyListObject 实现，核心字段包括指向元素指针数组的 ob_item、当前元素个数 ob_size，以及已分配的总容量 allocated。它不是链表，也不是纯静态数组，而是一个支持自动扩容的连续内存块。
扩容触发条件：插入新元素时容量不足
当调用 append()、insert() 或扩展操作（如 +=）导致 ob_size >= allocated 时，解释器会触发扩容逻辑。注意：仅读取、切片、遍历等操作不会引发扩容。
- 最常见场景是反复调用 append()，比如从空列表开始逐个添加1000个元素
- insert(0, x) 虽然不常触发扩容，但若当前已满，仍会触发；且因需移动后续所有元素，性能开销更大
扩容策略：几何增长，预留冗余空间
CPython采用“近似12.5%冗余”的增量公式计算新容量，具体逻辑在 list_resize() 函数中：
- 若当前 allocated == 0，首次分配设为 8
- 否则，新容量 new_allocated = (size + 1) * 1.125 向上取整（实际通过位运算模拟：
new_allocated = (size >> 3) + (size ） - 该策略保证了 append() 的均摊时间复杂度为 O(1)，避免频繁 realloc
例如：容量为8 → 插入第9个元素时，新容量变为 8 + (8>>3) + 1 = 8 + 1 + 1 = 10；容量为64 → 下次扩容为 64 + 8 + 1 = 73。
立即学习“Python免费学习笔记（深入）”；
缩容机制：仅在特定条件下被动发生
Python列表**没有主动缩容**（shrink）逻辑。只有当调用 clear() 或 del list[:] 清空全部元素后，解释器可能将 allocated 重置为0或小值（如0或8），但这属于清空后的重初始化，而非“使用中缩容”。
- 删除中间或尾部元素（pop()、del list[i]）只减少 ob_size，不改变 allocated
- 即使列表只剩1个元素，只要没被清空，底层内存通常保持原大小
- 如需真正释放内存，可显式赋值为空列表：
my_list = []
