TL; DR: что reifiedхорошо для
fun <T> myGenericFun(c: Class<T>)
В теле общей функции, такой как myGenericFun, вы не можете получить доступ к типу, Tпотому что он доступен только во время компиляции, но стирается во время выполнения. Поэтому, если вы хотите использовать универсальный тип в качестве обычного класса в теле функции, вам нужно явно передать класс в качестве параметра, как показано в myGenericFun.
Если вы создаете inlineфункцию с помощью reified, T то к ее типу Tможно обращаться даже во время выполнения, и, таким образом, вам не нужно Class<T>дополнительно передавать . Вы можете работать с Tкак если бы это был обычный класс, например , вы можете захотеть , чтобы проверить , является ли переменная является экземпляром T , который вы можете легко сделать , то: myVar is T.
Такая inlineфункция с reifiedтипом Tвыглядит следующим образом:
inline fun <reified T> myGenericFun()
Как reifiedработает
Вы можете использовать только reifiedв сочетании с inlineфункцией . Такая функция заставляет компилятор копировать байт-код функции в каждое место, где используется функция (функция «встроена»). Когда вы вызываете встроенную функцию с типом reified, компилятор знает фактический тип, используемый в качестве аргумента типа, и модифицирует сгенерированный байт-код для непосредственного использования соответствующего класса. Поэтому вызовы like myVar is Tстановятся myVar is String(если аргумент типа был String) в байт-коде и во время выполнения.
пример
Давайте посмотрим на пример, который показывает, насколько полезным reifiedможет быть. Мы хотим создать функцию расширения для Stringвызываемого, toKotlinObjectкоторая пытается преобразовать строку JSON в простой объект Kotlin с типом, указанным универсальным типом функции T. Мы можем использовать com.fasterxml.jackson.module.kotlinдля этого, и первый подход заключается в следующем:
а) первый подход без ограниченного типа
fun <T> String.toKotlinObject(): T {
val mapper = jacksonObjectMapper()
//does not compile!
return mapper.readValue(this, T::class.java)
}
readValueМетод принимает тип , который он , как предполагается разобрать JsonObjectк. Если мы пытаемся получить Classпараметр типа T, компилятор жалуется: «Невозможно использовать« T »в качестве параметра типа reified. Вместо этого используйте класс».
б) Обходной путь с явным Classпараметром
fun <T: Any> String.toKotlinObject(c: KClass<T>): T {
val mapper = jacksonObjectMapper()
return mapper.readValue(this, c.java)
}
Чтобы обойти эту проблему, то Classиз Tможет быть сделан параметр метода, который затем используется в качестве аргумента readValue. Это работает и является общим шаблоном в общем коде Java. Это можно назвать следующим образом:
data class MyJsonType(val name: String)
val json = """{"name":"example"}"""
json.toKotlinObject(MyJsonType::class)
в) путь Котлина: reified
Использование inlineфункции с reifiedпараметром типа Tпозволяет реализовать функцию по-разному:
inline fun <reified T: Any> String.toKotlinObject(): T {
val mapper = jacksonObjectMapper()
return mapper.readValue(this, T::class.java)
}
Там нет необходимости брать Classиз Tдополнительно, Tможет быть использован , как если бы это был обычный класс. Для клиента код выглядит так:
json.toKotlinObject<MyJsonType>()
Важное примечание: работа с Java
Встроенная функция с reifiedтипом не вызывается из кода Java .