pacchetto principale func main() { c := make(chan int, 1) per range 3 { select { default: println(1) case <-c: println(2) case c <- 1: println(3) } } }

Questo codice in Go crea un canale con buffer c di dimensione 1 e esegue un ciclo di 3 iterazioni, in ciascuna delle quali viene eseguito un select con tre casi:

• default: stampa 1
• ricezione dal canale c: stampa 2
• invio del valore 1 nel canale c: stampa 3

Analizziamo il comportamento per ogni iterazione:

1. Il canale è vuoto, il buffer è vuoto, si può inviare nel canale — si attiva case c <- 1, stampa 3.
2. Ora nel canale c'è un valore (il buffer è pieno), non si può inviare, ma si può ricevere — si attiva case <-c, stampa 2.
3. Il canale è di nuovo vuoto, si può inviare — stampa 3.

Risultato finale:

3
2
3

In questo modo, il programma dimostra il funzionamento con un canale con buffer e la scelta tra invio, ricezione e il caso di default in select.