Kotlin Academy · Pelajaran

Penghapusan Tipe dan Parameter Tipe reified

Gunakan reified bersama fungsi inline untuk mengakses informasi tipe saat runtime.

Pelajaran 4 dari 414 langkah

Penghapusan Tipe dan Parameter Tipe reified adalah pelajaran Kotlin Academy gratis di CoddyKit. Ini adalah pelajaran 4 dari 4. Kamu bisa membaca pelajaran lengkapnya di bawah secara gratis — lalu praktikkan langsung di browser dengan editor kode bawaan dan tutor AI 24/7. Ini adalah bagian dari jalur belajar Kotlin Academy, dan progresmu tersinkronisasi di web dan aplikasi CoddyKit. Kursus Kotlin Academy mencakup 4 pelajaran total.

Apa Itu Penghapusan Tipe

Saat runtime, JVM menghapus argumen tipe generik. List<String> dan List<Int> sama-sama hanya menjadi List. Hal ini membatasi operasi tipe runtime pada generik.

fun main() {
    val strings: List<String> = listOf("a", "b")
    val ints: List<Int> = listOf(1, 2)
    println(strings.javaClass == ints.javaClass) // true: both ArrayList
    println(strings is List<*>)  // OK with star
    // println(strings is List<String>) // warning: unchecked cast
}

Masalahnya: Tidak Dapat Memeriksa Tipe yang Dihapus

Anda tidak dapat menggunakan is dengan argumen tipe generik tertentu karena informasi tipe tersebut sudah hilang saat runtime.

fun checkType(obj: Any) {
    // This works:
    if (obj is List<*>) println("It's a list of something")
    // This doesn't compile cleanly:
    // if (obj is List<String>) println("It's a list of strings") // unchecked
}
fun main() {
    checkType(listOf("hello"))
    checkType(42)
}

Rekapitulasi Fungsi inline

inline menyalin isi fungsi ke lokasi pemanggilan saat kompilasi. Inilah yang memungkinkan reified—argumen tipe juga digantikan di lokasi pemanggilan.

inline fun <T> myRun(block: () -> T): T = block()
fun main() {
    val result = myRun { 42 }
    println(result) // 42
    // The compiler inlines the lambda body — no object allocation
}

reified: Mengakses T Saat Runtime

Menggabungkan inline dengan reified mempertahankan argumen tipe di lokasi pemanggilan sehingga memungkinkan penggunaan is, as, dan ::class pada T.

inline fun <reified T> isInstance(value: Any): Boolean = value is T
fun main() {
    println(isInstance<String>("hello"))  // true
    println(isInstance<Int>("hello"))     // false
    println(isInstance<List<*>>(listOf())) // true
}

Mendapatkan KClass dari T

Dengan reified T, Anda dapat memperoleh T::class saat runtime—sesuatu yang biasanya mustahil dilakukan dalam fungsi generik.

inline fun <reified T> classNameOf(): String = T::class.simpleName ?: "Unknown"
fun main() {
    println(classNameOf<String>())   // String
    println(classNameOf<Int>())      // Int
    println(classNameOf<List<*>>())  // List
}

Casting Aman dengan reified

Gunakan reified untuk menulis utilitas casting yang aman bagi tipe dan mengembalikan null alih-alih melemparkan pengecualian.

inline fun <reified T> Any?.safeCast(): T? = this as? T
fun main() {
    val obj: Any = "Hello"
    val s: String? = obj.safeCast<String>()
    val i: Int? = obj.safeCast<Int>()
    println(s) // Hello
    println(i) // null
}

Penguraian JSON dengan reified

Pustaka seperti Gson atau kotlinx.serialization menggunakan reified untuk menyimpulkan tipe target di lokasi pemanggilan tanpa meneruskan objek Class secara eksplisit.

import com.google.gson.Gson
// Simulated without real Gson:
inline fun <reified T> parseJson(json: String): T {
    return Gson().fromJson(json, T::class.java)
}
// Usage:
// val user: User = parseJson<User>("""{"name":"Alice"}""")

reified dengan filterIsInstance

Pustaka standar menggunakan filterIsInstance<T>() dengan reified untuk menyaring daftar menjadi tipe tertentu tanpa casting manual.

fun main() {
    val mixed: List<Any> = listOf(1, "hello", 2.5, "world", true)
    val strings = mixed.filterIsInstance<String>()
    val ints = mixed.filterIsInstance<Int>()
    println(strings) // [hello, world]
    println(ints)    // [1]
}

Tidak Dapat Menggunakan reified dalam Fungsi Non-inline

reified hanya berfungsi dengan fungsi inline. Mencoba menggunakannya tanpa inline akan menghasilkan kesalahan kompilasi.

// Error:
// fun <reified T> broken(): String = T::class.simpleName ?: "?"

