MessagePack Java版でnullの扱いをどうするか問題

Kazuki Ohta @kzk_mover

@frsyuki これがpackerの中でヌルポになるみたいです。 > http://bit.ly/aupU8t

Sadayuki Furuhashi @frsyuki

@kzk_mover なるほど。strに@MessagePackOptionalアノテーションを付けるとどうでしょう？

Sadayuki Furuhashi @frsyuki

とりあえずNullPointerExceptionはバグだ…

Nobuyuki Kubota @nobu_k

nullと空文字列の扱いは、ライブラリ側からすると厄介だなぁ・・・ｗ

Kazuki Ohta @kzk_mover

@frsyuki それは通る...がｗ

Sadayuki Furuhashi @frsyuki

unpack時にnullを許可しない（MessageTypeExceptionになる）ので、pack時も基本的にnullは許可しない方針だけど、これはJava的にアリなのかナシなのか…。

Nobuyuki Kubota @nobu_k

@frsyuki 扱ってる対象が文字列じゃなくて文字列オブジェクトの参照なのが厄介だよね・・・。

Sadayuki Furuhashi @frsyuki

@nobu_k そうなんですよね…。言語仕様的にはオブジェクトは全部nullableなので、非常に厄介です。ここは逆にrequredを指定する方がいいのか…それもどうか…

Sadayuki Furuhashi @frsyuki

参照型の場合はデフォルトでoptionalフィールドになって、nullを弾きたいときは明示的にMessagePackRequredアノテーションを付ける案はどうか。プリミティブ型は逆で、デフォルトはrequired。

Sadayuki Furuhashi @frsyuki

参照型とプリミティブ型でここまで挙動が違うのはアリなのか…

SKS rep @repeatedly

Javaはプリミティブ型を用意しなければよかったんだよね

Sadayuki Furuhashi @frsyuki

全部デフォルトでoptionalというのは新しいな…！ プリミティブ型もoptional。何か問題あるかな。

Sadayuki Furuhashi @frsyuki

C++版は msgpack::optional<T> を用意する方針が有力。

Nobuyuki Kubota @nobu_k

@frsyuki プリミティブ型にユーザが値を入れたのかどうか(値がデフォルト値の場合)って、Javaだと何か良い判断方法あるのかなｗ でもそれができたらものすごく嬉しいよね＞＜

Sadayuki Furuhashi @frsyuki

@nobu_k 判断方法…無さそうですねw　例えばintのデフォルト値には0を入れたくなりそうですが、言語のデフォルト値も0なので、区別しようがない…。

Sadayuki Furuhashi @frsyuki

あれ…デフォルトで全部optionalなのは良いかもしれない。

Sadayuki Furuhashi @frsyuki

String key; みたいなフィールドを書く人は、ここにnullが入らないことを期待するケースが多いのか、むしろ自分でnullをチェックするコードを書くケースが多いのか。

Nobuyuki Kubota @nobu_k

デフォルト値orユーザ指定の値判別問題むずかしい。gflagsとかもカッチリ使おうとしたときにそこが難点なんだよね。特にboolだと2値しかないので、FLAGS_***がデフォルト値なのか、ユーザが明示的に指定したのか判別できなかったり。

Nobuyuki Kubota @nobu_k

そういう意味ではJavaのStringとかはnullableなのでoptional的に扱えるけど、プリミティブ型にnullが無いので、プリミティブ型とそうじゃない型で扱いが異なりすぎてウザイ！！

Sadayuki Furuhashi @frsyuki

boolean を使わずに Boolean を使っていたら true, false, null の3値にしたいんだなーという雰囲気がするけど、では String はどうなのか。int a = 0; とか。

Nobuyuki Kubota @nobu_k

C++だったらoptional<T>でおｋ！で済むけどJavaの文化が良くわからんのですがどうするんでしょうね。プリミティブ型使わずにIntegerとかのみに対応しますで良いのかな？

Sadayuki Furuhashi @frsyuki

C++ならデフォルトでrequiredで、省略可能にしたいなら optional<T> にするに違いないので、Java版でもデフォルトはrequiredで、省略可能にしたいなら MessagePackOptional を付ける方針がウマいと最初は思ったけど、実際どうだろか…

Sadayuki Furuhashi @frsyuki

Javaはプリミティブ型以外の全部の参照型は optional<T> に相当するので、参照型はデフォルトでoptional、プリミティブ型はrequiredだ、という発想もなきにしもあらず。

Sadayuki Furuhashi @frsyuki

参照型途プリミティブ型で挙動が全然違うのも困るから、この際全部optionalだ、というのも悪くはない気がする。ぁぁもうワカラン…

Nobuyuki Kubota @nobu_k

これはかなりアリな気がする！ RT @frsyuki: Javaはプリミティブ型以外の全部の参照型は optional<T> に相当するので、参照型はデフォルトでoptional、プリミティブ型はrequiredだ、という発想もなきにしもあらず。