PHPのEnum事情

Transcript

1. PHPのEnum事情 2020/06 PHP::LT会 @miracle_fjsw 1
2. whoami $iam = [ "名前" => "Takayuki Fujisawa", "会社" => "株式会社ラクス", "仕事" => ["品質管理", "標準化", "勉強会開催するマン"], "トゥイッター" => "@miracle_fjsw" ] 2
3. 注︓⾼速ですっ⾶ばすのであとでゆっくり資料⾒てください 3
4. オレ的３⼤PHPにあったらいいのになリスト 4
5. 1. Generics 2. Enum 3. 寝てる間に仕事してくれる機能 5
6. 今⽇はEnumの話をします 6
7. PHPにEnum存在しない問題 7
8. Twitterで「php enum」を検索すると… 「え︖PHPってEnumないの︖」 「PHPにEnumほしい」 「PHPにEnumさえあれば…」 というような声多数 8
9. ちなみにEnumとは 列挙型(enumration type) いーなむ、いにゅーむ、えなむ… 複数の異なる定数を⼀つの集合として定義するもの こういうやつ enum Planet { MERCURY, VENUS, EARTH, MARS, ... } 9
10. Enumがあると何が嬉しいのか 定数をただの数値や⽂字列ではなく意味を持った集合として定義できる 10
11. Enumがない場合こうなる function distance(int from_planet_id, int dist_planet_id) { // 処理 } 11
12. Enumがない場合こうなる const PLANET_ID_MERCURY = 1; const PLANET_ID_VENUS = 2; const PLANET_ID_EARTH = 3; const PLANET_ID_MARS = 4; //// $distance = distance(PLANET_ID_MERCURY, PLANET_ID_VENUS); 12
13. Enumがない場合こうなる $distance = distance(PLANET_ID_MERCURY, PLANET_ID_VENUS); 定数︓PLANET_ID_xxx はあくまで、ラベルをつけただけで内部的にはただの整数 値 distance(1, 2); 定数を使わず呼び出せるがコードの意図がわからない distance(1, 100000); 想定しない値でも呼び出せる distance(OTHER_CONSTANT_A, OTHER_CONSTANT_B); 関係ない定数 メソッドを使う⼈がちゃんと使ってくれることを祈るしかない PHPDocやドキュメントなどで使い⽅の説明をしなければならない 内部での⼊⼒値チェックを⾏わなければならない 13
14. Enumがあればこうできる enum Planet { MERCURY, VENUS, EARTH, MARS, ... } function distance(Planet from, Planet dist) { // 処理 } $distance = distance(Planet::MERCURY, Planet::VENUS); メソッドの仕様がコードをみるだけで⼀⽬瞭然 型が縛られるため、Planetで定義した要素以外渡ってこない（安全） コードはいかにその仕様や概念を読み⼿に伝えるかが重要 定数によって管理されているそれはどこまで⾏っても数値や⽂字列でしかない Enumを使うことで意味・概念をそのまま表現できる 他にも、返却値をbooleanや定数ではなく、Enumで表現したり⾊々便利 14
15. 実は、PHPにもEnumはあります 15
16. PHPにもEnumはあります SplEnum （Spl … Standard PHP Libraly） なんや、PHPにEnumあるやんけ︕ 16
17. が、しかし 17
18. 実 験 的 18
19. ⾃ ⼰ 責 任 19
20. 『標準』ライブラリとはなんなのか、深く⾃問⾃答 20
21. あまつさえ 「このPECLは放棄されています」（７⽇前に投稿） 21
22. 放棄された標準ライブラリ（Standard PHP Libraly) 22
23. PHPにもEnumはあります 23
24. PHPer Enum作りがち問題 24
25. PHPer Enum作りがち問題 Enumないなら作っちゃえ myclabs/php-enum marc-mabe/php-enum BenSampo/laravel-enum spatie/enum kawanamiyuu/K9u.Enum ※へーしゃのリードエンジニアのリポジトリ 他、多数 「php enum」で検索すると⼤量の「作ってみました」系記事 25
26. Enumが欲しいという要望は多いものの、標準仕様には未採⽤ 26
27. RFCを⾒てみよう 2015年に提案があるものの、未だドラフト。 27
28. RFCを⾒てみよう もっと古いのもあるが、議論中で⽌まっている 28
29. どうなってるの︖ 29
30. この謎を解くべく、コミュニティのディスカッションの中⾝を追 う PHPコミュニティのメーリングリスト https://externals.io/ Enum関連で盛り上がっているスレッドが2本（2012年,2015年） 2012年の議論は凄まじい激論 2012年というとPHP5.4くらい すでにタイプヒンティング（引数の型指定 ※）などは導⼊されておりPHPが 型付けを意識しはじめている段階 ※ … クラス/インタフェース、配列のみ。intやstringなどのスカラ型は⾮対 応。 30
31. 2012年の議論を超意訳して抜粋 「Enum要らない派」の猛攻が⽬⽴つ 厳密な型付けは実⾏時の速度を落とすからアカン。 そもそもコンパイル⾔語じゃないから厳密に型をしばったところで、事前に ⾒つけられへん。 ボンクラが間違った実装しとったら実⾏時に落ちるやろ。 厳密な型付けが欲しい︖Java使えば︖ PHPは緩い型付けの⾔語なんや。便利なシーンも多いやろ。 厳密さが欲しい⼈ばっかりやないねん。⾃分が正しいみたいに⾔うなや。 という泥沼感のある議論が、なんだかよくわからないうちにストップ 31
32. Java使えば︖（圧倒的説得⼒） 32
33. 実際、Enumは必要なのか︖ 便利で強⼒はあるが 「必ず要る」わけではない。 クラスを使って同じことが実現できる。 class Planet { ... } class Mercury extends Planet { ... } class Venus extends Planet { ... } class Earth extends Planet { ... } function distance(Planet from, Planet dist) { // 処理 } $distance = distance(Mercury::getInstance(), Venus::getInstance()); 当時のPHPコミュニティの⼈たちの意⾒も理解できる。 33
34. ところが、2015年の議論では⾵向きが変わる 突如「Enumについて議論しようず︕」というスレが⽴つ 2015年というとPHP7のリリース。 厳密な型判定（strict）モードの追加 スカラ型宣⾔の機能追加（引数の型にintやstringなどを指定できる） 現在ドラフト中のRFCが作られたのもこの時期 34
35. 2015年の議論 2012年とは違い、PHPに組み込むとしたらどのような仕様が良いのかが前向きに 議論されている Enumに振る舞いをもたせる必要あるか（※）、とか、シリアライズする時どうす るの、とか ※C++などのEnumは定数の集合だが、JavaのEnumはクラスの亜種であり、メ ソッドを持てる PHPに組み込む上での実装上の問題についての議論なども 過去に⾒られた「Enum要らない派」がほとんどいない 35
36. つまり… PHPはもともと緩い型付けで柔軟に記述できる⾔語 これは別の視点ではあまり深く考えずにサクッと作れる強⼒な⾔語、とも⾔ える PHPの⽣みの親であるラスマス・ラードフの⾔からも窺い知れる 『PHPは問題を解決するシンプルなツール以上のものではない』 実際そうだし、だからこそ広く愛⽤されるに⾄った⾔語。 36
37. つまり… かつてはEnumのような厳密に型を意識したいというアプローチは受け⼊れられに くかった そもそも必要としている⼈ばかりではなかった（代替⼿段もあるし） ⼀⽅で、ここ数年では徐々にコミュニティの考え⽅が変わってきており、PHP⾃ 体が型を意識した⾔語に変容してきている 現在はその過渡期であり、完全にEnum採⽤が棄却されたわけではない 37
38. という資料をまとめていた折 なんと３回⽬のRFC提案（現在ドラフト） 38
39. PHP8でも型に関する⼤きな変更が加えられた UnionType public function foo(Foo|Bar $input): int|float; MixedType var_dump(mixed $expression): void 39
40. しかも、UnionTypeは⼀度棄却された後、再提案のうえ、採⽤ 40
41. PHPは開発者が必要とする機能を追加してきた⾔語 41
42. 求めよ さらば与えられん 42
43. 私達が求め続ける限り、EnumがPHPに導⼊される⽇ は遠くない 43
44. かもしれない 44
45. 以上。 45