Scala の Enumeration について

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu あと型についてはまた後で。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

まぁ経験しないとわからんだろな。GUI関係は致命的に使えないので。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

というかぶれて書いてますよ。ぞろぞろと不具合があるわけですから、1つのことを言ってるわっけじゃありません > Enumeration

📙🔭✨NISHIMOTO Keisuke @keisuke_n

さて、出かける。

kmizu @kmizu

@keisuke_n いやまあ、経験してないので実際わからないのです。とりあえず、後で例が出てから再度議論しましょうか。

kmizu @kmizu

とりあえず、ScalaのEnumerationが不便な点、こちらがわかっている範囲で書いておくか。 #scala

kmizu @kmizu

@keisuke_n いってらっしゃいませ。

kmizu @kmizu

１．erasureによってA.Value(AはEnumerationを継承したオブジェクト)の型が、コンパイル後は単にEnumeration.Valueになってしまうので、JavaからEnumerationを利用する場合、不便。 #scala

kmizu @kmizu

また、同じ理由で、異なるEnumerationを引数に取るメソッドのオーバーローディングができない。 #scala

kmizu @kmizu

２．パターンマッチ時のチェックが効かない。sealed class + case classのときのように、書き漏らしたパターンを警告してくれない。これは原理的に仕方が無いけど。 #scala

kmizu @kmizu

３．列挙型がパラメータを持てない。Javaのenumで言う、enum X { ... A(hoge), B(foo), C(bar) } みたいなのが書けない。これは、Enumerationをちょっと改造すればできないこともない。 #scala

kmizu @kmizu

とりあえず、ぱっと思いつくのはこのあたり？

kmizu @kmizu

@tmiya_ 私もscala.Enumerationはあまり好きじゃないですね。特に、パターンマッチ時のチェックが効かないのは地味に痛い…。 #scala

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu もう移動中ですか?さっきの話、やはりErasureで不具合が出ることが多いのと、Swing使ってるときにvalで初期化されないケース(lazy valはおｋ)があって非常に使いにくかったのを思い出します。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu あと、sealed trait or sealed abstract class に比べると型を縛れないのでAPIとして公開するときにいろいろ不便です。それらの理由があって私はまったく使っていません。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu sealed型については、Scala特有のものであってJavaのenumにはないものですが、一端そういう使い方を知ってしまうとそれほど手軽じゃないEnumerationに魅力を感じなくなってますね。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

たぶんvalで変数を定義してるのに、初期化されていないケースはバグなんだろうなぁ。時間がなかったのではっきり調査していないけど。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

valで初期化されないケースはたぶんコンストラクタを定義していないときなんだと思う。確かそういうケースでダメだった。ああこれはEnumerationだけじゃないけど。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

暇があったら日記に書いておくか... > valで初期化されないケース

📙🔭✨NISHIMOTO Keisuke @keisuke_n

ああ、もう1つ思い出した。Valueでidを取りたいときにidが定数じゃなかったのが残念だった。

kmizu @kmizu

@keisuke_n もうすぐ搭乗ですが、少しだけ。その、型を縛れない、というのはどういう意図でしょうか？特定の列挙型のみしか入れられない、という制約はEnumerationでも可能ですよね。 #scala

kmizu @kmizu

@keisuke_n Enumerationがそれほど好きではないというのは同意です。ただ、その理由の部分について、イマイチ納得しきれていないです。 #scala

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu 他の方も言ってましたがクラスファイルが作られますしsealedはできませんよね。明示的な型ではない特別な型になるし、積極的に使う理由が見つかりません。基本的に私は実用的なものを好むのでEnumerationは必要ないですね。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu sealed型とEnumerationのprotectedなValueメソッドには違いがあって、後者は継承してしまうとどんどん取れてしまいます。基本的にAPIとして提供する場合にenum値をどんどん取って欲しくないケースには困ります。

📙🔭✨NISHIMOTO Keisuke @keisuke_n

@kmizu もちろん、Enumerationを継承したクラスをsealedすればいいでしょうけど、なんか素直な方法じゃないですよね。