伝説の幕開け：HHVMの「投機的最適化」という名の背信行為
こんにちは。Hackの深淵へようこそ。
皆さんは普段、何気なくHackのコードを書いていますが、その裏でHHVM（HipHop Virtual Machine）がどれほど過酷な賭けに出ているか、想像したことはありますか？
HHVMのJIT（Just-In-Time）コンパイラは、「このコードは将来もずっとこの型で動くはずだ」という投機的最適化（Speculative Optimization）を繰り返す、いわば熟練のギャンブラーです。しかし、その信頼を裏切った瞬間、システムは奈落の底へ突き落とされます。
今日は、その「信頼の崩壊」、すなわちデオプティマイゼーション（Deoptimization）の正体を暴き、最強のHackコードを書くための極意を伝授しましょう。
—
1. JITの背信：デオプティマイゼーションとは何か？
HHVMは実行中、ホットなコードパスを見つけると、その時の型情報を元に、最適化されたマシン語（ネイティブコード）を生成します。
しかし、もしその最適化が「実は違った」場合――つまり、型が想定外に変化した場合――HHVMは生成したマシン語を破棄し、安全なインタープリタモードへ強制的にフォールバックします。これをデオプティマイゼーション（Deopt）と呼びます。
イメージしてください：
時速300kmで走る新幹線（マシン語）に乗っていたのに、突然線路が途絶えて、徒歩（インタープリタ）で目的地まで行けと言われるようなものです。この切り替えコストは、パフォーマンスにとって致命的です。
—
2. なぜ型推論は失敗するのか？
デオプティマイゼーションの主犯は、「曖昧な型」です。
// 危険なコード例
function processValue(mixed $input): void {
// $inputがintかstringか不明。
// JITは「今はintが来ているからint用マシン語を作ろう」と賭ける。
// 次の呼び出しでstringが来ると…即座にDeopt発生！
echo $input + 1;
}
この `$input` のような `mixed` 型は、HHVMにとって「型ガード（型チェック）」を何度も行わなければならない厄介な存在です。JITはコードの実行中に「型が合わない！」と判定されるたびに、一度作成した最適化コードを捨てて再コンパイルを試みます。これが度重なると、CPUは計算ではなく「型チェックと脱出処理」だけで時間を浪費するのです。
—
3. 型設計の極意：デオプティマイゼーションを回避せよ
JITを味方につけるには、「HHVMを悩ませない」こと。これが最強の最適化です。
① 型ヒントを極限まで絞り込む
`mixed` は甘えです。可能な限り具体的な型、あるいは `shape` や `vec`、`dict` を使いましょう。
// 改善されたコード
function processValue(int $input): void {
// 型がintで固定されているため、JITは迷わず最適化されたマシン語を生成し、
// 実行時も型ガードのコストを最小化できる。
echo $input + 1;
}
② 形状（shape）を活用する
構造体のようなデータを扱う際、クラスを定義するのが重いと感じるなら `shape` を使いましょう。
type User = shape(‘id’ => int, ‘name’ => string);
function printUser(User $user): void {
// shapeは固定されたキーと型を持つため、JITは「このオフセットには必ずintがある」と断定できる。
echo $user[‘id’];
}
—
4. 現場で使える「型チェッカー」の意識
Hackの静的型チェッカー（`hh_client`）を通すことは、単にエラーを消す作業ではありません。「HHVMのJITエンジンに対する契約書を書く作業」なのです。
- `??`（null合体演算子）を活用する：
`null` の可能性がある値をそのまま使うと、実行時に型ガードが生成されます。事前に `??` や `if` 文で型を確定させることで、JITは「ここからは確実にこの型だ」と確信を持ってコンパイルできます。
- コレクションの型を明示する：
`vec
—
まとめ：JITと友達になるために
Hackのパフォーマンスを掌握するとは、HHVMのエンジンと「コードの構造について合意形成すること」です。
1. `mixed` を撲滅せよ。
2. 型ヒントは可能な限り具体的に。
3. 静的解析のエラーは「JITの迷い」のサインと心得よ。
ここをクリアすれば、あなたの書くコードはHHVMという最強のエンジンを最大限に引き出す、真に高性能なソフトウェアへと進化します。
Hackは、あなたの厳格な意図を汲み取ってくれる素晴らしい言語です。さあ、型という名の武器を手に、さらなる高みを目指しましょう！
ここまで理解できれば、もうあなたはHackの初心者ではありません。自信を持って、堅牢なシステムを構築してくださいね。応援しています！