Quali conseguenze possono verificarsi leggendo da un canale chiuso in Go?

La lettura da un canale chiuso restituisce immediatamente il valore nullo del tipo di elementi del canale senza blocco. Se è presente un secondo parametro booleano restituito, sarà false.

package main

import (
	"fmt"
)

func main() {
	ch := make(chan int, 1) // Canale con buffer
	ch <- 1
	close(ch)

	val, ok := <-ch // Lettura da un canale chiuso
	fmt.Printf("Valore: %d, Aperto: %t\n", val, ok) // Verrà stampato "Valore: 1, Aperto: true"

	val, ok = <-ch // Lettura ripetuta dallo stesso canale chiuso
	fmt.Printf("Valore: %d, Aperto: %t\n", val, ok) // Verrà stampato "Valore: 0, Aperto: false"

	// Letture successive dal canale chiuso
	val, ok = <-ch
	fmt.Printf("Valore: %d, Aperto: %t\n", val, ok) // Verrà stampato "Valore: 0, Aperto: false"
}

Principali conseguenze:

• Ottenimento del valore nullo: Il programma non si bloccherà, ma otterrà il valore nullo di default per il tipo di dati del canale.
• Indicatore di chiusura: Il secondo parametro booleano, se usato, diventa false, segnalando che il canale è chiuso e il valore ottenuto è nullo.
• Lettura non bloccante: L’operazione di lettura non bloccherà la goroutine.
• Nessun panic: A differenza della scrittura in un canale chiuso, la lettura da un canale chiuso non provoca panic.

Confronto tra lettura da canali aperti e chiusi:

Stato del canale	Operazione	Comportamento	Valore restituito (se presente il secondo parametro)
Aperto	<-ch	Blocco fino a ricevere un valore o chiudere	Valore, true
Aperto	val, ok := <-ch	Blocco fino a ricevere un valore o chiudere	Valore, true
Chiuso	<-ch	Ricezione immediata	Valore nullo
Chiuso	val, ok := <-ch	Ricezione immediata	Valore nullo, false

L’uso del secondo parametro booleano è il metodo raccomandato per determinare se si è ricevuto un elemento reale dal canale o se il canale è chiuso.

package main

import (
	"fmt"
)

func main() {
	ch := make(chan int, 1)
	ch <- 1
	close(ch)

	for {
		val, ok := <-ch
		if !ok {
			fmt.Println("Canale chiuso, uscita dal ciclo.")
			break
		}
		fmt.Printf("Valore ricevuto: %d\n", val)
	}
}

Questo comportamento permette di terminare elegantemente le goroutine che leggono dal canale dopo la sua chiusura.