Python中递归嵌套列表的检测机制探究

嘿，这个问题挺有意思的！咱们先从你给出的那个递归列表例子说起——当你执行a = [1,2]再a += [a]之后，这个列表就变成了一个自引用的递归结构：a[2]就是a本身，所以打印的时候会显示[1, 2, [...]]，而不是无限循环展开下去。那Python是怎么做到识别这种递归结构的呢？

核心逻辑：跟踪已访问的对象 #

Python在打印容器（比如列表、字典、集合这些）的时候，内部会悄悄维护一个已访问对象的集合，这个集合记录的是已经处理过的对象的内存地址（也就是id()函数返回的值）。具体的检测流程是这样的：

• 当要打印一个容器时，Python先检查这个容器的内存地址是否已经在这个集合里。
• 如果没找到，就把它加入集合，然后逐个遍历容器里的元素，对每个元素重复这个检查过程。
• 如果找到了，说明这个对象之前已经处理过，也就是出现了递归引用，这时候就会用[...]来代替，避免无限递归打印下去。

具体实现的小细节 #

以CPython（咱们常用的Python解释器）为例，负责生成对象字符串表示的repr()函数，在处理容器类型时会用到一个内部状态来跟踪已访问对象。比如列表的__repr__方法，会调用辅助函数来维护这个跟踪集合：

• 每次处理一个容器元素，都会先对比元素的id和集合里的记录。
• 一旦发现重复的id，就直接输出[...]，终止对这个元素的递归处理。

动手验证这个机制 #

你可以自己做个小实验来确认这个逻辑：

# 互相引用的两个列表
a = [1, 2]
b = [3, 4]
a.append(b)
b.append(a)

print(a)  # 输出: [1, 2, [3, 4, [...]]]
print(b)  # 输出: [3, 4, [1, 2, [...]]]

这里a和b互相引用，Python也能准确检测到递归结构，不会无限打印。

另外，你还可以用id()函数直接查看内存地址，验证它们是同一个对象：

a = [1,2]
a.append(a)
print(id(a))       # 比如输出 140703324568448
print(id(a[2]))    # 和上面的id完全一致，说明是同一个对象

这也是为什么a[2] is a会返回True的原因——它们本来就是内存里的同一个东西。

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