Typealias: nó là gì, cú pháp và ứng dụng

Typealias là gì?

Typealias là một khai báo trong Swift giới thiệu một tên thay thế cho một kiểu hiện có. Sau khi khai báo typealias, tên mới có thể được sử dụng ở bất cứ nơi nào mà kiểu gốc được mong đợi — trình biên dịch coi chúng là giống hệt. Typealias không thêm sự cô lập ngữ nghĩa: một giá trị thuộc kiểu UserID (typealias cho String) có thể được truyền vào một hàm mong đợi String mà không có lỗi.

Các mục đích chính của typealias là rút ngắn tên dài, ghi lại mục đích của một kiểu và trừu tượng hóa việc triển khai cụ thể. Ví dụ, typealias JSON = [String: Any] chỉ rõ rằng một từ điển được sử dụng như một cấu trúc JSON, và typealias Completion = (Result<Data, Error>) -> Void biến một chữ ký closure phức tạp thành một kiểu có thể đọc được.

Theo Swift.org (2025), typealias được sử dụng rộng rãi trong thư viện chuẩn. Ví dụ, String là một typealias cho String (một Array<Character> chuyên biệt), mặc dù trong các phiên bản Swift hiện đại, việc triển khai này đã được ẩn. Void là một typealias cho tuple rỗng (), làm cho chữ ký hàm dễ đọc hơn.

Sử dụng typealias để ghi lại ngữ nghĩa của một kiểu, nhưng hãy nhớ: nó không bảo vệ khỏi việc trộn lẫn các khái niệm khác nhau của cùng một kiểu cơ sở. Để phân tách an toàn kiểu, hãy sử dụng wrapper (struct wrapper).

Cú pháp và phạm vi

Typealias được khai báo với từ khóa typealias, theo sau là tên mới, dấu bằng và kiểu hiện có. Dạng cơ bản:

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

Phạm vi của typealias được xác định bởi nơi nó được khai báo:

Typealias bên trong một kiểu (ví dụ, User.ID) là một mẫu phổ biến để nhóm các bí danh liên quan. Điều này cải thiện không gian tên: Order.ID và User.ID đều là Int, nhưng được đọc như các khái niệm khác nhau. Truy cập vào typealias lồng nhau được thực hiện thông qua User.ID hoặc qua ký hiệu dấu chấm nếu kiểu được biết.

Typealias cho kiểu closure

Một trong những cách sử dụng phổ biến nhất của typealias là đơn giản hóa chữ ký closure. Các kiểu closure trong Swift có thể rườm rà, đặc biệt với Optional và tham số generic. Typealias biến (Data?, Error?) -> Void thành FetchResultHandler có thể đọc được:

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

func fetchUser(id: Int, completion: FetchResultHandler) {
    // network request
    completion(data, nil)
}

Theo Hướng dẫn Kiểu của Ray Wenderlich, typealias cho closure cải thiện khả năng đọc của chữ ký phương thức, đặc biệt trong các giao thức ủy quyền và mẫu callback. Tuy nhiên, tránh quá nhiều bí danh — nếu một closure chỉ được sử dụng ở một nơi, nó có thể được khai báo inline.

Thư viện chuẩn Swift tích cực sử dụng cách tiếp cận này. Ví dụ, DispatchQueue.WorkItem là một typealias cho DispatchWorkItem, mặc dù bên ngoài trông như một kiểu riêng biệt. Typealias cho closure là một công cụ đọc — đừng lạm dụng: 3–5 bí danh closure trên một module là giới hạn hợp lý.

Typealias và tham số generic

Typealias có thể bao gồm các tham số generic, tạo ra các phiên bản chuyên biệt của các kiểu generic. Điều này đặc biệt hữu ích khi làm việc với Result, Publisher và các kiểu generic khác từ thư viện chuẩn và Combine:

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

func loadData() -> FetchResult {
    // data loading
}

Bạn cũng có thể tạo typealias với các tham số generic tùy chỉnh được chuyển tiếp đến kiểu gốc:

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

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

Một quy tắc quan trọng: typealias không thể thêm các ràng buộc generic mới (mệnh đề where) — nó chỉ chuyển tiếp các tham số đến kiểu gốc. Nếu cần các ràng buộc bổ sung, hãy tạo một struct hoặc class generic. Theo Swift by Sundell (2024), typealias với generic là một cách lý tưởng để rút ngắn các chữ ký lặp đi lặp lại trong các dự án sử dụng nhiều Combine, Result và async/await.

Associatedtype trong giao thức

Associatedtype là một typealias được khai báo bên trong một giao thức xác định một kiểu liên kết. Không giống như typealias thông thường, associatedtype không bị ràng buộc với một kiểu cụ thể tại thời điểm khai báo — nó được chỉ định bởi mỗi kiểu áp dụng giao thức:

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

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

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

Associatedtype mang lại cho các giao thức sự linh hoạt của các kiểu generic mà không cần chỉ định một kiểu cụ thể tại điểm khai báo. Đây là nền tảng của nhiều mẫu Swift: Collection (Element), IteratorProtocol (Element), Identifiable (ID). Trình biên dịch có thể suy ra associatedtype tự động từ việc triển khai, vì vậy một typealias Item = Int rõ ràng thường được bỏ qua — Swift suy ra Item là Int từ tham số của phương thức append.

Theo Swift Evolution SE-0195 (2022), các kiểu kết quả mờ (some Container) đã được giới thiệu để làm việc với các giao thức chứa associatedtype — điều này đã giải quyết vấn đề PAT (giao thức với các kiểu liên kết), vốn ngăn cản việc sử dụng các giao thức này làm kiểu biến.

Typealias so với wrapper kiểu

Sự khác biệt chính: Typealias chỉ là một tên khác cho một kiểu hiện có, trong khi wrapper là một kiểu mới, được cô lập về mặt ngữ nghĩa khỏi kiểu gốc. Nếu bạn khai báo typealias UserID = Int, thì UserID và Int có thể thay thế cho nhau — một hàm mong đợi Int sẽ chấp nhận UserID mà không có lỗi.

Một wrapper được tạo thông qua struct và cung cấp tính an toàn kiểu thực sự:

struct UserID: RawRepresentable {
    let rawValue: Int
}

struct OrderID: RawRepresentable {
    let rawValue: Int
}

// Compilation error: cannot pass OrderID where UserID is expected

Theo Point-Free (2025), wrapper được ưa tiên khi các khái niệm khác nhau được thể hiện bởi cùng một kiểu cơ sở (UserID so với OrderID). Typealias được biện minh khi mục tiêu là khả năng đọc mà không có sự cô lập: rút ngắn tên dài, ghi lại ngữ nghĩa, trừu tượng hóa việc triển khai thông qua associatedtype. Chọn typealias cho sự tiện lợi khi đọc, wrapper cho tính an toàn kiểu.