reifiedって何ですか？

reifiedって何ですか？ 2023 Oct. 26 @Kotlin愛好会 vol.47 usuiat

自己紹介 Atsushi Usui / うっすぃ～ / usuiat もともと組み込みソフトエンジニア 2020〜
個人でAndroidアプリやライブラリを開発 2023/9～ Androidアプリエンジニア X/GitHub : usuiat Blog : https://engawapg.net/

reifiedって何ですか？ Kotlinのジェネリクスに時々ついているキーワード

そもそも読み方は？ DeepL「レファイド」 Google翻訳「レアファイ」 weblio「リーフェイ」英辞郎「リアファイまたはリーイファイ」 Android Developersの動画では「リーファイド」と発音していたので、私は「リーファイド」と読むことにします。 https://www.youtube.com/watch?v=Xj45hobMI78&t=37s
reify : 具象化する https://ejje.weblio.jp/content/reify

で、reifiedって何ですか？ inlineのジェネリクス関数で、ジェネリクスの型情報にアクセスできるようにするためのキーワード型情報にアクセスして xの型を判定している

で、reifiedって何ですか？ inlineのジェネリクス関数で、ジェネリクスの型情報にアクセスできるようにするためのキーワード疑問１型情報って何？疑問２ reifiedが無いとどうなる？疑問３なぜinline限定？

疑問１型情報って何？ジェネリクスが実行時に何の型（クラス）で動作しているか、の情報。  KClassが持つ情報  クラス名(.simpleName)、メンバー(.members)など  .java経由でJavaのClassにもアクセス可能 
クラスに基づく処理  isによる型判定  asによるキャスト型情報にアクセスできるので、型が一致しているかを判定できる KClass https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.reflect/-k-class/ Class https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html

疑問２ reifiedがないとどうなる？ジェネリクスは、コンパイル時に型の不整合が無いかをチェックした後、型の情報が消される。そのため、型情報にアクセスできない。コンパイルエラーになる。疑問２－２なぜ型情報を消すの？

疑問２ー２なぜ型情報を消すの？ジェネリクス関数をいろいろな場所でいろいろな型で使いまわすためには、具体的な型情報を持つことができない。ジェネリクスが無かった時代の古いJavaとの互換性を保つため（これは詳しくは理解できていません） String Int 特定の型に固定できないので、型情報を消す
理由１理由２

疑問３なぜinline限定？ inline関数は、コンパイル時にすべての呼び出し元で展開される。そのため、呼び出し元で実際に指定されている型でコンパイルできる。なので、型情報にアクセスできるそれぞれの呼び出し元の型に合わせて展開される

未解決の疑問  inlineであれば、reifiedを明示しなくても型情報にアクセスできるようにコンパイルしてくれてもいいのでは？（何かご存じの方は教えていただけると嬉しいです）

まとめ reified（リーファイド）は、inlineのジェネリクス関数で型情報にアクセスできるようにするためのキーワード reifiedをつけることによって、ジェネリクスの型を判定したり、指定した型のオブジェクトを返したりできる参考 Reified - Kotlin Vocabulary
https://www.youtube.com/watch?v=Xj45hobMI78 Reified type parameters https://kotlinlang.org/docs/inline-functions.html#reified-type-parameters ジェネリクス: reified でジェネリクスの型情報を維持する – まくまくKotlinノート https://maku77.github.io/kotlin/generics/reified.html

reifiedって何ですか？

reifiedって何ですか？

usuiat

More Decks by usuiat

Other Decks in Programming

Featured

Transcript