2017/06/28 このエントリーをはてなブックマークに追加 はてなブックマーク - 個人的な勉強会に行くと良いこと

個人的な勉強会に行くと良いこと

カテゴリ: ,


最近、「勉強会に行く人が優秀うんぬん」とか流行ってたので、なんとなく書いています。


ただのプログラマーが書いている文章です。


2017/06/26 このエントリーをはてなブックマークに追加 はてなブックマーク - Kotlinの演算子オーバーロードはnullableが絡むと少しめんどい

Kotlinの演算子オーバーロードはnullableが絡むと少しめんどい

カテゴリ:


つまりこういうめんどくささがあります。


val f1 : () -> Unit = {}
f1() f.invoke() // OK
val f2 : (() -> Unit)? = null
f2() //コンパイルエラー 
f2?.invoke()  // OK

nullableをレシーバーに取りにくい


f1()という関数呼び出しは、実は演算子オーバーロードという機能によって実現しています。
f1()とコードを書いた時 f.invoke() が呼び出されるというものです。
f1は () -> Unit 、つまり引数なしでUnitを返す関数型をlambdaで表現したものですが
実体の型はFunction0<Unit> というインターフェースです。

Function0の実装はこうなっています。

// kotlin.jvm.functions
// Functions.kt 
public interface Function0 <out R > : Function<R> {
    /* Invokes the function. */     
    public operator fun invoke(): R
}

f1はFunction0自身であり、invokeが実行されます。
これがf2のようにnullableとなった場合にKotlinの演算子オーバーロードはそれを許しません。
f2?.invokeという風に厳密にかけとコンパイルエラーになります。

つまり、nullableな変数の関数呼び出し(nullableな型をレシーバーとする関数呼び出し)をしにくいということです。


前述したコードのf2を、f2?()とかって実行出来れば良いのではという感じもしますが、
Kotlinはそういった言語設計を行っていないようです。
f2?()という呼び出しをサポートする代わりに明示的にf2?.invoke()と書きなさい、としています。
これはnull安全的観点で言うと良いような気もしますが、
突然普段は演算子オーバーロードによって隠蔽されているinvokeという謎関数が出てきた感じになるので、実装者としては混乱するかもしれません。

推測ですが、f2?()とかという書き方をサポートしなかったのは
単純に?を使った記法を利用できる箇所を限定的にしたかったのと、
コンパイラの字句解析とかを簡単にしたい(めんどい)というのがあったのではないかと思います。



nullableだと演算子オーバーロードが利用できないかというとそうではありません。
拡張関数を利用すれば良いのです。
たとえば次のように実装すればinvokeの呼び出しも演算子オーバーロードを介して利用可能です。

operator fun <R> Function0<R> ?.invoke() = this?.invoke()

val f2 : (() -> Unit)? = null 
f2() // コンパイル通る

ただし、Kotlinの標準ライブラリとしてわざわざこういった機能を提供せず
f2?.invoke()と書かせているのは、関数を実行したつもりで関数を実行していないなどのバグの元になるのを防ぐといった意図がありそうですしあまりお勧め出来るソリューションではありません。


もう一つ、理由として考えるられるのは
nullableなものを実行した時の対処というのは大体においてコーディングしている側に委ねられるものだと思います。
たとえばBigDecimal + BigDecimal で返されるのは2つのインスタンスの値を加算したものであるのは自明という感じがしますが
BigDecimal? + BigDecimal
BigDecimal? + BigDecimal?
などは何を返すかはちょっと考える必要があります。
あと、単純に標準ライブラリが膨らみますね。


  • 演算子オーバーロードはnullableをレシーバーにとる時の挙動はあんまりサポートしていない
  • どうしてもやりたいなら実装者側で拡張関数で追加していく必要がある

悪ふざけコードです。


https://gist.github.com/yyYank/02d6c7f64532bb30cd0e63563d90feb2




2017/06/04 このエントリーをはてなブックマークに追加 はてなブックマーク - Kotlin入門までの助走読本の個人的な裏話

Kotlin入門までの助走読本の個人的な裏話

カテゴリ: ,

Kotlin入門までの助走読本というfree bookを
僕も参加させてもらって、ちょっと書きました。
楽しかったなぁー。皆さんありがとうございました。

ぜひ読んだ方はアンケートも書いてみて下さい。ありがたく拝見します。

https://t.co/uaFHHfiLuh


あくまで個人的な感想&意見という感じですが、裏話としてブログを書いてみます。

GA