我在玩python。我在 IDLE 中使用了以下代码:
p = [1, 2]
p[1:1] = [p]
print p
输出是:
[1, [...], 2]
这是什么[…]
?有趣的是,我现在可以将其用作列表列表,直到无穷大,即
p[1][1][1]....
只要我愿意,我可以写上面的内容,它仍然可以工作。
编辑:
- 它在记忆中是如何表现的?
- 它有什么用?一些有用的例子会很有帮助。
- 任何指向官方文档的链接都会非常有用。
我在玩python。我在 IDLE 中使用了以下代码:
p = [1, 2]
p[1:1] = [p]
print p
输出是:
[1, [...], 2]
这是什么[…]
?有趣的是,我现在可以将其用作列表列表,直到无穷大,即
p[1][1][1]....
只要我愿意,我可以写上面的内容,它仍然可以工作。
编辑:
这是您的代码创建的
这是一个列表,其中第一个和最后一个元素指向两个数字(1 和 2),中间元素指向列表本身。
在 Common Lisp 中,当启用打印循环结构时,这样的对象将被打印为
#1=#(1 #1# 2)
这意味着有一个对象(用 标记为 1 #1=
)是一个包含三个元素的向量,第二个是对象本身(用 反向引用#1#
)。
相反,在 Python 中,您只需获取结构是循环的信息[...]
。
在这种特定情况下,描述不是模棱两可的(它向后指向一个列表,但只有一个列表,所以它必须是那个)。然而,在其他情况下可能会模棱两可......例如
[1, [2, [...], 3]]
后向引用可以指向外部或内部列表。这两种以相同方式打印的不同结构可以用
x = [1, [2, 3]]
x[1][1:1] = [x[1]]
y = [1, [2, 3]]
y[1][1:1] = [y]
print(x)
print(y)
他们会在记忆中
对于“它有什么用”这个问题,这里有一个具体的例子。
图约简是一种有时用于解释计算机语言的评估策略。这是惰性求值的常用策略,尤其是函数式语言。
起点是构建一个图表,表示程序将采取的“步骤”序列。根据该程序中使用的控制结构,这可能会导致循环图(因为程序包含某种“永远”循环 - 或使用递归,其“深度”将在评估时已知,但在图形时不知道 -创建时间)...
为了表示这样的图,您需要无限的“数据结构”(有时称为递归数据结构),就像您注意到的那样。通常,虽然有点复杂。
如果您对该主题感兴趣,这里(除其他外)关于该主题的讲座:http:
//undergraduate.csse.uwa.edu.au/units/CITS3211/lectureNotes/14.pdf
我们在面向对象编程中一直这样做。如果任何两个对象直接或间接地相互引用,它们都是无限递归结构(或同一个无限递归结构的两个部分,取决于你如何看待它)。这就是为什么您在列表这样原始的东西中看不到这么多的原因——因为我们通常最好将这个概念描述为相互关联的“对象”而不是“无限列表”。
您还可以...
使用无限递归字典。假设您想要一个三角形角的字典,其中每个值都是连接到该角的其他角的字典。你可以这样设置:
a = {}
b = {}
c = {}
triangle = {"a": a, "b": b, "c": c}
a["b"] = b
a["c"] = c
b["a"] = a
b["c"] = c
c["a"] = a
c["b"] = b
现在,如果您打印triangle
(或a
或b
或c
就此而言),您会看到它充满了,{...}
因为任何两个角都相互指代。
据我了解,这是一个固定点的例子
p = [1, 2]
p[1:1] = [p]
f = lambda x:x[1]
f(p)==p
f(f(p))==p