Kotlinhard

Czym są reified generics i czemu wymagają `inline`?

Tagi

#reified#inline#generics

Wróć do kategorii Przejdź do quizu

Odpowiedź

Przez type erasure informacja o typie generycznym nie jest dostępna w runtime. `reified` w funkcji `inline` zachowuje typ w miejscu wywołania, więc możesz użyć np. `T::class` albo `value is T`.

inline fun <reified T> Any?.asTypeOrNull(): T? = this as? T

val x: Any = 123
val n: Int? = x.asTypeOrNull<Int>()

Odpowiedź zaawansowana

Głębiej

Na JVM generyki są wymazywane w runtime (nie zrobisz normalnie `value is T`).

`reified` + `inline` działa, bo kompilator wkleja ciało funkcji w miejsce wywołania i może „podstawić” konkretny typ.

Przykład

inline fun <reified T> Any?.asOrNull(): T? = this as? T

val x: Any = 1
val i: Int? = x.asOrNull<Int>()

Typowe pułapki

Mylenie tego z „wyłączeniem” type erasure w całym programie (działa tylko w inline).
Oczekiwanie, że rozwiąże to problem typów złożonych (`List<T>` często i tak wymaga type tokenów).

Powiązane pytania

Inline lambdy i non-local return: do czego służą `crossinline` i `noinline`?

#kotlin#inline#crossinline

Wariancja generyków: co oznacza `out` i `in` w Kotlinie?

#kotlin#generics#variance

Co robi `inline` i kiedy może pomóc wydajnościowo?

#inline#performance