Kotlin: Contracts + 拡張関数でより便利に

Created at Sun, Nov 11, 2018

Kotlin 1.3.0からContractsが実装されました。 Contractsを使うことで、関数がどのような振る舞いをするか、どういう効果をもたらすかを定義（契約）することが出来ます。

例えば、isNullOrEmptyメソッドがfalse返すなら、 Contractsによりnullでないことが保証されます。

val a: String? = ...
if (!a.isNullOrEmpty()) {
    println(a.length) // !!が必要ない
}

Contractsがない時代だと呼び出し元でisNullOrEmptyがどんな振る舞いをするかを知るすべがなかったので、 !!をつける必要があったのですが、Contractsによりnullでないことが保証できるので、!!を省略できます。

isNullOrEmptyの実装は次のようになります。

@kotlin.internal.InlineOnly
public inline fun CharSequence?.isNullOrEmpty(): Boolean {
    contract {
        returns(false) implies (this@isNullOrEmpty != null)
    }

    return this == null || this.length == 0
}

contractはDSL（関数）として定義されています。 これを呼び出し、そのブロックの中でこの関数が満たす振る舞いを定義する事ができます。

isNullOrEmptyの場合はreturns(false) implies (this@isNullOrEmpty != null)が契約として定義されています。

これは、「returns(false): falseを返すなら (this@isNullOrEmpty != null): 自分自身がnullじゃない」という意味になります。 なので呼び出し元ではfalseが返ってきたら、nullではないことが保証されるので、smartcastにより!!をつける必要がなくなるわけです。

なので、例えばT.isEmpty(t: T?): Booleanのようなメソッドがあり、ついでにnullチェックもこの関数の中でやっているようなときは、 contractを定義することでより使いやすい関数にすることが出来ます。

他の例を見てみます。スコープ関数applyの実装は次になります。

@kotlin.internal.InlineOnly
public inline fun <T> T.apply(block: T.() -> Unit): T {
    contract {
        callsInPlace(block, InvocationKind.EXACTLY_ONCE)
    }
    block()
    return this
}

apply関数内では、callsInPlace(block, InvocationKind.EXACTLY_ONCE)が契約として定義されています。 これは、block関数が必ず1度呼び出されることを意味します。 これにより、以下のように書くことが可能になります。

val a: String
hoge.apply {
    a = "hoge"
}
println(a)

apply関数は1度しか呼び出されないのでval a: Stringの初期化が、apply関数内で正しく行われることが保証されます。 Kotlin 1.3.0以前のcontractが内時代では上記のコードはコンパイルエラーになっていたのですが、 contractにより、実行することが可能になりました。

今まで見てきたのはKotlinのスタンダートライブラリに入っていた関数ですが、カスタムで定義することも可能です。 今回は例として、ActivityScenario.onActivityメソッドをcontract + 拡張関数を使ってより便利にしたいと思います。

ActivityScenario.onActivityメソッドは、callbackを登録すると、Activityの準備ができたタイミングでcallbackが叩かれます。そして、このonActivityメソッドは一度しかコールされず、実行したスレッドをブロックします。なので、前述したapply関数と同じcontractを書くことが可能です。

以下のように拡張関数を書きます。

@UseExperimental(ExperimentalContracts::class)
fun <T : Activity> ActivityScenario<T>.onActivity2(block: (T) -> Unit) {
  contract {
    callsInPlace(block, InvocationKind.EXACTLY_ONCE)
  }
  onActivity {
    block(it)
  }
}


// コンパイルエラーにならない!!
val activity: Activity
scenario.onActivity2 {
    activity = it
}
println(activity)

@UseExperimental(ExperimentalContracts::class)をつけることで、ユーザ定義のcontractを定義することが出来ます。

まとめ

参考

Written by