Risposta.

Typealias è un meccanismo per creare alias per tipi esistenti, che facilita la lettura del codice, migliora il supporto ai progetti e consente di riutilizzare astrazioni.

Storia della domanda

Typealias è apparso come eredità di molti altri linguaggi, ad esempio typedef in C. In Swift typealias è integrato nel sistema dei tipi e viene applicato attivamente ai tipi generici e ai protocolli con associated type.

Problema

Nei grandi progetti si incontrano spesso tipi generici lunghi, tipi compositi, composizioni e tipi annidati. Senza alias, queste strutture diventano illeggibili e complicano il supporto dell'applicazione.

Soluzione

Dichiarare un typealias per tipi complessi o usati frequentemente rende il codice più semplice, chiaro e più strutturato. Inoltre, il typealias è spesso utilizzato per definire alias per protocolli con associatedtype, per bypassare le limitazioni dei protocolli come tipi.

Esempio di codice:

typealias JSON = [String: Any]
typealias CompletionHandler = (Result<Int, Error>) -> Void

typealias StringDictionary = Dictionary<String, String>
typealias Handler = (String) -> Void

Caratteristiche principali:

Miglioramento della leggibilità e del supporto del codice
Semplificazione del lavoro con tipi generici
Consente di nascondere i dettagli di implementazione dei tipi

Domande trabocchetto.

È possibile creare un nuovo tipo con typealias?

No, il typealias non crea un nuovo tipo: è semplicemente un alias, una completa sinonimia di un tipo esistente, e il compilatore li considera come lo stesso tipo.

typealias Age = Int
let a: Age = 25
let b: Int = a // Tutto corretto

Funzionerà il typealias a livello di sicurezza dei tipi (type safety)?

No, il typealias non protegge dalla trasmissione di un tipo errato: JSON e [String: Any] sono intercambiabili. Per controllare o separare la logica, è necessario utilizzare strutture separate/oggetti wrapper, non typealias.

typealias UserID = Int
typealias ProductID = Int
func logId(_ id: UserID) {}
let productId: ProductID = 42
logId(productId) // Il compilatore non genera errore!

È possibile dichiarare typealias all'interno di protocolli o tipi generici?

Sì, all'interno dei protocolli si dichiarano spesso associatedtype o typealias, specialmente per tipi generici complessi o interfacce personalizzate.

protocol DataSource {
    associatedtype Item
    typealias CompletionBlock = (Item) -> Void
}

Errori tipici e anti-pattern

Utilizzare typealias anziché un wrapper attorno a un tipo, quando è necessaria una semantica separata dei tipi
Dichiarare typealias con nomi poco chiari, il che compromette la leggibilità
Uso eccessivo di typealias, che porta a confusione e a una difficile rifattorizzazione dei tipi

Esempio della vita reale

Caso negativo

Tutti gli identificatori dei modelli sono dichiarati tramite typealias come Int:

typealias UserID = Int
typealias ProductID = Int

func deleteUser(id: UserID)
func deleteProduct(id: ProductID)

Vantaggi:

Comodo da scrivere Svantaggi:
Errori: è facile confondere gli identificatori, il compilatore non proteggerà dalla trasmissione di un id errato

Caso positivo

Per un tipo generico complesso o per il risultato di un tipo closure si dichiarano typealias:

typealias Completion<T> = (Result<T, Error>) -> Void
let completion: Completion<String>