Hackの世界へようこそ。HHVMの深淵に触れる覚悟はできていますか？
多くの開発者は「Hackは型があるから安全だ」と満足しますが、プロのエンジニアは違います。私たちは、「その型チェックが、実行時にどれほどのマシン語コストを支払っているか」までを想像します。
今日は、HHVMの心臓部であるJIT（Just-In-Time）コンパイラが生成する「型ガード（Type Guard）」の正体と、それを最小化して爆速のコードを書くための秘訣を伝授しましょう。
—
1. 型ガード（Type Guard）とは何か？
HHVMは、静的に型が確定していても、実行時（Runtime）の安全性を担保するために、しばしばマシン語レベルで「本当にその型か？」を確認するコードを挿入します。これが「型ガード」です。
例えば、単純な整数演算を行うとき、HHVMは以下のように考えています。
「おっと、この変数は静的には `int` だと分かっているけれど、念のためメモリの中身が本当に整数か、この瞬間にチェックしておこう」
このチェックは、CPUの数サイクルを消費します。数百万回のループでこれが発生すれば、パフォーマンスの差は歴然です。
—
2. なぜ型ガードが生まれるのか？
HHVMは、PHPの柔軟な動的型付けの遺産と、Hackの厳格な静的型付けの間でバランスを取っています。JITコンパイラが最も嫌うのは「型が推論しきれない状態（Type Ambiguity）」です。
以下のコードを見てください。
// 悪い例：型が曖昧で、JITが型ガードを挿入せざるを得ない
function calculate(mixed $input): int {
// $inputがintかstringか不明なため、HHVMは実行時に型チェックを挿入する
return $input + 10;
}
この `$input + 10` の箇所で、HHVMは毎回「$inputは整数か？」をチェックします。もし型が確定していれば、このガード命令を完全に消し去る（最適化する）ことができたはずなのに。
—
3. 型ガードを最小化するコード設計：3つの鉄則
ここからが本題です。型ガードをマシン語レベルで最小化するための、伝説的なテクニックを教えます。
① `mixed` や `any` からの脱却
`mixed` は型安全性の敗北宣言です。可能な限り具体的な型を指定してください。
// 良い例：型を確定させる
function calculate(int $input): int {
// $inputがintであるとコンパイラが確信しているため、
// JITは型ガードを生成せず、直接CPUのADD命令を吐き出す
return $input + 10;
}
② `Shapes` や `Dict` のキーを厳密に固定する
連想配列的な構造を扱う際、キーが存在するか毎回チェックするのは無駄です。`shape` を使って構造を強制しましょう。
type TPoint = shape(‘x’ => int, ‘y’ => int);
function move(TPoint $p): int {
// コンパイラは’x’が確実に存在することを知っているため、
// 配列の存在チェック（ハッシュマップのルックアップコスト）をスキップする
return $p[‘x’] + 1;
}
③ 早期の型絞り込み（Refinement）
どうしても型が不明な場合、関数の入り口で一度だけチェックを行い、以降は安全な型として扱います。
function process(mixed $data): void {
// ここで一度だけ型ガードが発生する
if ($data is int) {
// このブロック内では$dataはintとして最適化される
echo $data + 1;
}
}
—
4. 陥りやすい罠：不要なキャストとガード
初心者がやりがちなのは、「不安だから念のために型チェックを入れる」という行為です。これはパフォーマンスの観点からは逆効果です。
- 避けるべきこと: 既に型が確定している場所で、さらに `is` や `instanceof` を多用する。
- 理由: 不要な型ガードが増え、CPUのパイプライン予測を乱し、JITのコードキャッシュを圧迫します。
Hackの型システムは信頼してください。静的な型定義が完璧であれば、HHVMはあなたのコードを「ネイティブに近い速度」の命令列へと変換してくれます。
—
まとめ：Hackを掌握するということ
型ガードを最小化するということは、「HHVMに対して、自分のコードの安全性に一切の疑いがないことを証明する」という作業です。
1. 型を絞り込む: `mixed` は極力排除する。
2. 構造を定義する: `shape` や `class` でデータの形を固定する。
3. 無駄な検証を省く: 型チェッカーを信じ、過剰な実行時チェックを避ける。
ここをクリアすれば、あなたの書くHackコードは、単なるスクリプトではなく、高効率なマシン語へと昇華されるはずです。
さあ、次はどんな最適化に挑戦しますか？ Hackの深淵はまだ始まったばかりですよ。