Typealias — що це, синтаксис і застосування в Kotlin

Що таке typealias?

Typealias (псевдонім типу) — це декларація, що вводить альтернативне ім’я для існуючого типу. Синтаксис: typealias НовеІм’я = ІснуючийТип. Після оголошення НовеІм’я можна використовувати скрізь, де очікується ІснуючийТип — компілятор сприймає їх як один і той самий тип. На рівні байткоду typealias не залишає слідів: уся інформація про псевдонім стирається на етапі компіляції.

Головна мета typealias — покращення читабельності коду. Замість багатослівної сигнатури fun process(callback: (Result) -> Unit) можна написати typealias Callback = (Result) -> Unit і використовувати Callback як тип параметра. Це особливо корисно, коли один і той самий функціональний тип повторюється в кількох місцях коду: псевдонім слугує єдиною точкою визначення та документує призначення типу.

Typealias не створює новий тип — це просто синонім. Змінні типу Callback і (Result) -> Unit повністю взаємозамінні. Компілятор не видасть помилку, якщо в функцію, яка очікує Callback, передати лямбду безпосередньо. Це відрізняє typealias від inline class (value class), який створює новий тип-обгортку з перевіркою на етапі компіляції. Typealias — це перейменування, а не обгортка.

Typealias для функціональних типів

Найпоширеніший сценарій застосування typealias у Kotlin — функціональні типи. Довгі сигнатури на кшталт (Int, String) -> Boolean або (List) -> Result роблять код важким для читання. Typealias перетворює їх на короткі осмислені імена, які документують призначення функції: typealias Validator = (String) -> Boolean визначає, що це валідатор рядка.

// Without typealias
fun findUsers(
    filter: (List<User>) -> List<User>
): List<User>

// With typealias
typealias UserFilter = (List<User>) -> List<User>

fun findUsers(filter: UserFilter): List<User>

// Usage in class
typealias OnClickListener = (View) -> Unit

class Button {
    var onClick: OnClickListener = {}
}

У прикладі typealias UserFilter приховує складний функціональний тип (List) -> List за коротким іменем. Сигнатура findUsers стає читабельною: «приймає UserFilter, повертає List». Typealias OnClickListener робить код схожим на декларацію інтерфейсу, але без накладних витрат на створення окремого інтерфейсу чи абстрактного класу. При цьому лямбди та анонімні функції продовжують працювати як зазвичай — typealias не вимагає змін у викликаючому коді.

Typealias з дженериками

Typealias підтримує узагальнені параметри (дженерики), що робить його ще більш гнучким. Можна визначити typealias Mapper = (T) -> R і використовувати з будь-якими типами. Компілятор підставляє конкретні типи на місце параметрів при кожному використанні псевдоніма, зберігаючи повну типобезпеку.

// Generic typealias
typealias Mapper<T, R> = (T) -> R
typealias Provider<T> = () -> T
typealias ListTransformer<T> = (List<T>) -> List<T>

fun processNumbers(mapper: Mapper<Int, String>) {
    // mapper type is (Int) -> String
}

fun main() {
    val config: Provider<String> = { "default config" }
    val reverse: ListTransformer<Int> = { it.reversed() }
}

У лістингу Mapper — узагальнений псевдонім для будь-якого перетворення з T у R. Provider — постачальник значення (фабрика без аргументів). ListTransformer — функція перетворення списку. При виклику processNumbers(mapper: Mapper) компілятор розкриває псевдонім у (Int) -> String. Дженерики роблять typealias універсальним інструментом, придатним для будь-яких контекстів без дублювання оголошень.

Typealias для вкладених і довгих імен

Вкладені класи та довгі параметризовані типи — ще одна сфера, де typealias суттєво спрощує код. Якщо клас знаходиться глибоко в ієрархії вкладеності (Outer.Inner.Nested), звернення до нього через повне ім’я захаращує код. Typealias скорочує такий доступ і робить його більш читабельним. Особливо це актуально для класів зі сторонніх бібліотек із довгими іменами.

// Alias for nested class
class NetworkResponse {
    class Error(val code: Int, val message: String)
}
typealias NetworkError = NetworkResponse.Error

// Alias for long library type
typealias UserId = Long
typealias JsonMap = Map<String, Any?>

fun process(error: NetworkError) {
    println("${error.code}: ${error.message}")
}

fun parseJson(data: JsonMap): UserId {
    return data["id"] as? Long ?: 0L
}

У прикладі NetworkError — псевдонім для вкладеного класу NetworkResponse.Error. При імпорті typealias можна використовувати NetworkError як звичайний тип, не розкриваючи ієрархію вкладеності. JsonMap документує, що карта представляє JSON-об’єкт. UserId пояснює призначення Long у конкретному контексті — читач одразу розуміє, що це ідентифікатор користувача, а не довільне число. Однак typealias не захищає від передачі звичайного Long туди, де очікується UserId — для цього потрібен value class.

Typealias vs Inline Class: відмінності

Typealias і inline class (value class) вирішують різні завдання, хоча обидва вводять нове ім’я для типу. Typealias — це просто синонім: змінна типу UserId = Long приймає будь-який Long без перевірки. Inline class обгортає значення в новий тип, який перевіряється на етапі компіляції: передати звичайний Long туди, де очікується inline class UserId, неможливо без явного перетворення.

У таблиці показано різницю між двома механізмами. Typealias підходить для коротких імен і документації коду, коли не потрібна строга типізація. Inline class через ключове слово value class (раніше inline class) потрібен, коли важливо розрізняти семантично різні значення одного й того самого примітивного типу. Наприклад, UserId і OrderId обидва є Long, але передача одного туди, де очікується інший — логічна помилка, яку value class запобігає на етапі компіляції.