ไข่ปลา […] หมายถึงอะไรในรายการ

ฉันกำลังเล่นอยู่ในงูหลาม ฉันใช้รหัสต่อไปนี้ใน IDLE:

p  = [1, 2]
p[1:1] = [p]
print p

ผลลัพธ์คือ:

[1, [...], 2]

นี่อะไรน่ะ[…]? ที่น่าสนใจตอนนี้ฉันสามารถใช้สิ่งนี้เป็นรายการของรายการสูงสุดถึงอนันต์คือ

p[1][1][1]....

ฉันสามารถเขียนข้างต้นตราบเท่าที่ฉันต้องการและมันจะยังคงทำงาน

แก้ไข:

• มันเป็นตัวแทนในหน่วยความจำได้อย่างไร?
• มันใช้อะไร? ตัวอย่างของบางกรณีที่มีประโยชน์จะเป็นประโยชน์
• ลิงก์ใด ๆ ไปยังเอกสารอย่างเป็นทางการจะมีประโยชน์จริงๆ

หมายความว่าคุณสร้างรายการที่ไม่สิ้นสุดซ้อนอยู่ภายในตัวเองซึ่งไม่สามารถพิมพ์ได้ pประกอบด้วยpซึ่งมีp... และอื่น ๆ [...]สัญกรณ์เป็นวิธีที่จะช่วยให้คุณรู้เรื่องนี้และแจ้งให้ทราบว่ามันไม่สามารถเป็นตัวแทน! ดูคำตอบของ @ 6502 เพื่อดูภาพสวย ๆ ที่แสดงว่าเกิดอะไรขึ้น

ตอนนี้เกี่ยวกับสามรายการใหม่หลังจากที่คุณแก้ไข:

• คำตอบนี้ดูเหมือนจะครอบคลุม
• ลิงก์ของอิกนาชิโออธิบายการใช้งานที่เป็นไปได้บางอย่าง
• นี่เป็นหัวข้อของการออกแบบโครงสร้างข้อมูลมากกว่าภาษาการเขียนโปรแกรมดังนั้นจึงไม่น่าจะมีการอ้างอิงใด ๆ ในเอกสารราชการของ Python

นี่คือสิ่งที่รหัสของคุณสร้างขึ้น

เป็นรายการที่องค์ประกอบแรกและสุดท้ายชี้ไปที่ตัวเลขสองตัว (1 และ 2) และตำแหน่งที่องค์ประกอบกลางชี้ไปที่รายการนั้น

ใน Common Lisp เมื่อเปิดใช้งานการพิมพ์โครงสร้างแบบวงกลมวัตถุดังกล่าวจะถูกพิมพ์เป็น

#1=#(1 #1# 2)

หมายความว่ามีวัตถุ (ที่มีป้ายกำกับ 1 ด้วย#1=) ซึ่งเป็นเวกเตอร์ที่มีสามองค์ประกอบส่วนที่สองเป็นวัตถุ (อ้างอิงกลับด้วย#1#)

[...]ในหลามแทนคุณเพิ่งได้รับข้อมูลที่โครงสร้างเป็นวงกลม

ในกรณีเฉพาะนี้คำอธิบายไม่ชัดเจน (เป็นการย้อนหลังชี้ไปที่รายการ แต่มีเพียงหนึ่งรายการเท่านั้นดังนั้นจึงต้องเป็นรายการนั้น) ในกรณีอื่น ๆ อาจไม่ชัดเจนอย่างไรก็ตามตัวอย่างเช่น

[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)

และพวกเขาจะอยู่ในความทรงจำเป็น

สำหรับคำถาม "การใช้งานอะไร" นี่เป็นตัวอย่างที่เป็นรูปธรรม

การลดกราฟเป็นกลยุทธ์การประเมินผลที่ใช้ในการแปลภาษาคอมพิวเตอร์ นี่เป็นกลยุทธ์ทั่วไปสำหรับการประเมินผลที่ขี้เกียจโดยเฉพาะภาษาที่ใช้งานได้

จุดเริ่มต้นคือการสร้างกราฟที่แสดงถึงลำดับของ "ขั้นตอน" ที่โปรแกรมจะดำเนินการ ขึ้นอยู่กับโครงสร้างการควบคุมที่ใช้ในโปรแกรมนั้นสิ่งนี้อาจนำไปสู่กราฟวงจร (เนื่องจากโปรแกรมมีลูป "ถาวร" บางประเภท - หรือใช้การเรียกซ้ำซึ่งมี "ความลึก" ซึ่งจะทราบเวลาการประเมินแต่ไม่ใช่กราฟ -เวลาที่สร้าง ) ...

เพื่อที่จะเป็นตัวแทนของกราฟเช่นนี้คุณต้องไม่มีที่สิ้นสุด "โครงสร้างข้อมูล" (เรียกว่าบางครั้งrecursiveโครงสร้างข้อมูล) เช่นเดียวกับคนที่คุณสังเกตเห็น โดยปกติแล้วจะซับซ้อนกว่าเล็กน้อย

หากคุณมีความสนใจในหัวข้อดังกล่าวต่อไปนี้คือการบรรยายในหัวข้อนั้น:
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

ชื่อของวัตถุพิเศษนั้นคือ Ellipsis ฉันเดาว่ามันถูกนำไปใช้เป็นวัตถุเดี่ยวใน Python intepreter / VM - เช่น None --- Sentinel แปลก ๆ อย่างที่คุณเห็นมันเป็นวิธีที่ Python จะแสดงการอ้างอิงของรายการภายในตัวมันเอง