Typealias: mi ez, szintaxis és alkalmazása

Mi az a Typealias?

Typealias — egy deklaráció Swiftben, amely alternatív nevet vezet be egy meglévő típus számára. A typealias deklarálása után az új név bárhol használható, ahol az eredeti típus várható — a fordítóprogram azonosként kezeli őket. A typealias nem ad hozzá szemantikai elkülönítést: a UserID típusú (typealias a String-hez) érték átadható egy Stringet váró függvénynek hiba nélkül.

A typealias fő céljai — hosszú nevek lerövidítése, a típus rendeltetésének dokumentálása és a konkrét megvalósítás absztrahálása. Például a typealias JSON = [String: Any] kifejezetten jelzi, hogy a szótár JSON struktúraként használatos, a typealias Completion = (Result<Data, Error>) -> Void pedig egy összetett closure szignatúrát olvasható típussá alakít.

A Swift.org (2025) szerint a typealias széles körben használatos a szabványos könyvtárban. Például a String — typealias a String számára (egy specializált Array<Character>), bár a Swift modern verzióiban ez a megvalósítás rejtett. A Void — typealias az üres tuple () számára, ami a függvényszignatúrákat olvashatóbbá teszi.

Használja a typealias-t a típus szemantikájának dokumentálásához, de ne feledje: ez nem véd a különböző koncepciók összekeverésétől ugyanazon az alaptípuson belül. A típusbiztos elkülönítéshez használjon burkolókat (struct wrapper).

Szintaxis és láthatósági tartományok

A typealias a typealias kulcsszóval deklarálható, amelyet az új név, egyenlőségjel és a meglévő típus követ. Alapvető forma:

typealias Name = ExistingType
typealias UserID = Int
typealias JSONDictionary = [String: Any]

A typealias láthatósági tartományát a deklaráció helye határozza meg:

A typealias típuson belül (például User.ID) — gyakori minta a kapcsolódó aliasok csoportosításához. Ez javítja a névteret: a Order.ID és a User.ID — mindkettő Int, de különböző koncepciókként olvasandók. A beágyazott typealias elérése a User.ID vagy pont segítségével történik, ha a típus ismert.

Typealias closure típusokhoz

A typealias egyik leggyakoribb alkalmazása — a closure szignatúrák egyszerűsítése. A Swiftben a closure típusok nehézkesek lehetnek, különösen az Optional és generikus paraméterekkel. A typealias a (Data?, Error?) -> Void kifejezést olvasható FetchResultHandler értékké alakítja:

typealias FetchResultHandler = (Data?, Error?) -> Void

func fetchUser(id: Int, completion: FetchResultHandler) {
    // hálózati kérés
    completion(data, nil)
}

A Ray Wenderlich Style Guide szerint a closure-hoz használt typealias növeli a metódus szignatúrák olvashatóságát, különösen a delegálási protokollokban és callback mintákban. Kerülje azonban a túlzott számú aliast — ha a closure egy helyen használatos, inline is deklarálható.

A Swift szabványos könyvtár aktívan használja ezt a technikát. Például a DispatchQueue.WorkItem — typealias a DispatchWorkItem számára, bár kívülről külön típusnak tűnik. A closure-hoz használt typealias az olvashatóság eszköze, ne éljen vissza vele: modulonként 3–5 closure aliast — ésszerű határ.

Typealias és generikus paraméterek

A typealias tartalmazhat generikus paramétereket, specializált verziókat hozva létre az általánosított típusokból. Ez különösen hasznos a Result, Publisher és más generikus típusokkal való munkában a szabványos könyvtárból és a Combine-ból:

typealias FetchResult = Result<Data, Error>
typealias AnyPublisherOfData = AnyPublisher<Data, Error>

func loadData() -> FetchResult {
    // adatbetöltés
}

Saját generikus paraméterekkel is létrehozható typealias, amelyek az eredeti típusba irányítódnak:

typealias NetworkResult<T> = Result<T, NetworkError>

func fetchUser() -> NetworkResult<User> {
    // ...
}

Fontos szabály: a typealias nem adhat hozzá új generikus korlátozásokat (where clauses) — csak a paramétereket irányítja át az eredeti típusba. Ha további korlátozások szükségesek, hozzon létre egy generikus struktúrát vagy osztályt. A Swift by Sundell (2024) szerint a typealias generic-kel — ideális módja az ismétlődő szignatúrák lerövidítésének olyan projektekben, amelyek aktívan használják a Combine-t, Result-ot és async/await-et.

Associatedtype protokollokban

Associatedtype — typealias protokollon belül deklarálva, amely meghatározza a kapcsolódó típust. A szokásos typealias-tól eltérően az associatedtype nem kötődik egy konkrét típushoz a deklarációs fázisban — a protokollt megerősítő minden egyes típus konkretizálja:

protocol Container {
    associatedtype Item
    var count: Int { get }
    mutating func append(_ item: Item)
}

struct IntBox: Container {
    typealias Item = Int
    // implementáció
}

struct StringBox: Container {
    typealias Item = String
    // implementáció
}

Az associatedtype rugalmasságot biztosít a protokolloknak a generikus típusokhoz anélkül, hogy konkrét típust kellene megadni a deklaráció helyén. Ez számos Swift minta alapja: Collection (Element), IteratorProtocol (Element), Identifiable (ID). A fordítóprogram automatikusan kikövetkeztetheti az associatedtype-t a megvalósításból, ezért az explicit typealias Item = Int gyakran elmarad — a Swift az Item-et Int-ként következteti ki a append metódus paraméteréből.

A Swift Evolution SE-0195 (2022) szerint az opaque result types (some Container) bevezetésre került az associatedtype-ot tartalmazó protokollokkal való munkához — ez megoldotta a PAT (protocol with associated types) problémát, amelyek nem használhatók változó típusaként.

Typealias vs típusburkoló

A kulcsfontosságú különbség: a typealias — csak egy másik név a meglévő típus számára, míg a burkoló (wrapper) — egy új típus, szemantikailag elkülönítve az eredetitől. Ha deklarálja a typealias UserID = Int, akkor a UserID és az Int felcserélhető — egy Int-et váró függvény elfogadja a UserID-t hiba nélkül.

A burkoló struct segítségével jön létre, és valódi típusbiztonságot nyújt:

struct UserID: RawRepresentable {
    let rawValue: Int
}

struct OrderID: RawRepresentable {
    let rawValue: Int
}

// Fordítási hiba: nem adható át OrderID ott, ahol UserID várható

A Point-Free (2025) szerint a burkolók előnyösebbek, ha különböző koncepciók egy alaptípussal vannak reprezentálva (UserID vs OrderID). A typealias akkor indokolt, ha a cél az olvashatóság elkülönítés nélkül: hosszú név lerövidítése, szemantika dokumentálása, megvalósítás absztrahálása associatedtype segítségével. Válassza a typealias-t az olvasás kényelméhez, a burkolót — a típusbiztonsághoz.