Typealias — bu nədir, sintaksisi və Kotlin-də tətbiqi

Typealias nədir?

Typealias (tip aliası) — mövcud tip üçün alternativ ad təqdim edən bəyannamədir. Sintaksis: typealias YeniAd = MövcudTip. Bəyannamədən sonra YeniAd, MövcudTip-in gözlənildiyi hər yerdə istifadə edilə bilər — kompilator onları eyni tip kimi qəbul edir. Bayt-kod səviyyəsində typealias heç bir iz buraxmır: alias haqqında bütün məlumatlar kompilasiya mərhələsində silinir.

Typealias-ın əsas məqsədi kodun oxunaqlılığını yaxşılaşdırmaqdır. Uzun imza fun process(callback: (Result) -> Unit) əvəzinə typealias Callback = (Result) -> Unit yazmaq və Callback-i parametr tipi kimi istifadə etmək olar. Bu, eyni funksional tip kodun bir neçə yerində təkrarlandıqda xüsusilə faydalıdır: alias vahid təyin nöqtəsi kimi xidmət edir və tipin məqsədini sənədləşdirir.

Typealias yeni tip yaratmır — bu sadəcə sinonimdir. Callback tipi və (Result) -> Unit dəyişənləri tam qarşılıqlı əvəz olunandır. Kompilator Callback gözləyən funksiyaya birbaşa lambda ötürüldükdə səhv vermir. Bu, typealias-ı inline class-dan (value class) fərqləndirir — inline class kompilasiya mərhələsində yoxlama ilə yeni tip-sarğı yaradır. Typealias adlandırmadır, sarğı deyil.

Funksional tiplər üçün typealias

Kotlin-də typealias-ın ən çox yayılmış istifadə ssenarisi funksional tiplərdir. (Int, String) -> Boolean və ya (List) -> Result kimi uzun imzalar kodu oxumağı çətinləşdirir. Typealias onları funksiyanın məqsədini sənədləşdirən qısa mənalı adlara çevirir: typealias Validator = (String) -> Boolean bunun sətir validatoru olduğunu bildirir.

// Typealias olmadan
fun findUsers(
    filter: (List<User>) -> List<User>
): List<User>

// Typealias ilə
typealias UserFilter = (List<User>) -> List<User>

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

// Sinifdə istifadə
typealias OnClickListener = (View) -> Unit

class Button {
    var onClick: OnClickListener = {}
}

Nümunədə typealias UserFilter mürəkkəb funksional tipi (List) -> List qısa ad arxasında gizlədir. findUsers imzası oxunaqlı olur: «UserFilter qəbul edir, List qaytarır». Typealias OnClickListener kodu interfeys bəyannaməsinə bənzədir, lakin ayrıca interfeys və ya abstrakt sinif yaratmaq yükü olmadan. Lambdalar və anonim funksiyalar həmişəki kimi işləyir — typealias çağıran koddan dəyişiklik tələb etmir.

Generiklərlə typealias

Typealias ümumiləşdirilmiş parametrləri (generikləri) dəstəkləyir, bu da onu daha çevik edir. typealias Mapper = (T) -> R təyin etmək və istənilən tiplərlə istifadə etmək olar. Kompilator aliasın hər istifadəsində parametrlərin yerinə konkret tipləri qoyur, tam tip təhlükəsizliyini qoruyaraq.

// Generik 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 tipi (Int) -> String
}

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

Listinqdə Mapper — T-dən R-ə istənilən çevrilmə üçün ümumiləşdirilmiş aliasdır. Provider — dəyər təmin edəni (arqumentsiz fabrik). ListTransformer — siyahını çevirən funksiya. processNumbers(mapper: Mapper) çağırışında kompilator aliası (Int) -> String-ə açır. Generiklər typealias-ı hər hansı kontekstə uyğun universal alətə çevirir, bəyannamələrin təkrarlanması olmadan.

İç-içə siniflər və uzun adlar üçün typealias

İç-içə siniflər və uzun parametrləşdirilmiş tiplər — typealias-ın kodu əhəmiyyətli dərəcədə sadələşdirdiyi başqa bir sahədir. Əgər sinif daxilolma iyerarxiyasında dərindirsə (Outer.Inner.Nested), ona tam adla müraciət etmək kodu qarışdırır. Typealias bu girişi qısaldır və daha oxunaqlı edir. Bu, xüsusilə uzun adları olan xarici kitabxanaların sinifləri üçün aktualdır.

// İç-içə sinif üçün alias
class NetworkResponse {
    class Error(val code: Int, val message: String)
}
typealias NetworkError = NetworkResponse.Error

// Uzun kitabxana tipi üçün alias
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
}

Nümunədə NetworkError — NetworkResponse.Error iç-içə sinfi üçün aliasdır. Typealias-ı import edərkən NetworkError-dan adi tip kimi istifadə etmək olar, daxilolma iyerarxiyasını açıqlamadan. JsonMap xəritənin JSON obyektini təmsil etdiyini sənədləşdirir. UserId konkret kontekstdə Long-un məqsədini izah edir — oxucu dərhal bunun istifadəçi identifikatoru olduğunu, ixtiyari rəqəm olmadığını başa düşür. Lakin typealias adi Long-un UserId gözlənilən yerə ötürülməsindən qorumur — bunun üçün value class lazımdır.

Typealias vs inline class: fərqlər

Typealias və inline class (value class) müxtəlif vəzifələri həll edir, hər ikisi tip üçün yeni ad təqdim etsə də. Typealias sadəcə sinonimdir: UserId = Long tipli dəyişən heç bir yoxlama olmadan istənilən Long qəbul edir. Inline class dəyəri kompilasiya mərhələsində yoxlanılan yeni tipə sarır: inline class UserId gözlənilən yerə adi Long ötürmək açıq çevrilmə olmadan mümkün deyil.

Cədvəl iki mexanizm arasındakı fərqi göstərir. Typealias qısa adlar və kod sənədləşdirməsi üçün uyğundur, ciddi tipizasiya tələb olunmadıqda. Inline class value class açar sözü vasitəsilə (əvvəllər inline class) eyni primitiv tipin semantik fərqli dəyərlərini ayırd etmək vacib olduqda lazımdır. Məsələn, UserId və OrderId hər ikisi Long-dur, lakin birinin digərinin gözlənildiyi yerə ötürülməsi məntiqi səhvdir, value class bunun qarşısını kompilasiya mərhələsində alır.