Kotlinのreifiedキーワードとは？仕組みと使い方を実例で解説

reifiedは、Kotlin開発者が実行時（ランタイム）にクラスに関する情報へアクセスできるようにするための特別なキーワードです。

通常、JVM上では「型消去（Type Erasure）」と呼ばれる仕組みにより、コンパイル後にジェネリック型の情報は失われてしまいます。しかし、reifiedを使うことで、この制限を回避できます。なお、reifiedはinline関数と組み合わせた場合にのみ使用可能です。

reifiedキーワードを使用すると、コンパイラはその関数のバイトコードを、関数が呼び出された箇所すべてにコピー（インライン展開）します。これにより、ジェネリック型 T には、実際に引数として渡された値の具体的な型が割り当てられ、T::class.java のような形で型情報を取得できるようになります。

コード例

ここでは、reifiedがコードの再利用にどのように役立つかを見ていきます。渡される引数の型に関係なく、同じ1つの関数で同様の処理を実行できる点が大きなメリットです。

まずインライン関数を作成し、ジェネリックなreified引数 T を受け取るようにします。そして、Kotlinの main() 関数から、異なる型の引数を指定して myExample() を複数回呼び出してみましょう。

// インライン関数の宣言
inline fun <reified T> myExample(name: T) {
    println("\nName of your website -> "+name)
    println("\nType of myClass: ${T::class.java}")
}

fun main() {

    // String型で関数を呼び出す
    myExample<String>("www.tutorialspoint.com")

    // Int型の値で関数を呼び出す
    myExample<Int>(100)

    // Long型の値で関数を呼び出す
    myExample<Long>(1L)

}

出力結果

このコードを実行すると、以下のような出力が得られます。

Name of your website -> www.tutorialspoint.com

Type of myClass: class java.lang.String

Name of your website -> 100

Type of myClass: class java.lang.Integer

Name of your website -> 1

Type of myClass: class java.lang.Long

出力結果からわかるように、同じ関数を呼び出しているにもかかわらず、引数として渡した値に応じて T::class.java がそれぞれ String・Integer・Long の正確な型情報を出力できています。これこそが、reifiedによって実行時にジェネリック型の情報へアクセスできるようになった証拠です。