Skip to content

リフレクション

_リフレクション_は、プログラムの構造をランタイムで内省することを可能にする、一連の言語およびライブラリ機能です。関数とプロパティはKotlinにおいて第一級の存在であり、それらを内省する機能(例えば、ランタイムでプロパティや関数の名前や型を知るなど)は、関数型またはリアクティブなスタイルを使用する際に不可欠です。

Kotlin/JSはリフレクション機能のサポートが限定的です。Kotlin/JSにおけるリフレクションの詳細はこちら

JVMの依存関係

JVMプラットフォームでは、Kotlinコンパイラディストリビューションには、リフレクション機能の使用に必要なランタイムコンポーネントが、独立したアーティファクトであるkotlin-reflect.jarとして含まれています。これは、リフレクション機能を使用しないアプリケーションのランタイムライブラリの必要サイズを削減するために行われます。

GradleまたはMavenプロジェクトでリフレクションを使用するには、kotlin-reflectへの依存関係を追加します。

  • Gradleの場合:

    kotlin
    dependencies {
        implementation(kotlin("reflect"))
    }
    groovy
    dependencies {
        implementation "org.jetbrains.kotlin:kotlin-reflect:2.2.10"
    }
  • Mavenの場合:

    xml
    <dependencies>
        <dependency>
            <groupId>org.jetbrains.kotlin</groupId>
            <artifactId>kotlin-reflect</artifactId>
        </dependency>
    </dependencies>

GradleまたはMavenを使用しない場合、プロジェクトのクラスパスにkotlin-reflect.jarがあることを確認してください。その他のサポートされているケース(コマンドラインコンパイラまたはAntを使用するIntelliJ IDEAプロジェクト)では、デフォルトで追加されます。コマンドラインコンパイラおよびAntでは、-no-reflectコンパイラオプションを使用してkotlin-reflect.jarをクラスパスから除外できます。

クラス参照

最も基本的なリフレクション機能は、Kotlinクラスへのランタイム参照を取得することです。静的に既知のKotlinクラスへの参照を取得するには、_クラスリテラル_構文を使用できます。

kotlin
val c = MyClass::class

この参照は KClass 型の値です。

JVMにおいて:Kotlinのクラス参照はJavaのクラス参照と同じではありません。Javaのクラス参照を取得するには、KClassインスタンスの.javaプロパティを使用します。

バウンドクラス参照

特定のオブジェクトのクラスへの参照を、オブジェクトをレシーバとして使用する同じ::class構文で取得できます。

kotlin
val widget: Widget = ...
assert(widget is GoodWidget) { "Bad widget: ${widget::class.qualifiedName}" }

レシーバ式の型(Widget)にかかわらず、GoodWidgetBadWidgetといったオブジェクトの正確なクラスへの参照が取得されます。

呼び出し可能参照

関数、プロパティ、およびコンストラクタへの参照は、関数型のインスタンスとして呼び出すことも、使用することもできます。

すべての呼び出し可能参照の共通スーパークラスは KCallable<out R> です。ここで R は戻り値の型です。プロパティの場合はプロパティ型、コンストラクタの場合は構築される型です。

関数参照

以下のように宣言された名前付き関数がある場合、直接呼び出すことができます(isOdd(5))。

kotlin
fun isOdd(x: Int) = x % 2 != 0

あるいは、関数を関数型値として使用、つまり別の関数に渡すことができます。そのためには、::演算子を使用します。

kotlin
fun isOdd(x: Int) = x % 2 != 0

fun main() {
    val numbers = listOf(1, 2, 3)
    println(numbers.filter(::isOdd))
}

ここで::isOddは関数型 (Int) -> Boolean の値です。

関数参照は、パラメータ数に応じて KFunction<out R> サブタイプの一つに属します。例えば、KFunction3<T1, T2, T3, R>

期待される型がコンテキストから既知の場合、オーバーロードされた関数で::を使用できます。例えば:

kotlin
fun main() {
    fun isOdd(x: Int) = x % 2 != 0
    fun isOdd(s: String) = s == "brillig" || s == "slithy" || s == "tove"

    val numbers = listOf(1, 2, 3)
    println(numbers.filter(::isOdd)) // refers to isOdd(x: Int)
}

あるいは、明示的に型が指定された変数にメソッド参照を格納することで、必要なコンテキストを提供できます。

kotlin
val predicate: (String) -> Boolean = ::isOdd   // refers to isOdd(x: String)

クラスのメンバーまたは拡張関数を使用する必要がある場合、String::toCharArrayのように修飾する必要があります。

拡張関数への参照で変数を初期化しても、推論される関数型にはレシーバがなく、代わりにレシーバオブジェクトを受け入れる追加のパラメータが付きます。代わりにレシーバを持つ関数型にするには、型を明示的に指定します。

kotlin
val isEmptyStringList: List<String>.() -> Boolean = List<String>::isEmpty

例: 関数合成

以下の関数を検討してください。

