こんにちは。Hackの深淵へようこそ。
HHVMのコードベースを日々見つめていると、時々「なぜコンパイラはこのコードを消してくれないのか？」という問いにぶつかることがありますよね。
今日は、Hackの静的解析（Typechecker）とHHVMのJITコンパイル、この二つの連携が織りなす「デッドコード（死んだコード）」の深淵についてお話ししましょう。ここを理解すると、あなたの書くコードは「ただ動くもの」から「HHVMに愛される洗練された構造」へと進化します。
—
1. なぜ「コンパイラ」はすべてを消せないのか？
まず、大前提を共有しましょう。HHVMは世界で最もアグレッシブなJIT（Just-In-Time）コンパイラの一つですが、「実行時にならないと決まらないこと」には非常に慎重です。
例えば、以下のようなコードを考えてみてください。
function processData(mixed $input): void {
if ($input is int) {
// ここはint専用の処理
} else {
// ここはその他の処理
// もし $input が int 以外ありえないことが事前に分かっていたら？
}
}
コンパイラは「静的解析」で型を追跡しますが、HHVMのJITは動的な多態性（ポリモーフィズム）を重んじます。実行時にどんな値が流れてくるか、その「確率」や「パターン」をプロファイリングしているのです。
静的解析の限界：ガードの壁
HackのTypecheckerは、「型安全であること」を保証するために存在します。しかし、JITコンパイラが「これは二度と実行されないから消してしまおう」と判断するには、「未来永劫、この条件が成立しない」という絶対的な証明が必要です。
もしあなたのコードが「外部からの入力」や「動的なクラス生成」に依存している場合、コンパイラは保守的にならざるを得ません。「万が一」のためにコードを残す必要があるからです。これが、デッドコードが消えない最大の理由です。
—
2. JITを迷わせる「グレーゾーン」を見極める
初心者が陥りやすいのが、「条件分岐の複雑化」です。
// 悪い例：コンパイラを混乱させるガード
function calculate(int $a): int {
if ($a > 0) {
return $a 2;
}
// この先が実行されないことをコンパイラに教えられていない
// 戻り値の型が不一致になるのを避けるだけのコードが存在する
return 0;
}
この `return 0;` は、ロジック上は「死んでいる（到達不能）」かもしれませんが、JITにとっては「到達可能な経路」としてメモリ上に展開されます。これが重なると、キャッシュ効率を下げ、CPUの命令フェッチを無駄にします。
解決策：`invariant` と `Type Refinement` の活用
Hackには、コンパイラに対して「ここは絶対にこうなる！」と明示する強力な武器があります。
use namespace HH;
function calculate(int $a): int {
// 実行時に条件を保証し、コンパイラに「ここは絶対に正」と教える
invariant($a > 0, ‘入力値は正である必要があります’);
return $a 2;
// これにより、残りの無駄な分岐を静的に排除できます
}
このように `invariant` を使うことで、JITは「この条件を満たさない場合は異常終了する」と確信し、最適化の幅を劇的に広げることができます。
—
3. 実践：デッドコードを減らすための「思考の作法」
コードをクリーンに保ち、HHVMのパフォーマンスを最大限に引き出すための3つの鉄則をお伝えします。
1. 「とりあえず」のNullチェックを排除する
Hackの型システムは強力です。型ヒントで `?int` ではなく `int` を強制することで、HHVMはNullチェックの命令そのものを生成しません。
2. `is` 式で型を絞り込む
`if ($x is MyClass)` を使うことで、そのスコープ内での型を確定させます。JITはこれを見て、その後の処理を特定の型に特化（Specialize）させます。
3. 無駄なデフォルト値を避ける
「とりあえず何か返しておこう」という関数は、コンパイラに「この関数は多目的な処理をしているはずだ」と誤解を与えます。単一の責任を持つ関数を作りましょう。
—
まとめ：あなたはHHVMの指揮者です
HHVMのJITは非常に優秀ですが、あくまで「あなたの書いたコードの意図」を汲み取ろうとする協力者です。あなたが型を厳格に定義し、`invariant` や `is` を使って論理の道筋を明確にすればするほど、HHVMは不要な分岐を排除し、最高速度でコードを走らせてくれます。
「デッドコードを消す」とは、単に文字を削除することではありません。「コードの論理構造を、コンパイラが迷わないほど純粋にする」という行為なのです。
ここをクリアすれば、あなたのHackライフは一段上のステージに上がります。さあ、次はどんな挑戦をしますか？一緒にコードの深淵を覗いていきましょう！