Swift Academy · Lezione

Quando usare gli existentials (any P) invece dei generics

Scelga tra any P (tipi existential) e generics : archiviazione eterogenea e comportamento dinamico rispetto a specializzazione in fase di compilazione e garanzie statiche.

Lezione 3 di 38 passaggi

Quando usare gli existentials (any P) invece dei generics è una lezione Swift Academy gratuita su CoddyKit. Questa è la lezione 3 di 3. 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 3 lezioni in totale.

Esistenziali e generici

Gli esistenziali (any P) memorizzano valori di tipo concreto sconosciuto conformi a un protocollo. I generici (<T: P>) mantengono il tipo concreto in fase di compilazione per consentire la specializzazione.

Configurazione del protocollo

I protocolli senza tipi associati sono facili da usare come esistenziali any P e come vincoli generici.

protocol Animal {
    func speak() -> String
}
struct Dog: Animal { func speak() -> String { "woof" } }
struct Cat: Animal { func speak() -> String { "meow" } }

Array eterogenei

Usi [any Animal] per memorizzare insieme conformi diversi e chiamare solo l'API del protocollo.

let zoo: [any Animal] = [Dog(), Cat()]   // heterogeneous array
for a in zoo { print(a.speak()) }              // "woof", "meow"

Specializzazione tramite generici

I generici preservano il tipo concreto (T), consentendo una maggiore ottimizzazione e controlli più rigorosi in fase di compilazione.

// Generic version — compiler specializes for each concrete type
func shout<T: Animal>(_ a: T) {
    // Can inline/specialize based on concrete T
    print(a.speak().uppercased())
}
shout(Dog()) // WOOF
shout(Cat()) // MEOW

Limiti dei PAT

I protocolli con tipi associati non funzionano bene come semplici esistenziali se è necessario usare il tipo associato. Preferisca i generici o la type erasure (ad esempio, AnySequence).

protocol Container {
    associatedtype Item
    func get(_ i: Int) -> Item
}
// Storing as `any Container` loses the concrete Item.
// You can't use Item directly without additional constraints or type erasure.

Quale scegliere

Scelga:

  • any P quando ha bisogno di memorizzazione eterogenea o di comportamento dinamico tramite la sola API del protocollo.
  • I generici quando desidera tipi statici, una migliore ottimizzazione o deve mettere in relazione più tipi (ad esempio, lo stesso Item).
  • Per i PAT in cui Item è importante, usi i generici oppure aggiunga la type erasure.

any P e generici

Verifica rapida: quando è preferibile usare any P?

Riepilogo

Riepilogo: usi any P per conformi eterogenei e comportamento dinamico; usi i generici per la specializzazione in fase di compilazione e quando contano i tipi associati o le relazioni tra tipi.

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 «Quando usare gli existentials (any P) invece dei generics» è gratuita?

Sì — il testo completo di «Quando usare gli existentials (any P) invece dei generics» è 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 3 lezioni in totale.

Cosa imparerò in «Quando usare gli existentials (any P) invece dei generics»?

Scelga tra any P (tipi existential) e generics : archiviazione eterogenea e comportamento dinamico rispetto a specializzazione in fase di compilazione e garanzie statiche. 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 3 di 3.

Quanto tempo richiede la lezione «Quando usare gli existentials (any P) invece dei generics»?

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. associatedtype e protocolli generici
  2. Pattern di type erasure (AnySequence/AnyIterator)
  3. Quando usare gli existentials (any P) invece dei generics
← Torna a Swift Academy