Reified trong Kotlin — khái niệm, cú pháp và ứng dụng

Reified trong Kotlin là gì?

reified là một bộ sửa đổi cho tham số generic của hàm inline giúp kiểu trở nên thực tế (reify — “làm cho thực”) tại thời điểm chạy. Không có reified, kiểu T bên trong hàm generic không thể truy cập được — trình biên dịch áp dụng type erasure, xóa sạch mọi thông tin kiểu. reified buộc trình biên dịch thay thế kiểu cụ thể tại vị trí gọi, làm cho nó có thể truy cập qua T::class và toán tử is.

Theo Khảo sát Kotlin bởi Kodee (2024), các tham số kiểu reified nằm trong top mười tính năng Kotlin được yêu cầu nhiều nhất — 52% nhà phát triển được khảo sát sử dụng chúng, chủ yếu để viết các factory generic, container DI và bộ tuần tự hóa. reified đặc biệt phổ biến khi kết hợp với Gson, Moshi và Kotlinx Serialization.

Về mặt kỹ thuật, cơ chế rất đơn giản: khi gọi một hàm inline với tham số reified, trình biên dịch biết kiểu đối số cụ thể (Int, String, User) và thay thế nó cho T. Trong bytecode, tham số reified trở thành Class<T> thông thường được truyền dưới dạng đối số ẩn.

Sử dụng reified để viết các hàm generic khi cần kiểu tại thời điểm chạy — tạo thể hiện, kiểm tra kiểu, lấy Class<T> cho phản chiếu hoặc tuần tự hóa.

Vấn đề type erasure trong generic

Type erasure là cơ chế trong Java và Kotlin mà thông tin tham số generic bị xóa trong quá trình biên dịch. Trong bytecode, List<String> và List<Int> trở thành List đơn thuần. Điều này được thực hiện để tương thích ngược với Java 1.4 vốn không có generic, nhưng tạo ra những hạn chế khi làm việc với các kiểu tại thời điểm chạy.

// ❌ Lỗi: Không thể kiểm tra instance của kiểu đã bị xóa
fun <T> checkType(value: Any) {
    if (value is T) { // type erasure — T không xác định
        println("Kiểu khớp")
    }
}

// ✅ Solution: pass Class as parameter
fun <T> checkTypeWithClass(
    value: Any,
    clazz: Class<T>
) {
    if (clazz.isInstance(value)) {
        println("Kiểu khớp")
    }
}

Trong ví dụ, checkType không biên dịch được do type erasure — trình biên dịch không biết kiểu nào để thay thế cho T. Trong checkTypeWithClass, vấn đề được giải quyết bằng cách truyền Class<T> một cách tường minh, nhưng điều này đòi hỏi boilerplate: mỗi lần gọi đi kèm với .java hoặc ::class.java. reified loại bỏ hoàn toàn boilerplate này.

Cú pháp reified và cơ chế hoạt động

Bộ sửa đổi reified được đặt trước tham số generic trong một hàm inline. Hàm phải là inline — trình biên dịch phải có khả năng thay thế kiểu cụ thể tại giai đoạn inlining.

inline fun <reified T> isA(value: Any): Boolean {
    return value is T
}

fun main() {
    println(isA<String>("Hello")) // true
    println(isA<Int>("Hello"))  // false
}

Trong quá trình biên dịch, lời gọi isA<String>(“Hello”) được thay thế bằng kiểm tra value is String. Lời gọi isA<Int>(“Hello”) trở thành value is Int. Kiểu được thay thế theo nghĩa đen, cho phép sử dụng is, as, ::class và các thao tác khác không khả dụng với type erasure.

Dịch ngược một hàm reified

Nếu bạn dịch ngược bytecode của isA<String>(“Hello”), IntelliJ IDEA sẽ hiển thị kết quả gần đúng trong Java: String.class.isInstance(value). Thay vì tham số generic, trình biên dịch đã thay thế java.lang.String.class cụ thể — không có phản chiếu với tìm kiếm kiểu theo tên, chỉ một tham chiếu trực tiếp đến lớp.

