Scala の Enumeration について

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu あと具体的なコードサンプルをだせないのですが、Value型で定数としてのid: Intを取りたかったのですが、タイミング的にいろいろダメなケースがあってどうも欲しいものじゃなくなりました。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu あとsealed trait or abstract class(場合によってはcase class)の方がAPIとして提示するときにわかりやすいんですよ。Javaのenumでも同じですが、[enum].[名前]も面倒くさいですし。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

static importすればとか、つっこまれそうだけど、うーｍ。たぶんenumに関してはCとJavaの中間がちょうどいい感じなんですよね。Javaのenumは融通利きすぎだけど提供する側も使う側も冗長だし。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

Cのenumはまぁ妥協点ではあります。ただし型がいまいち(ただし最新のCを確認してない)なのと名前がバッティングしそうなのもあるけど、まぁこのあたりは名前空間が分かれればいいかな。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu それからScalaのランタイムのせいかもしれませんが、動的にValueが取られるために使えないケースがありました。先ほどから何度も言ってますが。これが結構大問題で、定数じゃないつけだと思います。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

いや実際ScalaのEnumerationは使われているのだろうか。結局いろんな問題があって使われていないと思う。

うんこ💩HIZA💩ペンギン @NetPenguin

@keisuke_n どうも書いた順にvalに値が設定去れるっぽいですね。なので後方に出現するvalを前方のvalの初期値として参照するとnullになったりしてはまった事があります。lazyつけると回避できるっぽいですが…。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@NetPenguin そうそう、結構はまりますよね。ちなみにval a, b, c = Valueというのは、val a = Value; val b = Value; val c = Valueのシンタックスシュガーなんで、そうなっちゃうわけですが、定数という頭があると...

うんこ💩HIZA💩ペンギン @NetPenguin

@keisuke_n あぁ、混乱しますね。イディオムとして覚えてしまうしか…

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@NetPenguin いやちょっと過去にも話をしたんですけど、Javaほど充実していなくてもいいからオブジェクトとして扱える定数のenumが文法として欲しいです。もちろんないからといって不便でもなんでもないんですが...。 #Scala

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@NetPenguin でさきほどlazy valすれば、とおっしゃっいましたけど、まさにlazy valすれば解決しますね。ただし2.7.xは例の2回インスタンス化されるバグがあるので2.8をさっさと使いたいところですが...

うんこ💩HIZA💩ペンギン @NetPenguin

@keisuke_n 読んできました。自分の場合もsealed使ってますね。Enumerationはテクニックとしては面白いんですが、使うとなるとどうにも馴染めなくて…(汗

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@NetPenguin あー説明不足なところはあるんですが、型・定数ではない・時々初期化されてない場面があって萎えるなどなどで、Enumeration使う意義を感じてません...

うんこ💩HIZA💩ペンギン @NetPenguin

@keisuke_n え？そんなバグがあったんですか？今まで気付いていませんでした(汗(汗

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@NetPenguin でsealed trait/abstract classは思ったより記述が冗長じゃないんですよね。面倒なことには違いないんですが、1つ作ればあとはコピペなんで気にしていません。Enumerationもそうかもしれませんが、大げさに思えちゃって...

うんこ💩HIZA💩ペンギン @NetPenguin

@keisuke_n たしかに、不安＆いまいち使いどころがわからないですよね…

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@NetPenguin 2.7.7.finalはなおっているみたいですけど。

うんこ💩HIZA💩ペンギン @NetPenguin

@keisuke_n そうそう、同意です！！そのあたりはscalaでは型をつくりやすいとい利点が出ていますよね。

うんこ💩HIZA💩ペンギン @NetPenguin

@keisuke_n あぁ、良かったです。情報ありがとうございます。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

念のため書いておこう。Scala 2.7.7.finalでlazy valが2回初期化されるバグは直っている。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

というかもう2.8に移行しちゃってもいいかもしんないが...

📙🔭✨NISHIMOTO Keisuke @keisuke_n

まぁScala 2.7で困ることはそんなにないんだが、デフォルト引数とかcopyメソッドとかすごく細かくて便利なものが導入されてるからな。

kmizu @kmizu

@keisuke_n えーと、Enumerationは普通objectで使うから誤ってそれがさらに継承される心配は無いですよね。object X extends Enumeration { ... } で、Xを継承する方法は存在しないので。 #scala

kmizu @kmizu

@keisuke_n 定数としてのid: Intを取りたい、というのはどういう意図でしょうか？普通の使い方(つまり、object X extends Enumerationとするとき)に駄目なケースが思いつかないです。 #scala

kmizu @kmizu

@keisuke_n うーん。それだとあいまい過ぎて何が問題だったのかがよくわからないわけです(いや、もちろんその義務は無いですけど)。Javaのenumも値の確保は(実行時という意味で)動的で、ScalaのEnumerationも動的です。で、(続く)