Hack言語の「Strict Mode」を掌握せよ：なぜ型を明示しなくても安全なのか？
こんにちは。HHVMの深淵からやってきた、Hackのアーキテクトです。
Hackを触り始めると、多くの人が最初に驚くことがあります。「あれ、この変数、型を書かなくてもHHVMは文句を言わないのに、間違った使い方をすると即座にエラーで弾かれる……なぜ？」という疑問です。
これは「型推論（Type Inference）」という魔法のようですが、実は魔法ではありません。HHVMの心臓部にある静的型チェッカーが、あなたのコードを一行一行、冷徹なまでにトレースしている結果なのです。
今回は、Hackの「Strict Mode」における型推論の正体に迫ります。ここを理解すれば、あなたのコードは劇的に堅牢になりますよ。
—
1. そもそも「Strict Mode」は何を監視しているのか？
Hackのファイル先頭にある `<<__Strict>>` という記述。これは単なるおまじないではありません。「このファイル内では、一切の曖昧さを許容しない」というコンパイラへの宣戦布告です。
Strict Modeでは、関数やメソッドの引数、戻り値には必ず型を書かなければなりません。しかし、ローカル変数は別です。なぜなら、Hackの型チェッカーは「変数のライフサイクル」を完璧に把握しているからです。
2. なぜ明示しなくても型がわかるのか：フローセンシティブ解析
Hackの型チェッカーは「フローセンシティブ（Flow-sensitive）」という手法を採用しています。これは、コードが実行される流れ（フロー）を追いかけながら、変数の状態を常に更新していく仕組みです。
<<__Strict>>
function processData(): void {
// ここで 10 を代入した瞬間、チェッカーは「$x は int 型である」と記憶します
$x = 10;
// $x は int なので、文字列を足そうとすると……？
// $x = “hello”; // ← ここで型チェッカーが「int を期待しているのに string が来た」と怒ります
}
この「変数の型が、代入された瞬間に決定され、その後も追跡される」というプロセスが、Hackの安全性の根幹です。
図解：型チェッカーの脳内イメージ
1. `行1: $x = 10;` → チェッカー「$x は int 型の領域に確保されたな。よし。」
2. `行2: if(…)` → チェッカー「条件分岐か。分岐先でも $x の型は int で確定だな。」
3. `行3: $x = “new”;` → チェッカー「待て、型が string に変わったぞ。以降は string として扱え！」
3. 陥りやすい罠：型が確定しないケース
初心者がよくつまずくのが、条件分岐によって型が「揺れる」場合です。
<<__Strict>>
function handleValue(bool $flag): void {
if ($flag) {
$val = 10; // $val は int
} else {
$val = “hello”; // $val は string
}
// ここで $val は int なのか string なのか？
// チェッカー「結局どっちか分からない！型安全じゃない！」
// echo $val + 5;
}
このようなコードを書くと、Hackは「変数 $val は不確定な型（Union Type）である」と判定し、操作を許可しません。これが「Hackの厳しさ」であり、同時に「バグを防ぐ壁」なのです。
解決策：
明示的に型をチェックするか、初期値を適切に設定しましょう。
$val = 0; // 最初に int で初期化しておけば、あとは安全です
4. なぜこれがメモリ管理に繋がるのか
HHVMのアーキテクチャでは、型情報が確定していると、実行時に不要な「型チェック（動的な確認）」を省略できます。これを「型特化」と呼びます。
型が明示的であればあるほど、HHVMはJITコンパイル時に最適化を行い、機械語レベルで爆速なコードを生成します。あなたが型を意識して書くことは、単なるミス防止ではなく、プログラムの実行速度そのものに直結しているのです。
本日のまとめ：Hackの基本をマスターするために
1. Strict Modeは最強の武器: 変数の型をあやふやにさせないことで、バグの温床を根絶します。
2. フローを信じる: 変数は代入した瞬間からその型として生き続けます。
3. 迷ったら型を広げるか固定する: 条件分岐で型が変わる場合は、変数の初期化を工夫しましょう。
Hackの型チェッカーは、あなたのコードを批判しているのではなく、あなたの書いたロジックが論理的に破綻していないかを、誰よりも深く見守っている「厳格な相棒」です。
ここをクリアしたあなたは、もうHackの基本を完全に掌握しています。次は、`Shape`や`Type Alias`といった、より高度な型定義の世界へ飛び込んでみませんか？
それでは、素晴らしいHackライフを！