型で守るべき場所、守らなくていい場所 〜2015年のPHP内戦と言語設計の哲学〜

Transcript

1. ©Fusic Co., Ltd. 1 型で守るべき場所、守らなくていい場所 〜2015年のPHP内 戦と言語設計の哲学〜 PHPerKaigi2026
2. ©Fusic Co., Ltd. 2 善住 直紘 C H I H I R O Y O S H I Z U M I 株式会社Fusic エンジニア 生まれも育ちも大阪府。中学時代に通ったプログラミングスクー ルがきっかけで情報分野に興味を持ち、情報系の大学に進学。 「面白そうな人たちが面白そうなことしてる」とFusicの個性に惹 かれ2025年4月に新卒入社。 自己紹介 はじめに @zumi_engineer ←福岡でPHPの勉強会を主催しています
3. ©Fusic Co., Ltd. 3 • strict_typesを「全部ONにすべきか」という問いへの答え は、あなたのプロジェクトが決めること • 厳密な型が好きな人、ゆるい型が好きな人。 どちらも受け止める広い心が、PHPにはある。 結論
4. ©Fusic Co., Ltd. 4 1. declare(strict_types=1); 2. なぜファイル単位で指定するのか 3. 我々はどう使い分けるか
5. ©Fusic Co., Ltd. 5 declare(strict_types=1); 1.
6. ©Fusic Co., Ltd. 6 declare(strict_types=1);ってなんだ？ そもそも... declare(strict_types=1);
7. ©Fusic Co., Ltd. 7 PHP RFC: Scalar Type Declarations declare(strict_types=1); ↑RFCのページ↑ • スカラー型宣言（int、float、string、bool）を追加 • declare(strict_types=1);ディレクティブを追加 ↓ざっくり説明↓
8. ©Fusic Co., Ltd. 8 declare(strict_types=1);により、ファイル内のすべての関数呼び出しと return 文において、スカラー型宣言（拡 張機能および組み込み PHP関数を含む）に対して「厳密な」型チェックが行われます。 （RFCより抜粋） declare(strict_types=1); declare(strict_types=1);ってなんだ？ https://wiki.php.net/rfc/scalar_type_hints_v5
9. ©Fusic Co., Ltd. 9 declare(strict_types=1);とは... stringやけど1みたいなもんか... 通ってよし！ increment(“1”) Fatal error: Uncaught TypeError: increment(): Argument #1 ($a) must be of type int, string given
10. ©Fusic Co., Ltd. 10 declare(strict_types=1); ファイル単位 increment.php main.php Fatal error: Uncaught TypeError: increment(): Argument #1 ($a) must be of type int, string given, called in main.php on line 7 and defined in increment.php:3
11. ©Fusic Co., Ltd. 11 declare(strict_types=1); ファイル単位 increment.php main.php これはオッケー 型の厳密性についての責任は 呼び出し側が持つ！
12. ©Fusic Co., Ltd. 12 なぜファイル単位で 指定するのか 2.
13. ©Fusic Co., Ltd. 13 ファイル単位ではなく 環境単位で指定すればよいのでは？ 別にこれでもいいのでは？ なぜファイル単位で指定するのか 🤔
14. ©Fusic Co., Ltd. 14 嫌な経験 なぜファイル単位で指定するのか 2008に起きた Magical Quotes の廃止
15. ©Fusic Co., Ltd. 15 なぜファイル単位で指定するのか Magical Quotesとは • 文字列を格納する際に、特殊文字を ”勝手にエスケープする ”機能 • 自分のPHPの設定でmagic_quotes_gpc = Off とオプトアウトしないとデフォルトで ”勝手に”エスケープする • 環境によって設定が異なるため、 Magical QuotesがONの想定で作ったパッ ケージがmagic_quotes_gpc = Offの環境で動くと予期しない動作が ...
16. ©Fusic Co., Ltd. 16 なぜファイル単位で指定するのか strict_typesを環境単位の指定にすると起こりうる悲劇 increment.php（weakな環境で開発） main.php（strictな環境） TypeError 実行環境の typeと プラグイン等が期待している typeが異なると壊れる
17. ©Fusic Co., Ltd. 17 我々はどう使い分けるか 3.
18. ©Fusic Co., Ltd. 18 strict_types スイッチは古いコードの移行メカニズムとして設計されたのではな く、どちらも同じように新しい 2 つの異なるオプション間の真の選択として設計さ れたのです。 strict_types ディレクティブの背後にある考え方は、 2つのバージョンの機能を 1 つのシステムに統合し、ユーザーが自由に切り替えられるようにすることでし た。提案では、両方のモードにそれぞれ長所と短所があることが明確に示され ていました。 Re: strict_types will be default at some moment? 我々はどう使い分けるか https://news-web.php.net/php.internals/112232
19. ©Fusic Co., Ltd. 19 • 「全部ONにすべきか」という問いへの答えは、 あなたのプロジェクトが決めること • 厳密な型が好きな人、ゆるい型が好きな人。 どちらも受け止める広い心が、PHPにはある。 • 僕は「想定された動き以外を拒絶しやすい」という 観点で厳密派です。 我々はどう使い分けるか 結論
20. ©Fusic Co., Ltd. 20
21. ©Fusic Co., Ltd. 21 declare(strict_types=1); declare(strict_types=1);とは... increment(“1”) stringやけど1みたいなもんか... 通ってよし！ declare(strict_types=1);がない時
22. ©Fusic Co., Ltd. 22 declare(strict_types=1); declare(strict_types=1);とは... Fatal error: Uncaught TypeError: increment(): Argument #1 ($a) must be of type int, string given declare(strict_types=1);がある時 increment(“1”)
23. ©Fusic Co., Ltd. 23 declare(strict_types=1)（使用する場合は）ファイル内の最初の命令としての み使用する必要があります。他の用途には使用しないでください。 declare(strict_types=1); 小ネタ：実はこうなの strict_types Fatal error: strict_types declaration must be the very first statement in the script