为何Python为仅引用bytearray的迭代器实现循环GC？

先明确背景：Python官方文档指出，仅存储原子类型引用或无对象引用的类型不需要显式支持循环GC，只有容器类型需要。bytearray本身因为存储的是字节而非对象引用，所以没有开启GC追踪，但它创建的迭代器却被GC追踪，而这个迭代器只持有bytearray的引用，理论上不会产生循环依赖，这看起来有点费解，原因主要有这几点：

• 复用通用迭代器实现框架：Python内部有一套通用的迭代器模板，很多内置类型的迭代器都是基于这个模板实现的。这个模板默认开启了GC追踪标记（Py_TPFLAGS_HAVE_GC），bytearray迭代器直接复用了这套逻辑——专门为它去掉GC标记的收益极低，反而会增加代码维护的复杂度，没必要做这种定制。

• 预留未来扩展空间：虽然当前bytearray迭代器只引用创建它的bytearray，但如果后续迭代器的设计需要新增内部引用（比如缓存某些状态或关联其他对象），提前开启GC可以避免后续修改时再调整GC相关的类型定义，算是一种提前兼容的设计。

• 简化类型实现逻辑：在Python的对象体系中，是否开启GC追踪是类型定义时的固定标志。对于迭代器这类轻量对象，统一设置GC追踪标志比逐个判断“这个迭代器会不会产生循环引用”要简单得多，减少了分支逻辑，也降低了出错的可能性。

你可以通过代码验证这个现象：

import gc

b = bytearray(b"test")
it = iter(b)

print(gc.is_tracked(b))   # 输出 False
print(gc.is_tracked(it))  # 输出 True

内容的提问来源于stack exchange，提问作者WhiteGoat