PHPのEnum事情 - Speaker Deck

Slide 1

Slide 1 text

PHPのEnum事情 2020/06 PHP::LT会 @miracle_fjsw 1

Slide 2

Slide 2 text

whoami $iam = [ "名前" => "Takayuki Fujisawa", "会社" => "株式会社ラクス", "仕事" => ["品質管理", "標準化", "勉強会開催するマン"], "トゥイッター" => "@miracle_fjsw" ] 2

Slide 3

Slide 3 text

注︓⾼速ですっ⾶ばすのであとでゆっくり資料⾒てください 3

Slide 4

Slide 4 text

オレ的３⼤PHPにあったらいいのになリスト 4

Slide 5

Slide 5 text

1. Generics 2. Enum 3. 寝てる間に仕事してくれる機能 5

Slide 6

Slide 6 text

今⽇はEnumの話をします 6

Slide 7

Slide 7 text

PHPにEnum存在しない問題 7

Slide 8

Slide 8 text

Twitterで「php enum」を検索すると… 「え︖PHPってEnumないの︖」「PHPにEnumほしい」「PHPにEnumさえあれば…」というような声多数 8

Slide 9

Slide 9 text

ちなみにEnumとは列挙型(enumration type) いーなむ、いにゅーむ、えなむ… 複数の異なる定数を⼀つの集合として定義するものこういうやつ enum Planet { MERCURY, VENUS, EARTH, MARS, ... } 9

Slide 10

Slide 10 text

Enumがあると何が嬉しいのか定数をただの数値や⽂字列ではなく意味を持った集合として定義できる 10

Slide 11

Slide 11 text

