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 одређује да је ово валидатор стринга.

// Без typealias
fun findUsers(
    filter: (List<User>) -> List<User>
): List<User>

// Са typealias
typealias UserFilter = (List<User>) -> List<User>

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

// Употреба у класи
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 и користити са било којим типовима. Компајлер замењује конкретне типове уместо параметара при сваком коришћењу псеудонима, чувајући потпуну типску безбедност.

// Генерички 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 тип је (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 скраћује такав приступ и чини га читљивијим. Ово је посебно важно за класе из спољних библиотека са дугим именима.

// Псеудоним за угнежђену класу
class NetworkResponse {
    class Error(val code: Int, val message: String)
}
typealias NetworkError = NetworkResponse.Error

// Псеудоним за дуг библиотечки тип
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 спречава у фази компилације.