Cosa significano i puntini di sospensione […] in un elenco?

Stavo giocando in pitone. Ho usato il seguente codice in IDLE:

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

L'output è stato:

[1, [...], 2]

Che cos'è questo […]? È interessante notare che ora potrei usare questo come un elenco di elenco di elenchi fino all'infinito, cioè

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

Potrei scrivere quanto sopra quanto volevo e funzionerebbe ancora.

MODIFICARE:

• Come viene rappresentato in memoria?
• A che serve? Esempi di alcuni casi in cui è utile sarebbero utili.
• Qualsiasi collegamento alla documentazione ufficiale sarebbe davvero utile.

Significa che hai creato un elenco infinito nidificato al suo interno, che non può essere stampato. pcontiene pquale contiene p... e così via. La [...]notazione è un modo per farti sapere questo e per informare che non può essere rappresentato! Dai un'occhiata alla risposta di @ 6502 per vedere una bella foto che mostra cosa sta succedendo.

Ora, per quanto riguarda i tre nuovi elementi dopo la modifica:

• Questa risposta sembra coprirla
• Il link di Ignacio descrive alcuni possibili usi
• Questo è più un argomento di progettazione della struttura dei dati che di linguaggi di programmazione, quindi è improbabile che qualsiasi riferimento si trovi nella documentazione ufficiale di Python

Questo è ciò che il tuo codice ha creato

È un elenco in cui il primo e l'ultimo elemento indicano due numeri (1 e 2) e in cui l'elemento centrale punta all'elenco stesso.

In Common Lisp quando la stampa di strutture circolari è abilitata, tale oggetto verrebbe stampato come

#1=#(1 #1# 2)

nel senso che esiste un oggetto (etichettato 1 con #1=) che è un vettore con tre elementi, il secondo è l'oggetto stesso (con riferimento all'indietro #1#).

In Python invece ottieni solo le informazioni con cui la struttura è circolare [...].

In questo caso specifico la descrizione non è ambigua (punta all'indietro verso un elenco ma esiste solo un elenco, quindi deve essere quello). In altri casi può essere comunque ambiguo ... per esempio in

[1, [2, [...], 3]]

il riferimento all'indietro potrebbe indicare l'esterno o l'elenco interno. Queste due diverse strutture stampate nello stesso modo possono essere create con

x = [1, [2, 3]]
x[1][1:1] = [x[1]]

y = [1, [2, 3]]
y[1][1:1] = [y]

print(x)
print(y)

e sarebbero in memoria come

Alla domanda "A cosa serve", ecco un esempio concreto.

La riduzione del grafico è una strategia di valutazione utilizzata a volte per interpretare un linguaggio informatico. Questa è una strategia comune per la valutazione pigra, in particolare dei linguaggi funzionali.

Il punto di partenza è costruire un grafico che rappresenti la sequenza di "passi" che il programma prenderà. A seconda delle strutture di controllo utilizzate in quel programma, questo potrebbe portare a un grafico ciclico (perché il programma contiene una sorta di ciclo "per sempre") o utilizzare la ricorsione la cui "profondità" sarà nota al momento della valutazione , ma non al grafico- tempo di creazione ) ...

Per rappresentare tale grafico, hai bisogno di infinite "strutture di dati" (a volte chiamate strutture di dati ricorsive ), come quella che hai notato. Di solito, un po 'più complesso però.

Se sei interessato a quell'argomento, ecco (tra molti altri) una lezione sull'argomento:
http://undergraduate.csse.uwa.edu.au/units/CITS3211/lectureNotes/14.pdf

Lo facciamo continuamente nella programmazione orientata agli oggetti. Se due oggetti si riferiscono l'un l'altro, direttamente o indirettamente, sono entrambe strutture infinitamente ricorsive (o entrambe parti della stessa struttura infinitamente ricorsiva, a seconda di come la guardi). Ecco perché non vedi così tanto in qualcosa di primitivo come un elenco - perché di solito stiamo meglio descrivendo il concetto come "oggetti" interconnessi piuttosto che un "elenco infinito".

Puoi anche ottenere ...con un dizionario infinitamente ricorsivo. Supponiamo che tu voglia un dizionario degli angoli di un triangolo, dove ogni valore è un dizionario degli altri angoli collegati a quell'angolo. Puoi configurarlo in questo modo:

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

Ora, se si stampa triangle(o ao bo cper quella materia), vedrete che è pieno di {...}perché ogni due angoli si riferiscono alla parte posteriore gli uni agli altri.

Come ho capito, questo è un esempio di punto fisso

p  = [1, 2]
p[1:1] = [p]
f = lambda x:x[1]
f(p)==p
f(f(p))==p

Il nome di quell'oggetto speciale è l'ellissi. Immagino che sia implementato come un oggetto singleton nell'interprete / VM di Python - qualcosa come None --- una specie di sentinella. Come hai visto, Python rappresenta un modo per rappresentare il riferimento di un elenco al suo interno.