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

Kotlin-এ typealias-এর সবচেয়ে সাধারণ ব্যবহার হল ফাংশনাল টাইপের জন্য। (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 যেখানে UserId প্রত্যাশিত সেখানে একটি সাধারণ Long পাস করতে বাধা দেয় না — এর জন্য একটি value class প্রয়োজন।

Typealias বনাম Inline Class: পার্থক্য

Typealias এবং inline class (value class) বিভিন্ন সমস্যা সমাধান করে, যদিও উভয়ই একটি টাইপের জন্য একটি নতুন নাম প্রবর্তন করে। Typealias শুধু একটি প্রতিশব্দ: UserId = Long টাইপের একটি ভেরিয়েবল কোনো চেক ছাড়াই যেকোনো Long গ্রহণ করে। Inline class একটি মানকে একটি নতুন টাইপে মোড়ানো করে যা কম্পাইল টাইমে চেক করা হয়: যেখানে inline class UserId প্রত্যাশিত সেখানে স্পষ্ট রূপান্তর ছাড়া একটি সাধারণ Long পাস করা অসম্ভব।

সারণী দুটি প্রক্রিয়ার মধ্যে পার্থক্য দেখায়। Typealias সংক্ষিপ্ত নাম এবং কোড ডকুমেন্টেশনের জন্য উপযুক্ত যখন কঠোর টাইপিং প্রয়োজন হয় না। value class কীওয়ার্ড (পূর্বে inline class) এর মাধ্যমে Inline class প্রয়োজন যখন একই আদিম টাইপের শব্দার্থগতভাবে ভিন্ন মানের মধ্যে পার্থক্য করা গুরুত্বপূর্ণ। উদাহরণস্বরূপ, UserId এবং OrderId উভয়ই Long, কিন্তু যেখানে অন্যটি প্রত্যাশিত সেখানে একটি পাস করা একটি যৌক্তিক ত্রুটি যা value class কম্পাইল টাইমে প্রতিরোধ করে।