Що означають еліпсиси […] у списку?

Я грав у пітоні. Я використовував такий код в 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#).

В 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

Назва цього спеціального об'єкта - Еліпсис. Я здогадуюсь, що він реалізований як одиночний об’єкт в інтепретераторі Python / VM - щось на зразок None --- дозорний тип. Як ви бачили, Python - це спосіб представляти посилання списку всередині себе.