Làm thế nào để từ khóa hợp nhất trong Kotlin hoạt động?

Tôi đang cố gắng để hiểu mục đích của reifiedtừ khóa, rõ ràng nó cho phép chúng tôi phản ánh về khái quát .

Tuy nhiên, khi tôi bỏ nó ra thì nó hoạt động tốt như vậy. Bất cứ ai quan tâm để giải thích khi điều này làm cho một sự khác biệt thực sự ?

TL; DR: Điều gì reifiedtốt cho

fun <T> myGenericFun(c: Class<T>) 

Trong phần thân của một hàm chung như myGenericFun, bạn không thể truy cập loại Tvì nó chỉ khả dụng khi biên dịch nhưng bị xóa khi chạy. Do đó, nếu bạn muốn sử dụng kiểu chung như một lớp bình thường trong thân hàm, bạn cần phải vượt qua lớp một cách rõ ràng như một tham số như trong hình myGenericFun.

Nếu bạn tạo một inlinechức năng với một reified T tuy nhiên, loại Tcó thể được truy cập ngay cả trong thời gian chạy và do đó bạn không cần phải vượt qua Class<T>thêm. Bạn có thể làm việc với Tnó như thể đó là một lớp bình thường, ví dụ bạn có thể muốn kiểm tra xem một biến có phải là một thể hiện hay không T , điều mà bạn có thể dễ dàng thực hiện sau đó : myVar is T.

Thật là inline hàm có reifiedkiểu Tnhư sau:

inline fun <reified T> myGenericFun()

Cách reifiedlàm việc

Bạn chỉ có thể sử dụng reifiedkết hợp với một inlinechức năng . Hàm này làm cho trình biên dịch sao chép mã byte của hàm đến mọi nơi mà hàm đang được sử dụng (hàm đang được "nội tuyến"). Khi bạn gọi một hàm nội tuyến với kiểu hợp nhất, trình biên dịch sẽ biết loại thực tế được sử dụng làm đối số kiểu và sửa đổi mã byte được tạo để sử dụng trực tiếp lớp tương ứng. Do đó, các cuộc gọi như myVar is Ttrở thành myVar is String(nếu đối số kiểu là String) trong mã byte và tại thời gian chạy.

Thí dụ

Chúng ta hãy xem một ví dụ cho thấy mức độ hữu ích reifiedcó thể. Chúng tôi muốn tạo một chức năng mở rộng choString được gọi là toKotlinObjectcố gắng chuyển đổi một chuỗi JSON thành một đối tượng Kotlin đơn giản với một loại được chỉ định bởi loại chung của hàm T. Chúng ta có thể sử dụng com.fasterxml.jackson.module.kotlincho điều này và cách tiếp cận đầu tiên là như sau:

a) Cách tiếp cận đầu tiên mà không có loại thống nhất

fun <T> String.toKotlinObject(): T {
      val mapper = jacksonObjectMapper()
                                                        //does not compile!
      return mapper.readValue(this, T::class.java)
}

Các readValuephương pháp có một loại mà nó phải phân tích JsonObjectđể. Nếu chúng ta cố gắng để có được Classtham số loạiT , trình biên dịch sẽ phàn nàn: "Không thể sử dụng 'T' làm tham số loại hợp nhất. Thay vào đó, hãy sử dụng một lớp."

b) Giải pháp rõ ràng Class tham số

fun <T: Any> String.toKotlinObject(c: KClass<T>): T {
    val mapper = jacksonObjectMapper()
    return mapper.readValue(this, c.java)
}

Như một giải pháp thay thế, Classof Tcó thể được tạo thành một tham số phương thức, sau đó được sử dụng làm đối số choreadValue . Điều này hoạt động và là một mẫu phổ biến trong mã Java chung. Nó có thể được gọi như sau:

data class MyJsonType(val name: String)

val json = """{"name":"example"}"""
json.toKotlinObject(MyJsonType::class)

c) Cách thức của Kotlin: reified

Sử dụng một inlinehàm với reifiedtham số kiểu Tcho phép thực hiện hàm khác nhau:

inline fun <reified T: Any> String.toKotlinObject(): T {
    val mapper = jacksonObjectMapper()
    return mapper.readValue(this, T::class.java)
}

Không cần để có những Classsố Tthêm vào đó, Tcó thể được sử dụng như thể nó là một lớp học bình thường. Đối với khách hàng, mã trông như thế này:

json.toKotlinObject<MyJsonType>()

Lưu ý quan trọng: Làm việc với Java

Một hàm nội tuyến với reifiedkiểu không thể gọi được từ mã Java .

ĐƠN GIẢN

* thống nhất là cho phép sử dụng tại thời điểm biên dịch (để truy cập T bên trong chức năng de)

ví dụ:

 inline fun <reified T:Any>  String.convertToObject(): T{

    val gson = Gson()

    return gson.fromJson(this,T::class.java)

}

sử dụng như:

val jsonStringResponse = "{"name":"bruno" , "age":"14" , "world":"mars"}"
val userObject = jsonStringResponse.convertToObject<User>()
  println(user.name)