kotlin
fun <A, B, C> compose(f: (B) -> C, g: (A) -> B): (A) -> C {
    return { x -> f(g(x)) }
}

これは渡された2つの関数の合成を返します: compose(f, g) = f(g(*))。この関数を呼び出し可能参照に適用できます。

kotlin
fun <A, B, C> compose(f: (B) -> C, g: (A) -> B): (A) -> C {
    return { x -> f(g(x)) }
}

fun isOdd(x: Int) = x % 2 != 0

fun main() {
    fun length(s: String) = s.length

    val oddLength = compose(::isOdd, ::length)
    val strings = listOf("a", "ab", "abc")

    println(strings.filter(oddLength))
}

プロパティ参照

Kotlinでプロパティを第一級オブジェクトとしてアクセスするには、::演算子を使用します。

kotlin
val x = 1

fun main() {
    println(::x.get())
    println(::x.name)
}

::xKProperty0<Int>型のプロパティオブジェクトに評価されます。get()を使用してその値を読み取ったり、nameプロパティを使用してプロパティ名を取得したりできます。詳細については、KPropertyクラスに関するドキュメントを参照してください。

var y = 1のような可変プロパティの場合、::yset()メソッドを持つ KMutableProperty0<Int> 型の値を返します。

kotlin
var y = 1

fun main() {
    ::y.set(2)
    println(y)
}

プロパティ参照は、単一のジェネリックパラメータを持つ関数が期待される場所で使用できます。

kotlin
fun main() {
    val strs = listOf("a", "bc", "def")
    println(strs.map(String::length))
}

クラスのメンバーであるプロパティにアクセスするには、次のように修飾します。

kotlin
fun main() {
    class A(val p: Int)
    val prop = A::p
    println(prop.get(A(1)))
}

拡張プロパティの場合:

kotlin
val String.lastChar: Char
    get() = this[length - 1]

fun main() {
    println(String::lastChar.get("abc"))
}

Javaリフレクションとの相互運用

JVMプラットフォームでは、標準ライブラリにはJavaリフレクションオブジェクトとのマッピングを提供するリフレクションクラスの拡張が含まれています(kotlin.reflect.jvmパッケージを参照)。例えば、バッキングフィールドやKotlinプロパティのゲッターとして機能するJavaメソッドを見つけるには、次のように記述できます。

kotlin
import kotlin.reflect.jvm.*

class A(val p: Int)

fun main() {
    println(A::p.javaGetter) // prints "public final int A.getP()"
    println(A::p.javaField)  // prints "private final int A.p"
}

Javaクラスに対応するKotlinクラスを取得するには、.kotlin拡張プロパティを使用します。

kotlin
fun getKClass(o: Any): KClass<Any> = o.javaClass.kotlin

コンストラクタ参照

コンストラクタはメソッドやプロパティと同様に参照できます。コンストラクタと同じパラメータを取り、適切な型のオブジェクトを返す関数型オブジェクトがプログラムで期待される場所であれば、どこでも使用できます。コンストラクタは::演算子とクラス名を追加して参照されます。パラメータがなく戻り値の型がFooである関数パラメータを期待する以下の関数を検討してください。

kotlin
class Foo

fun function(factory: () -> Foo) {
    val x: Foo = factory()
}

クラスFooの引数なしコンストラクタである::Fooを使用して、次のように呼び出すことができます。

kotlin
function(::Foo)

コンストラクタへの呼び出し可能参照は、パラメータ数に応じて KFunction<out R> サブタイプの一つとして型付けされます。

バウンド関数およびプロパティ参照

特定のオブジェクトのインスタンスメソッドを参照できます。

kotlin
fun main() {
    val numberRegex = "\\d+".toRegex()
    println(numberRegex.matches("29"))

    val isNumber = numberRegex::matches
    println(isNumber("29"))
}

例では、matchesメソッドを直接呼び出す代わりに、それへの参照を使用しています。そのような参照は、そのレシーバにバインドされています。直接呼び出すことも(上記の例のように)、関数型式が期待される場所であればいつでも使用することもできます。

kotlin
fun main() {
    val numberRegex = "\\d+".toRegex()
    val strings = listOf("abc", "124", "a70")
    println(strings.filter(numberRegex::matches))
//end
}

バウンド参照とアンバウンド参照の型を比較してください。バウンドされた呼び出し可能参照はレシーバが「アタッチ」されているため、レシーバの型はもはやパラメータではありません。

kotlin
val isNumber: (CharSequence) -> Boolean = numberRegex::matches

val matches: (Regex, CharSequence) -> Boolean = Regex::matches

プロパティ参照もバインドできます。

kotlin
fun main() {
    val prop = "abc"::length
    println(prop.get())
//end
}

レシーバとしてthisを指定する必要はありません: this::foo::fooは等価です。

バウンドコンストラクタ参照

inner classのコンストラクタへのバウンドされた呼び出し可能参照は、外側のクラスのインスタンスを提供することで取得できます。

kotlin
class Outer {
    inner class Inner
}

val o = Outer()
val boundInnerCtor = o::Inner