PHP のネームスペースでダブルバックスラッシュを使う例をたまに目にするが、シンタックス上特定の動作を起因させる目的ではなく、単にエスケープして安心してるだけのよう。
ベストプラクティスなのか、それとも所謂、”念の為ロジック”というやつなのか。でも、コーディングプラクティスって、念の為ロジックの側面のままある。 if ( "foo" === $var )
とか if ( $var === "foo" )
にしない理由は万が一ミスで $var = "foo"
としてしまったケースに対する予めの対処。 これって念の為。ただ、この場合、無駄の側面がない。
一方、名前空間に付けるダブルバックスラッシュは無駄の側面がある。
クリーンなコードに洗練させていく上で必要な要素は、必要最小限に留めるという原則があり、このダブルバックスラッシュはその原則から外れる。
ということで、個人的見解として、暫定の結論、ネームスペースのダブルバックスラッシュは無駄なので、シングルに統一。
もしかしたら見落としている視点があるかもなので、気がついたらまた追記して、考え方を整理しよう。