PHPのEnum事情

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

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

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

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

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

今⽇はEnumの話をします 6

PHPにEnum存在しない問題 7

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

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

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

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

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

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

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

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

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

が、しかし 17

実験的 18

⾃⼰責任 19

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

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

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

PHPにもEnumはあります 23

PHPer Enum作りがち問題 24

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

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

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

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

どうなってるの︖ 29

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

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

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

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

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

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

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

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

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

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

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

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

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

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

かもしれない 44

以上。 45

PHPのEnum事情

PHPのEnum事情

More Decks by Takayuki Fujisawa

Other Decks in Programming

Featured

Transcript