Swift Academy · Lezione

Vincoli sui parametri di tipo

Richiedi la conformità dei parametri generici.

Lezione 1 di 413 passaggi

Vincoli sui parametri di tipo è una lezione Swift Academy gratuita su CoddyKit. Questa è la lezione 1 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.

Riepilogo dei generici

Una funzione generica usa un parametro di tipo come <T> per funzionare con molti tipi. Tuttavia, un T senza vincoli può solo essere passato da una parte all'altra, non ispezionato. I vincoli rendono disponibili ulteriori capacità.

func identity<T>(_ x: T) -> T { x }
print(identity(5))
print(identity("hi"))

Il vincolo Comparable

Scrivere <T: Comparable> garantisce che i valori di T supportino <, > e gli operatori correlati, consentendo di confrontarli.

func largest<T: Comparable>(_ a: T, _ b: T) -> T {
    a > b ? a : b
}
print(largest(3, 9))
print(largest("apple", "pear"))

Perché servono i vincoli

Senza Comparable, il compilatore rifiuta a > b perché non tutti i tipi lo supportano. Il vincolo è la garanzia che rende legale l'operazione.

func minOf<T: Comparable>(_ list: [T]) -> T? {
    list.min()
}
print(minOf([4, 2, 8])!)

Il vincolo Equatable

Equatable abilita == e !=. Lo utilizzi per contare o trovare gli elementi corrispondenti.

func count<T: Equatable>(_ x: T, in list: [T]) -> Int {
    list.filter { $0 == x }.count
}
print(count(2, in: [2, 3, 2, 2]))

Il vincolo Hashable

Hashable consente di usare i valori come elementi di un Set o come chiavi di un dizionario.

func unique<T: Hashable>(_ list: [T]) -> [T] {
    Array(Set(list))
}
print(unique([1, 1, 2, 3, 3]).sorted())

Vincoli sui protocolli

Qualsiasi protocollo può essere usato come vincolo. In questo caso, un protocollo personalizzato rende disponibile il suo metodo sul parametro generico.

protocol Speaker { func speak() -> String }
struct Dog: Speaker { func speak() -> String { "Woof" } }

func announce<T: Speaker>(_ x: T) {
    print(x.speak())
}
announce(Dog())

Vincoli sulle classi

È possibile richiedere che T erediti da una determinata classe, ottenendo così accesso ai membri di quella classe.

class Animal { func name() -> String { "animal" } }
class Cat: Animal { override func name() -> String { "cat" } }

func describe<T: Animal>(_ x: T) { print(x.name()) }
describe(Cat())

Più vincoli

Combini i vincoli con & per richiedere contemporaneamente più protocolli.

func show<T: CustomStringConvertible & Equatable>(_ a: T, _ b: T) {
    print(a.description, a == b)
}
show(5, 5)

Più parametri di tipo

Una funzione può avere diversi parametri vincolati, ciascuno con i propri requisiti.

func zipMap<K: Hashable, V>(_ keys: [K], _ vals: [V]) -> [K: V] {
    var d: [K: V] = [:]
    for (k, v) in zip(keys, vals) { d[k] = v }
    return d
}
print(zipMap(["a", "b"], [1, 2]))

Vincoli sui tipi

Anche i tipi generici, non solo le funzioni, possono avere vincoli. Una struct generica può richiedere che il suo parametro sia conforme a un protocollo.

struct SortedBox<T: Comparable> {
    var items: [T]
    var smallest: T? { items.min() }
}
print(SortedBox(items: [5, 1, 9]).smallest!)

Vincoli numerici

I protocolli standard come Numeric consentono al codice generico di eseguire operazioni aritmetiche con Int, Double e altri tipi.

func sum<T: Numeric>(_ list: [T]) -> T {
    list.reduce(0, +)
}
print(sum([1, 2, 3]))
print(sum([1.5, 2.5]))

Verifica rapida

Verifichi la Sua comprensione dei vincoli sui parametri di tipo.

Riepilogo

I vincoli sui parametri di tipo (<T: Protocol> o <T: SomeClass>) indicano al compilatore quali operazioni può eseguire un tipo generico. Sono stati illustrati Comparable, Equatable, Hashable, Numeric, i protocolli personalizzati, i vincoli sulle classi, i vincoli multipli con & e i vincoli sui tipi generici.

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

Domande Frequenti

La lezione «Vincoli sui parametri di tipo» è gratuita?

Sì — il testo completo di «Vincoli sui parametri di tipo» è 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 «Vincoli sui parametri di tipo»?

Richiedi la conformità dei parametri generici. 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 1 di 4.

Quanto tempo richiede la lezione «Vincoli sui parametri di tipo»?

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

  1. Vincoli sui parametri di tipo
  2. Clausole where sulle funzioni
  3. Vincoli sui tipi associati
  4. Subscript ed estensioni generiche
← Torna a Swift Academy