Risposta.

Storia della domanda:

defer è stato introdotto in Swift per una gestione più comoda delle risorse e per eseguire operazioni dopo la conclusione di un blocco di codice, simile a finally in altri linguaggi. Questa costruzione aiuta a mostrare esplicitamente le fasi di pulizia o di conclusione del lavoro con le risorse.

Problema:

Molti principianti pensano che defer esegua immediatamente il codice annidato, non comprendendo sempre correttamente il momento di attivazione. Inoltre, ci possono essere situazioni in cui più blocchi defer sono difficili da comprendere, se non si conoscono le regole LIFO (last-in, first-out). Possono sorgere complicazioni con try/catch e uscite anticipate.

Soluzione:

defer esegue il codice annidato alla fine dello scope, prima di uscire dall'attuale blocco funzione, anche se l'uscita dalla funzione avviene prima (attraverso return, throw, break, ecc.). Diversi defer vengono eseguiti in ordine inverso rispetto al loro apparire.

Esempio di codice:

func readFile() {
    print("Apri file")
    defer { print("Chiudi file") }
    print("Leggi riga 1")
    if Bool.random() {
        print("Ritorno anticipato!")
        return
    }
    print("Leggi riga 2")
}

readFile()
// Nella console ci sarà sempre: Apri file, ..., Chiudi file (alla fine)

Caratteristiche chiave:

• defer si attiva sempre all'uscita dallo scope della funzione/metodo
• diversi defer funzionano secondo il principio dello stack (LIFO)
• si attiva anche con un ritorno anticipato o errore

Domande insidiose.

È possibile utilizzare defer al di fuori di una funzione?

No, defer è consentito solo all'interno di funzioni, metodi, initializers e deinitializers. Non può essere posizionato, ad esempio, nello spazio globale del file o all'interno di un'origine di codice al di fuori delle funzioni.

Cosa succede a defer se c'è un'eccezione (throw) nel blocco?

defer verrà comunque eseguito. Questo è uno dei suoi vantaggi: la risorsa viene garantita di essere liberata anche in caso di errore (throw). Così si realizza il pattern di rilascio sicuro delle risorse.

In che ordine vengono eseguiti più defer?

Vengono eseguiti in ordine inverso (LIFO): quel defer che è stato dichiarato più tardi, verrà eseguito prima.

Esempio di codice:

func test() {
    defer { print("Primo") }
    defer { print("Secondo") }
    print("Dentro")
}
test() // Stampa: "Dentro", "Secondo", "Primo"

Errori tipici e anti-pattern

• Usare defer per codice in cui possono verificarsi return/throw propri, confondendo l'ordine di esecuzione
• Abuso di defer, complicando la leggibilità della funzione con molti blocchi
• Tentare di usare defer al di fuori dello scope della funzione

Esempio dalla vita reale

Caso negativo

Una funzione con più defer, disposti non in modo sequenziale; dimenticata la pulizia di alcune risorse, si ritorna dalla funzione in posti diversi. Questo porta a perdite di risorse e difficoltà nell'debugging del comportamento.

Pro: Uniformità del codice, azioni di pulizia "raggruppate" in un unico posto.

Contro: Difficile seguire ciò che verrà eseguito e in quale ordine; possibili perdite in caso di errori nella logica.

Caso positivo

Si crea un defer per ogni fase importante, posizionato subito dove la risorsa viene inizializzata, con commenti. Il codice viene controllato in revisione.

Pro: Pulizia garantita delle risorse, chiara comprensione dell'ordine delle azioni.

Contro: Richiede disciplina e attenzione nell'aggiungere nuove risorse e blocchi di pulizia.