// Must be inline:
inline fun <reified T> correct(): String = T::class.simpleName ?: "?"
fun main() {
    println(correct<Double>()) // Double
}

reified dan Refleksi

Gabungkan reified dengan refleksi untuk memeriksa properti atau anotasi suatu tipe secara dinamis tanpa parameter Class yang berulang.

inline fun <reified T : Any> properties(): List<String> =
    T::class.members.map { it.name }
data class Point(val x: Int, val y: Int)
fun main() {
    println(properties<Point>()) // [x, y, component1, component2, copy, equals, hashCode, toString]
}

Praktik: Pencari Layanan yang Aman bagi Tipe

Gunakan reified untuk membangun pencari layanan yang memetakan KClass ke instans guna menyediakan DI ringan tanpa pemroses anotasi.

val registry = mutableMapOf<kotlin.reflect.KClass<*>, Any>()
inline fun <reified T : Any> register(instance: T) { registry[T::class] = instance }
@Suppress("UNCHECKED_CAST")
inline fun <reified T : Any> resolve(): T = registry[T::class] as T
class Logger { fun log(msg: String) = println("[LOG] $msg") }
fun main() {
    register(Logger())
    resolve<Logger>().log("Service located!")
}

Keterbatasan reified

Parameter tipe reified tidak dapat digunakan dalam konteks non-inline, tidak dapat menyimpan tipe untuk digunakan nanti, dan tidak dapat diteruskan ke fungsi non-inline yang memerlukan tipe tersebut saat runtime.

inline fun <reified T> foo() {
    val clazz = T::class // OK here
    // bar(clazz)        // must pass clazz explicitly to non-inline funs
    println(clazz.simpleName)
}
fun bar(clazz: kotlin.reflect.KClass<*>) = println(clazz.simpleName)
fun main() { foo<String>() }

Pemeriksaan Singkat

Apa yang diperlukan agar parameter tipe menjadi reified?

Rekapitulasi

Penghapusan tipe menghapus informasi tipe generik saat runtime. reified pada fungsi inline mempertahankan argumen tipe di lokasi pemanggilan sehingga memungkinkan is, as, ::class, dan refleksi pada T—tanpa meneruskan objek Class secara manual.

Gratis untuk memulai

Belajar Kotlin dengan tutor AI — gratis

Tulis dan jalankan kode asli di browser kamu, dapatkan bantuan instan dari tutor AI 24/7, dan lanjutkan di mana kamu tinggalkan di web atau aplikasi.

Kursus
51
Pelajaran
203

Pertanyaan yang Sering Diajukan

Apakah pelajaran “Penghapusan Tipe dan Parameter Tipe reified” gratis?

Ya — teks lengkap “Penghapusan Tipe dan Parameter Tipe reified” gratis dibaca di sini di web. Untuk praktiknya secara interaktif (editor kode bawaan dan tutor AI 24/7) dan buka sisa kursus Kotlin Academy, upgrade ke CoddyKit PRO. Kursus Kotlin Academy mencakup 4 pelajaran total.

Apa yang akan aku pelajari di “Penghapusan Tipe dan Parameter Tipe reified”?

Gunakan reified bersama fungsi inline untuk mengakses informasi tipe saat runtime. Kamu berlatih Kotlin Academy dengan kode praktik yang langsung kamu jalankan di browser, dan tutor AI 24/7 menjawab pertanyaanmu saat kamu mengerjakan pelajaran ini.

Apakah aku perlu pengalaman untuk memulai Kotlin Academy?

Tidak diperlukan pengalaman sebelumnya. Kotlin Academy di CoddyKit dirancang untuk pemula hingga pelajar tingkat lanjut, jadi kamu bisa memulai di sini atau dari awal dan belajar sesuai kecepatan kamu sendiri. Ini adalah pelajaran 4 dari 4.

Berapa lama pelajaran “Penghapusan Tipe dan Parameter Tipe reified” memakan waktu?

Sebagian besar pelajaran CoddyKit memakan waktu sekitar 5–10 menit. Setiap pelajaran ringkas dan interaktif, jadi kamu membuat kemajuan stabil dan melanjutkan dari tempat kamu tinggalkan di web dan aplikasi.

Bisakah aku menulis dan menjalankan kode dalam pelajaran Kotlin Academy ini?

Ya. Setiap pelajaran Kotlin Academy menyertakan editor kode bawaan, jadi kamu menulis dan menjalankan kode nyata langsung di browser dan mendapatkan umpan balik AI instan — tidak diperlukan penyiapan lokal.

Semua pelajaran dalam kursus ini

  1. Fungsi Generik dan Batasan Tipe dengan where
  2. Variansi di Lokasi Deklarasi: in dan out
  3. Proyeksi Bintang dan Kapan Menggunakan *
  4. Penghapusan Tipe dan Parameter Tipe reified
← Kembali ke Kotlin Academy