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 است. هنگام import typealias می‌توان از NetworkError به عنوان یک نوع معمولی استفاده کرد، بدون افشای سلسله‌مراتب تودرتو. JsonMap مستند می‌کند که نقشه یک شی JSON را نشان می‌دهد. UserId هدف Long را در زمینه مشخص توضیح می‌دهد — خواننده بلافاصله متوجه می‌شود که این شناسه کاربر است، نه یک عدد دلخواه. با این حال typealias از ارسال Long معمولی به جایی که UserId انتظار می‌رود محافظت نمی‌کند — برای این کار value class لازم است.

Typealias در مقابل 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 در مرحله کامپایل از آن جلوگیری می‌کند.