Typealias: co to jest, składnia i zastosowanie

Co to jest Typealias?

Typealias — to deklaracja w Swift, która wprowadza alternatywną nazwę dla istniejącego typu. Po zadeklarowaniu typealias można używać nowej nazwy wszędzie tam, gdzie oczekiwany jest oryginalny typ — kompilator traktuje je jako identyczne. Typealias nie dodaje izolacji semantycznej: wartość typu UserID (typealias dla String) można przekazać do funkcji oczekującej String bez błędu.

Główne cele typealias — skracanie długich nazw, dokumentowanie przeznaczenia typu i abstrahowanie konkretnej implementacji. Na przykład typealias JSON = [String: Any] wyraźnie wskazuje, że słownik jest używany jako struktura JSON, a typealias Completion = (Result<Data, Error>) -> Void zamienia złożoną sygnaturę closure w czytelny typ.

Według Swift.org (2025), typealias jest szeroko używany w standardowej bibliotece. Na przykład String — to typealias dla String (wyspecjalizowany Array<Character>), choć w nowoczesnych wersjach Swifta ta implementacja jest ukryta. Void — typealias dla pustej krotki (), co czyni sygnatury funkcji bardziej czytelnymi.

Używaj typealias do dokumentowania semantyki typu, ale pamiętaj: nie chroni to przed mieszaniem różnych koncepcji tego samego typu bazowego. Do bezpiecznego rozdzielania typów używaj opakowań (struct wrapper).

Składnia i zakresy widoczności

Typealias deklaruje się słowem kluczowym typealias, po którym następuje nowa nazwa, znak równości i istniejący typ. Podstawowa forma:

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

Zakres widoczności typealias określa miejsce deklaracji:

Typealias wewnątrz typu (na przykład User.ID) — popularny wzorzec do grupowania powiązanych aliasów. Poprawia to przestrzeń nazw: Order.ID i User.ID — oba to Int, ale są odczytywane jako różne koncepcje. Dostęp do zagnieżdżonego typealias odbywa się przez User.ID lub przez kropkę, jeśli typ jest znany.

Typealias dla typów closure

Jednym z najczęstszych zastosowań typealias jest upraszczanie sygnatur closure. Typy closure w Swift mogą być rozbudowane, szczególnie z Optional i parametrami generycznymi. Typealias zamienia (Data?, Error?) -> Void w czytelny FetchResultHandler:

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

func fetchUser(id: Int, completion: FetchResultHandler) {
    // żądanie sieciowe
    completion(data, nil)
}

Według Ray Wenderlich Style Guide, typealias dla closure zwiększa czytelność sygnatur metod, szczególnie w protokołach delegowania i wzorcach callback. Unikaj jednak nadmiernej liczby aliasów — jeśli closure jest używany w jednym miejscu, można go zadeklarować inline.

Standardowa biblioteka Swift aktywnie używa tego podejścia. Na przykład DispatchQueue.WorkItem — to typealias dla DispatchWorkItem, choć z zewnątrz wygląda jak osobny typ. Typealias dla closure to narzędzie czytelności, nie nadużywaj go: 3–5 aliasów closure na moduł — rozsądny limit.

Typealias i parametry generyczne

Typealias może zawierać parametry generyczne, tworząc wyspecjalizowane wersje typów uogólnionych. Jest to szczególnie przydatne przy pracy z Result, Publisher i innymi typami generycznymi z biblioteki standardowej i Combine:

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

func loadData() -> FetchResult {
    // ładowanie danych
}

Można również tworzyć typealias z własnymi parametrami generycznymi, które są przekierowywane do oryginalnego typu:

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

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

Ważna zasada: typealias nie może dodawać nowych ograniczeń generycznych (where clauses) — jedynie przekierowuje parametry do oryginalnego typu. Jeśli potrzebne są dodatkowe ograniczenia, utwórz strukturę generyczną lub klasę. Według Swift by Sundell (2024), typealias z generic to idealny sposób na skracanie powtarzających się sygnatur w projektach aktywnie używających Combine, Result i async/await.

Associatedtype w protokołach

Associatedtype — to typealias zadeklarowany wewnątrz protokołu, który definiuje powiązany typ. W przeciwieństwie do zwykłego typealias, associatedtype nie jest powiązany z konkretnym typem na etapie deklaracji — jest konkretyzowany przez każdy typ potwierdzający protokół:

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

struct IntBox: Container {
    typealias Item = Int
    // implementacja
}

struct StringBox: Container {
    typealias Item = String
    // implementacja
}

Associatedtype daje protokołom elastyczność typów generycznych bez określania konkretnego typu w miejscu deklaracji. To podstawa wielu wzorców Swift: Collection (Element), IteratorProtocol (Element), Identifiable (ID). Kompilator może wywnioskować associatedtype automatycznie z implementacji, dlatego jawne typealias Item = Int jest często pomijane — Swift wnioskuje Item jako Int z parametru metody append.

Według Swift Evolution SE-0195 (2022), wprowadzono opaque result types (some Container) do pracy z protokołami zawierającymi associatedtype — rozwiązało to problem PAT (protocol with associated types), których nie można było używać jako typu zmiennej.

Typealias a opakowanie typu

Kluczowa różnica: typealias — to tylko inna nazwa dla istniejącego typu, a opakowanie (wrapper) — nowy typ, semantycznie izolowany od oryginalnego. Jeśli zadeklarujesz typealias UserID = Int, to UserID i Int są wymienne — funkcja oczekująca Int przyjmie UserID bez błędu.

Opakowanie tworzy się przez struct i daje prawdziwe bezpieczeństwo typów:

struct UserID: RawRepresentable {
    let rawValue: Int
}

struct OrderID: RawRepresentable {
    let rawValue: Int
}

// Błąd kompilacji: nie można przekazać OrderID tam, gdzie oczekiwane jest UserID

Według Point-Free (2025), opakowania są preferowane, gdy różne koncepcje są reprezentowane przez jeden typ bazowy (UserID vs OrderID). Typealias jest uzasadniony, gdy celem jest czytelność bez izolacji: skrócenie długiej nazwy, dokumentowanie semantyki, abstrahowanie implementacji przez associatedtype. Wybieraj typealias dla wygody czytania, opakowanie — dla bezpieczeństwa typów.