Hack言語の「型」を掌中に収める：PHPの曖昧さから脱却し、堅牢なコードを築く極意
こんにちは。Hackの深淵を覗き込み、HHVMのエンジンがどのように型を解釈しているかを見守り続けているチーフアーキテクトです。
PHPからHackの世界へ足を踏み入れた君たちが、最初に直面する「洗礼」。それは間違いなく「型の厳格さ」でしょう。PHPでは許されていた「なんとなく動くコード」が、Hackではコンパイルエラーとして突き返される。一見、冷たく感じるかもしれません。しかし、これは君のプログラムがバグの温床になるのを、コンパイラが未然に防いでくれている「愛の鞭」なのです。
今回は、PHPの負の遺産である「暗黙の型キャスト」を駆逐し、Hackの流儀で堅牢なコードを書くための実践的なアプローチを伝授します。
—
1. なぜ「緩い比較（==）」は悪なのか？
PHPの `==` は、型が異なれば勝手に変換して比較しようとします。例えば、`”0″ == false` が `true` になる現象。これは「文字列の0」を「論理型の偽」と見なすPHP特有の挙動です。しかし、業務ロジックでこれが起きたらどうでしょう？ 重要な条件分岐が意図せず通過してしまう。これが「型バグ」の正体です。
Hackでは、この曖昧さを一切許容しません。
PHPとHackの対比
| 比較式 | PHP (`==`) | Hack (`===` or `is`) |
| :— | :— | :— |
| `”123″ == 123` | `true` (危険！) | コンパイルエラー |
| `”” == 0` | `true` (危険！) | コンパイルエラー |
| `null == false` | `true` (危険！) | コンパイルエラー |
Hackは「型が違うなら比較するな」という姿勢です。これが、大規模開発において数千人規模のエンジニアが安心してコードをマージできる最大の理由です。
—
2. HSLで「安全な変換」を行う：闇雲なキャストからの卒業
PHPでは `(int)$val` のようにキャストを乱用しがちですが、これには「変換に失敗したときにどうなるか」という考慮が欠けています。Hackの標準ライブラリ（HSL）には、「意図を明確にする変換関数」が用意されています。
悪い例：PHP的なキャスト
// 変換失敗時に0が返るが、元が0だったのか失敗したのか判別不能
$val = (int)$input;
良い例：HSL `Str\to_int` の活用
HSLの `Str\to_int` は、結果を `?int`（int または null）で返します。
use namespace HH\Lib\Str;
function processInput(string $input): void {
$number = Str\to_int($input);
// nullチェックを強制することで、処理の漏れを防ぐ
if ($number is null) {
echo “数値以外が渡されました。異常終了します。”;
return;
}
echo “正常な数値: ” . (string)$number;
}
ポイント:
`$number is null` というチェックを行うことで、Hackの静的解析器（Typechecker）は「この後のコードでは `$number` は必ず `int` である」と確信できます。これにより、安全な演算が保証されるのです。
—
3. 「Falsy」に依存しない：型による明示的なチェック
PHPでは `if ($user)` のように、オブジェクトや文字列が空かどうかを暗黙的に評価しますよね。しかし、Hackでは「型」で判定することを推奨します。
陥りやすい罠：文字列の空判定
// 危険：文字列が”0″の場合、PHPではfalse扱いだがHackでは明示的なチェックが必要
if ($str === “”) { … }
推奨される実装
HSLの `C`（Collection）モジュールや `Str` モジュールを使いましょう。
use namespace HH\Lib\Str;
function validateName(string $name): void {
// 文字列が空かどうかを「長さ」で厳密に判定
if (Str\is_empty($name)) {
throw new Exception(“名前を入力してください”);
}
}
「なんとなく動く」コードから、「型で定義された仕様通りに動く」コードへ。これがHackのアーキテクチャの真髄です。
—
ここをクリアすれば、Hackの門は開かれています
1. `==` は捨てろ： 型が異なる比較は、プログラムの敗北です。常に `===` を使い、型を揃える習慣を。
2. `is` 演算子を愛せ： `is` は単なる判定ではありません。コンパイラに対する「型保証の宣言」です。
3. HSLに頼れ： 独自に複雑な型チェック関数を書く前に、HSLを見てください。世界最高峰のエンジニアが最適化した型変換ツールが揃っています。
Hackの型システムは、君たちがコードを書くスピードを落とすためのものではありません。「将来の自分やチームメイトが、バグの恐怖から解放されるために用意された翼」なのです。
最初は面倒に感じるかもしれません。しかし、一度この厳格な心地よさを覚えてしまうと、もうPHPの緩い世界には戻れなくなるはずです。さあ、型という強固な武器を手に入れ、Hackの深淵へ共に歩んでいきましょう。
何か詰まったら、いつでもコンパイラの吐き出すエラーメッセージを読み解いてください。それはエラーではなく、君への「ヒント」なのですから。