ようこそ、Hackの深淵へ。
世界最高峰のHackコアコミッターとして、今日は君たちに「HHVMという怪物の心臓部」の話をしよう。
多くの開発者は、Hackを「PHPの強化版」だと思っている。だが、それは氷山の一角に過ぎない。Hackの真価は、HHVMという強靭な仮想マシンが、実行時にコードの「素性」を暴き、最高速度へと最適化する点にあるんだ。
今日は、その最適化の要である「投機的最適化（Speculative Optimization）」と、それが崩壊する「デオプティマイゼーション（Deoptimization）」の恐怖、そしてそれを回避するための「プロの書き方」を伝授するよ。
—
1. HHVMの「投機的最適化」とは何者か？
HHVMは、プログラムが走っている最中に「この関数はいつも同じ型の引数で呼ばれるな？よし、型チェックをスキップして爆速の機械語に変換しよう！」と勝手に判断する。これを投機的最適化と呼ぶ。
例えるなら、「この通勤ルートは毎日混まないはずだ」と信じ込んでアクセルを踏み込むドライバーのようなものだ。
しかし、もし突然、予想外の型の引数が飛び込んできたらどうなるか？
「あ、想定外の事態だ！急ブレーキだ！」と、最適化された機械語を捨て、安全な元の状態に戻る。これがデオプティマイゼーションだ。この「急ブレーキ」こそが、パフォーマンスを殺す真犯人なんだよ。
2. なぜ「デオプティマイゼーション」が起こるのか
典型的な失敗例を見てみよう。君たちがよくやりがちな、「型の揺れ」だ。
// 悪い例：型が揺れることでJITを混乱させる
function calculate_data(mixed $input): int {
// $inputがintの時もあれば、stringの時もある
// JITは「int専用」の最適化を一度施すが、stringが来ると破綻する
return (int)$input + 10;
}
このコードを実行すると、HHVMのJITエンジンは最初は「お、ここは常にintが来るな」と判断して最適化する。しかし、次にstringが来ると、「騙された！」とばかりに最適化を破棄し、遅いインタープリタモードへフォールバックする。
この「コンパイル・破棄・再コンパイル」のループこそが、CPUリソースを食いつぶす最大の無駄なんだ。
3. デオプティマイゼーションを避ける「鉄則」
じゃあ、どうすればこの怪物（JIT）を飼い慣らせるのか？答えはシンプルだ。「型を揺らさない」こと。
① `mixed` を避け、厳密な型を定義する
Hackの最強の武器は静的型システムだ。`mixed`という甘い誘惑に負けてはいけない。
// 良い例：型を固定することでJITに「安心」を与える
function calculate_data(int $input): int {
// 最初からintと決まっていれば、JITは迷わず最適化を維持できる
return $input + 10;
}
② 形状（Shapes）で複雑なデータ構造を固定する
配列（`array`）は型が不安定になりやすい。代わりに `shape` を使って構造を強制しよう。
// 悪い例：配列は中身が何でも入るため、JITは推論を諦める
function process(vec
// 良い例：Shapeで構造を固定すると、JITはオフセット計算を最適化できる
type User = shape(‘id’ => int, ‘name’ => string);
function process(vec
foreach ($data as $user) {
// JITは’id’がどこにあるか固定長で理解できるため、爆速で処理する
echo $user[‘id’];
}
}
4. プロのエンジニアが心がける「脳内トレース」
君たちがコードを書くとき、常にこう自問自答してほしい。
> 「このコードを通るデータは、常に同じ『形』をしているか？」
もし、一つの関数で複数の型を扱いたくなったら、それはリファクタリングのサインだ。`HH\Lib\Vec` や `HH\Lib\Dict` を使い、ジェネリクスを活用して型を厳格に保つんだ。
型を厳格に書くことは、単にバグを減らすためじゃない。HHVMというレーシングカーのエンジン性能を100%引き出すための「チューニング」なんだよ。
—
最後に：君たちはもう、JITの調教師だ
どうかな？デオプティマイゼーションの正体が、単なるエラーではなく「JITエンジンの期待を裏切ること」だと理解できたはずだ。
Hackの型システムは、面倒な制約ではなく、実行時における「最高のパフォーマンス」を約束する契約書だと思ってほしい。ここをクリアすれば、君たちが書くコードは、世界中のどんな環境でも安定して速い、極上のHackコードになるはずだよ。
さあ、エディタを開いて、JITを唸らせるような美しい型定義を書いてみよう。応援しているよ！