Typealias — τι είναι, σύνταξη και εφαρμογή στο Kotlin

Τι είναι το typealias;

Typealias (ψευδώνυμο τύπου) — μια δήλωση που εισάγει ένα εναλλακτικό όνομα για έναν υπάρχοντα τύπο. Σύνταξη: typealias ΝέοΌνομα = ΥπάρχωνΤύπος. Μετά τη δήλωση, το ΝέοΌνομα μπορεί να χρησιμοποιηθεί οπουδήποτε αναμένεται ο ΥπάρχωνΤύπος — ο μεταγλωττιστής τα αντιμετωπίζει ως τον ίδιο τύπο. Σε επίπεδο bytecode, το typealias δεν αφήνει ίχνη: όλες οι πληροφορίες για το ψευδώνυμο διαγράφονται στο στάδιο μεταγλώττισης.

Ο κύριος στόχος του typealias είναι η βελτίωση της αναγνωσιμότητας του κώδικα. Αντί για μια μακρά υπογραφή fun process(callback: (Result) -> Unit) μπορεί κανείς να γράψει typealias Callback = (Result) -> Unit και να χρησιμοποιήσει το Callback ως τύπο παραμέτρου. Αυτό είναι ιδιαίτερα χρήσιμο όταν ο ίδιος συναρτησιακός τύπος επαναλαμβάνεται σε πολλά σημεία του κώδικα: το ψευδώνυμο χρησιμεύει ως ενιαίο σημείο ορισμού και τεκμηριώνει τον σκοπό του τύπου.

Το typealias δεν δημιουργεί νέο τύπο — είναι απλώς ένα συνώνυμο. Οι μεταβλητές τύπου Callback και (Result) -> Unit είναι πλήρως εναλλάξιμες. Ο μεταγλωττιστής δεν θα δώσει σφάλμα εάν σε μια συνάρτηση που αναμένει Callback δοθεί απευθείας ένα lambda. Αυτό διακρίνει το 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 κάνει τον κώδικα να μοιάζει με δήλωση διεπαφής, αλλά χωρίς την επιβάρυνση δημιουργίας ξεχωριστής διεπαφής ή αφηρημένης κλάσης. Τα lambda και οι ανώνυμες συναρτήσεις συνεχίζουν να λειτουργούν κανονικά — το typealias δεν απαιτεί αλλαγές στον καλούντα κώδικα.

Typealias με generics

Το typealias υποστηρίζει γενικευμένες παραμέτρους (generics), καθιστώντας το ακόμα πιο ευέλικτο. Μπορεί κανείς να ορίσει 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. Τα generics καθιστούν το 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 αποτρέπει στο στάδιο μεταγλώττισης.