Swift Academy · Lezione

Inferenza nelle closure

Comprendi l’inferenza dei parametri e del valore restituito nelle closure.

Lezione 4 di 413 passaggi

Inferenza nelle closure è una lezione Swift Academy gratuita su CoddyKit. Questa è la lezione 4 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento Swift Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Swift Academy include 4 lezioni in totale.

Le closure inferiscono i tipi

In molti contesti, una closure può inferire sia i tipi dei parametri sia quello restituito in base al modo in cui viene utilizzata.

let numbers = [1, 2, 3, 4]
let doubled = numbers.map { $0 * 2 }
print(doubled)

Tipo del parametro inferito

Quando passa una closure a map, il tipo degli elementi indica a Swift che cosa rappresenta $0, quindi può omettere il tipo del parametro.

let names = ["ada", "bob"]
let upper = names.map { $0.uppercased() }
print(upper)

Tipo restituito inferito

Il corpo della closure determina il tipo restituito. Restituendo un Bool, la closure diventa un predicato.

let nums = [1, 2, 3, 4, 5]
let evens = nums.filter { $0 % 2 == 0 }
print(evens)

Nomi abbreviati degli argomenti

$0, $1 e così via fanno riferimento agli argomenti della closure in base alla posizione, quando i relativi tipi sono inferiti.

let sums = zip([1, 2, 3], [10, 20, 30]).map { $0 + $1 }
print(Array(sums))

Parametri espliciti quando servono

Può comunque assegnare un nome ai parametri e annotarne i tipi se ciò migliora la chiarezza.

let nums = [3, 1, 2]
let sorted = nums.sorted { (a: Int, b: Int) -> Bool in
    return a < b
}
print(sorted)

Inferenza dal contesto

Se assegna una closure a una variabile tipizzata, il tipo della variabile indica alla closure quale sia la sua firma.

let add: (Int, Int) -> Int = { a, b in a + b }
print(add(2, 3))

Closure finale

La sintassi della closure finale mantiene attiva l'inferenza e rende più leggibili i punti di chiamata.

let result = [5, 3, 8, 1].sorted { $0 > $1 }
print(result)

Inferita in reduce

In reduce, i tipi dell'accumulatore e degli elementi vengono inferiti dal valore iniziale e dalla sequenza.

let total = [1, 2, 3, 4].reduce(0) { acc, x in acc + x }
print(total)

Restituire un valore da una closure

Le closure con una singola espressione possono omettere la parola chiave return: viene restituito il valore dell'espressione e il relativo tipo viene inferito.

let lengths = ["hi", "hello", "hey"].map { $0.count }
print(lengths)

Variabile closure con tipo annotato

Quando memorizza una closure senza chiamarla immediatamente, ne annoti il tipo affinché Swift possa inferire il corpo.

let transform: (String) -> Int = { $0.count }
print(transform("swift"))

Quando è necessario annotare

Se il contesto circostante non fornisce informazioni sul tipo, Swift non può inferire i parametri della closure e deve annotarli.

let isPositive: (Int) -> Bool = { n in n > 0 }
print(isPositive(5), isPositive(-3))

Verifica rapida

Provi l'inferenza delle closure.

Rispondi nella lezione interattiva

Riepilogo

Le closure inferiscono i tipi dei parametri e del valore restituito dal contesto, ad esempio map, filter o una variabile tipizzata. Utilizzi la forma abbreviata $0/$1 quando i tipi sono inferiti e aggiunga annotazioni esplicite quando non è disponibile alcun contesto.

let f: (Int) -> Int = { $0 + 1 }
let xs = [1, 2, 3].map { $0 * 10 }
print(f(9), xs)

Gratis per iniziare

Impara Swift con un tutor IA — gratis

Scrivi ed esegui vero codice nel tuo browser, ricevi aiuto istantaneo da un tutor IA disponibile 24/7, e riprendi da dove hai lasciato sul web o nell'app.

Corsi: 122
Lezioni: 409

Inizia a imparare gratis Visualizza il corso completo

Domande Frequenti

La lezione «Inferenza nelle closure» è gratuita?

Sì — il testo completo di «Inferenza nelle closure» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso Swift Academy, passa a CoddyKit PRO. Il corso Swift Academy include 4 lezioni in totale.

Cosa imparerò in «Inferenza nelle closure»?

Comprendi l’inferenza dei parametri e del valore restituito nelle closure. Eserciti Swift Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.

Ho bisogno di esperienza per iniziare Swift Academy?

Non è richiesta alcuna esperienza precedente. Swift Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 4 di 4.

Quanto tempo richiede la lezione «Inferenza nelle closure»?

La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.

Posso scrivere ed eseguire codice in questa lezione Swift Academy?

Sì. Ogni lezione Swift Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.

Tutte le lezioni di questo corso

← Torna a Swift Academy