Kiểm tra kiểu với reified: is và as

Cách sử dụng phổ biến nhất của reified là kiểm tra kiểu thông qua toán tử is. Trong một hàm generic thông thường, value is T không biên dịch được. Với reified, nó hoạt động như với một lớp thông thường: value is String, value is List<Int> (gần như vậy — với hạn chế cho các kiểu được tham số hóa).

inline fun <reified T> List<Any>.filterByType(): List<T> {
    return this.filter { it is T }.map { it as T }
}

val mixed = listOf("a", 1, "b", 2)
val strings = mixed.filterByType<String>() // ["a", "b"]
val ints = mixed.filterByType<Int>()    // [1, 2]

Hàm mở rộng filterByType lọc một danh sách, chỉ giữ lại các phần tử thuộc kiểu được chỉ định. Không có reified, bạn phải viết filterByType<String>(list) với tham số Class<String>. Với reified, lời gọi được đọc như một thao tác tự nhiên trên danh sách, cải thiện khả năng đọc của các chuỗi xử lý dữ liệu.

Theo Hướng dẫn Coroutines Kotlin (JetBrains, 2025), các kiểm tra kiểu reified được sử dụng trong launch và async để truyền kiểu kết quả coroutine, tránh chỉ định kiểu tường minh trong hầu hết các trường hợp.

Phản chiếu với reified: tạo thể hiện và truy cập Class

reified cung cấp quyền truy cập vào T::class — một tham chiếu đến KClass, từ đó có thể lấy Class Java qua .java. Điều này mở ra khả năng tạo các thể hiện thông qua phản chiếu, làm việc với bộ tuần tự hóa và lấy các chú thích của lớp tại thời điểm chạy.

inline fun <reified T> createInstance(): T =
    T::class.java.getDeclaredConstructor().newInstance()

// Cách dùng
data class User(val name: String = "default")
val user = createInstance<User>()

// Tuần tự hóa với Gson
inline fun <reified T> Gson.fromJson(json: String): T =
    this.fromJson(json, T::class.java)

// Lấy chú thích
inline fun <reified T> hasAnnotation<A>(): Boolean where A : Annotation =
    T::class.java.isAnnotationPresent(A::class.java)

Wrapper fromJson cho Gson là một ví dụ cổ điển về việc sử dụng reified trong sản xuất. Thay vì gson.fromJson(json, User::class.java), bạn có thể viết gson.fromJson<User>(json). Điều này có vẻ là một cải tiến nhỏ, nhưng trong một dự án có hàng trăm lời gọi tuần tự hóa, reified làm giảm đáng kể boilerplate và làm cho mã sạch hơn.

Hạn chế của reified và các thay thế

reified có những hạn chế. Thứ nhất — chỉ hoạt động trong các hàm inline. Nếu một hàm không thể được inline (ví dụ, nó đệ quy hoặc quá lớn), reified không khả dụng. Thứ hai — reified không thể sử dụng trực tiếp với các hàm suspend, chỉ thông qua các wrapper inline.

Thứ ba — reified không hoạt động hoàn toàn với các kiểu được tham số hóa. Ví dụ, filterByType<List<String>>() có thể cho kết quả không mong đợi vì đối với các kiểu được tham số hóa, reified chỉ giữ lại kiểu raw (List), không có các đối số generic. Để kiểm tra đầy đủ các kiểu được tham số hóa, cần phản chiếu với TypeToken.

Trong trường hợp reified không khả dụng, hãy sử dụng mẫu với Class<T> tường minh hoặc TypeToken từ các thư viện (ví dụ, Gson TypeToken hoặc Jackson TypeReference). Cách tiếp cận này hoạt động trong bất kỳ hàm nào nhưng đòi hỏi boilerplate và ít tiện lợi hơn.