導入
PHPで開発を行う際、条件分岐にswitch文を多用するエンジニアは多いでしょう。しかし、PHPのswitch文は内部的に「==（緩やかな比較）」を用いて評価されるため、意図しない型変換（タイプジャグリング）が発生し、バグの温床となることがあります。本記事では、この仕様による危険性と、現場で安全に条件分岐を記述するためのベストプラクティスを解説します。
基礎知識：なぜswitch文でバグが起きるのか
PHPのswitch文は、比較対象と各caseの値を「==」演算子で比較します。この際、異なる型同士が比較されると、PHPは比較可能な型へと自動的に変換を試みます。
例えば、空文字「”」をswitchに渡した場合、PHPは「” == null」や「” == 0」を真（true）と判定することがあります。これにより、開発者が意図しないcaseブロックが実行されてしまうのです。この特性を理解していないと、特にDBから取得した値やフォーム入力値の判定において、重大なロジックミスを引き起こします。
実装/解決策：型を意識した安全な分岐
厳密な比較（型も含めた判定）を行いたい場合、switch文の変則的な書き方よりも、if-elseif文を用いるのが最も確実で可読性も高い方法です。
もしどうしてもswitch文を使いたい場合は、switch(true)とし、各caseで厳密な比較演算子「===」を使用することで回避可能です。しかし、これは本来のswitchの用途から外れるため、コードの可読性を損なう可能性があります。
サンプルプログラム
以下に、緩やかな比較によって発生するバグと、それを回避する安全な記述例を示します。
応用・注意点
現場での開発において、型の判定が必要な場面は条件分岐以外にも多々あります。以下のポイントを覚えておくと良いでしょう。
1. オブジェクトの型判定にはinstanceofを使う
クラスインスタンスの判定には、型比較ではなくinstanceof演算子を使用してください。これにより、継承関係やインターフェースの実装有無を含めた正確な判定が可能です。
2. 型の不一致を許容しない設計
APIのレスポンスやDTO（Data Transfer Object）を使用する際は、可能な限り型宣言（Type Hinting）を行い、関数の引数や戻り値の型を固定しましょう。型が保証されていれば、そもそも「==」と「===」の差異を気にする必要がなくなります。
3. switch文は「値」の列挙に留める
switch文は「定数や特定の固定値との一致」を確認する用途に限定するのが無難です。複雑な条件式や型の判定が必要なロジックには、if文を採用する方が、後からコードを読むメンバーにとっても安全な設計となります。