Enumがない場合こうなる function distance(int from_planet_id, int dist_planet_id) { // 処理 } 11

Slide 12

Slide 12 text

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

Slide 13

Slide 13 text

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

Slide 14

Slide 14 text

Enumがあればこうできる enum Planet { MERCURY, VENUS, EARTH, MARS, ... } function distance(Planet from, Planet dist) { // 処理 } $distance = distance(Planet::MERCURY, Planet::VENUS); メソッドの仕様がコードをみるだけで⼀⽬瞭然型が縛られるため、Planetで定義した要素以外渡ってこない（安全）コードはいかにその仕様や概念を読み⼿に伝えるかが重要定数によって管理されているそれはどこまで⾏っても数値や⽂字列でしかない Enumを使うことで意味・概念をそのまま表現できる他にも、返却値をbooleanや定数ではなく、Enumで表現したり⾊々便利 14

Slide 15

Slide 15 text

実は、PHPにもEnumはあります 15

Slide 16

Slide 16 text

PHPにもEnumはあります SplEnum （Spl … Standard PHP Libraly）なんや、PHPにEnumあるやんけ︕ 16

Slide 17

Slide 17 text

が、しかし 17

Slide 18

Slide 18 text

実験的 18

Slide 19

Slide 19 text

⾃⼰責任 19

Slide 20

Slide 20 text

『標準』ライブラリとはなんなのか、深く⾃問⾃答 20

Slide 21

Slide 21 text

あまつさえ「このPECLは放棄されています」（７⽇前に投稿） 21

Slide 22

Slide 22 text

放棄された標準ライブラリ（Standard PHP Libraly) 22

Slide 23

Slide 23 text

PHPにもEnumはあります 23

Slide 24

Slide 24 text

PHPer Enum作りがち問題 24

Slide 25

Slide 25 text

PHPer Enum作りがち問題 Enumないなら作っちゃえ myclabs/php-enum marc-mabe/php-enum BenSampo/laravel-enum spatie/enum kawanamiyuu/K9u.Enum ※へーしゃのリードエンジニアのリポジトリ他、多数「php enum」で検索すると⼤量の「作ってみました」系記事 25

Slide 26

Slide 26 text

Enumが欲しいという要望は多いものの、標準仕様には未採⽤ 26

Slide 27

Slide 27 text

RFCを⾒てみよう 2015年に提案があるものの、未だドラフト。 27

Slide 28

Slide 28 text

RFCを⾒てみようもっと古いのもあるが、議論中で⽌まっている 28

Slide 29

Slide 29 text

どうなってるの︖ 29

Slide 30

Slide 30 text

この謎を解くべく、コミュニティのディスカッションの中⾝を追う PHPコミュニティのメーリングリスト https://externals.io/ Enum関連で盛り上がっているスレッドが2本（2012年,2015年） 2012年の議論は凄まじい激論 2012年というとPHP5.4くらいすでにタイプヒンティング（引数の型指定 ※）などは導⼊されておりPHPが型付けを意識しはじめている段階 ※ … クラス/インタフェース、配列のみ。intやstringなどのスカラ型は⾮対応。 30

Slide 31

Slide 31 text

2012年の議論を超意訳して抜粋「Enum要らない派」の猛攻が⽬⽴つ厳密な型付けは実⾏時の速度を落とすからアカン。そもそもコンパイル⾔語じゃないから厳密に型をしばったところで、事前に⾒つけられへん。ボンクラが間違った実装しとったら実⾏時に落ちるやろ。厳密な型付けが欲しい︖Java使えば︖ PHPは緩い型付けの⾔語なんや。便利なシーンも多いやろ。厳密さが欲しい⼈ばっかりやないねん。⾃分が正しいみたいに⾔うなや。という泥沼感のある議論が、なんだかよくわからないうちにストップ 31

Slide 32

Slide 32 text

Java使えば︖（圧倒的説得⼒） 32

Slide 33

Slide 33 text

実際、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

Slide 34

Slide 34 text

ところが、2015年の議論では⾵向きが変わる突如「Enumについて議論しようず︕」というスレが⽴つ 2015年というとPHP7のリリース。厳密な型判定（strict）モードの追加スカラ型宣⾔の機能追加（引数の型にintやstringなどを指定できる）現在ドラフト中のRFCが作られたのもこの時期 34

Slide 35

Slide 35 text

2015年の議論 2012年とは違い、PHPに組み込むとしたらどのような仕様が良いのかが前向きに議論されている Enumに振る舞いをもたせる必要あるか（※）、とか、シリアライズする時どうするの、とか ※C++などのEnumは定数の集合だが、JavaのEnumはクラスの亜種であり、メソッドを持てる PHPに組み込む上での実装上の問題についての議論なども過去に⾒られた「Enum要らない派」がほとんどいない 35

Slide 36

Slide 36 text

つまり… PHPはもともと緩い型付けで柔軟に記述できる⾔語これは別の視点ではあまり深く考えずにサクッと作れる強⼒な⾔語、とも⾔える PHPの⽣みの親であるラスマス・ラードフの⾔からも窺い知れる『PHPは問題を解決するシンプルなツール以上のものではない』実際そうだし、だからこそ広く愛⽤されるに⾄った⾔語。 36

Slide 37

Slide 37 text

つまり… かつてはEnumのような厳密に型を意識したいというアプローチは受け⼊れられにくかったそもそも必要としている⼈ばかりではなかった（代替⼿段もあるし）⼀⽅で、ここ数年では徐々にコミュニティの考え⽅が変わってきており、PHP⾃体が型を意識した⾔語に変容してきている現在はその過渡期であり、完全にEnum採⽤が棄却されたわけではない 37

Slide 38

Slide 38 text

という資料をまとめていた折なんと３回⽬のRFC提案（現在ドラフト） 38

Slide 39

Slide 39 text

PHP8でも型に関する⼤きな変更が加えられた UnionType public function foo(Foo|Bar $input): int|float; MixedType var_dump(mixed $expression): void 39

Slide 40

Slide 40 text

しかも、UnionTypeは⼀度棄却された後、再提案のうえ、採⽤ 40

Slide 41

Slide 41 text

PHPは開発者が必要とする機能を追加してきた⾔語 41

Slide 42

Slide 42 text

求めよさらば与えられん 42

Slide 43

Slide 43 text

私達が求め続ける限り、EnumがPHPに導⼊される⽇は遠くない 43