こんにちは。Hackの世界へようこそ。
HHVMの深淵、JIT（Just-In-Time）コンパイルの心臓部へ踏み込もうとしている君に、まずは敬意を表したい。
「定数畳み込み（Constant Folding）」という言葉、聞いたことはあるかな？ 簡単に言えば、「計算できるものは、プログラムが動く前に計算してしまおう」という最適化の技術だ。しかし、HHVMにおいてこれを理解することは、単なるテクニックではなく、「CPUの効率を支配する」ということに他ならない。
今日は、HackのJITがどこまでを見抜き、どこで限界を迎えるのか。その「境界線」をマスターしよう。
—
1. なぜ「定数」にこだわるのか？
CPUにとって、最もコストが高い操作の一つは「メモリ参照」と「分岐」だ。
もしプログラムの中で `x = 2 + 3` と書いたとき、JITがこれを `5` と認識できれば、CPUは計算命令を実行する必要すらなくなる。単に `5` をレジスタにロードするだけだ。
これが何千、何万回と繰り返されるループの中で起きれば、アプリケーションの応答速度は劇的に変わる。これがHHVMのパワーの源泉だ。
2. コンパイル時定数 vs 実行時定数
ここが初心者がもっとも混同しやすいポイントだ。
コンパイル時定数（`const`）
HHVMがコードを解析する時点で値が確定しているもの。
// 完全に固定。HHVMはこれをコンパイル時に畳み込む
const int MAX_USERS = 100 2;
この場合、JITは `MAX_USERS` という名前すら捨て去り、内部的には数値の `200` として処理する。これが最強の最適化だ。
実行時定数（`let` や 変数）
プログラムが動いて初めて値が決まるもの。
function get_limit(int $input): int {
// $input は実行されるまで不明なので、JITは畳み込めない
return $input 2;
}
JITはこれを「実行時に計算する命令」として機械語に変換するしかない。
—
3. JITの限界：どこまで「見抜ける」のか？
JITコンパイラは優秀だが、魔法使いではない。HHVMのJITが「畳み込めない」ケースを知ることで、君のコードは劇的に洗練される。
陥りやすい罠：静的解析の限界
// コンパイル時は不明だが、実行時には変わらない値
function calculate(): int {
$a = 10;
$b = 20;
return $a + $b; // JITは賢いので、これを 30 として処理できる
}
// しかし、外部依存が入ると話は別だ
function calculate_complex(bool $flag): int {
$a = 10;
$b = $flag ? 20 : 30; // 実行時まで値が確定しない
return $a + $b; // JITはこれを畳み込めない（分岐のコストが残る）
}
【図解的イメージ】
- 畳み込める場合: プログラムのフローが「一本道」かつ「計算結果が唯一」。HHVMのJITエンジンは、コンパイル時にその計算を終え、バイナリに数値を焼き付ける。
- 畳み込めない場合: プログラムのフローに「分岐」や「外部からの入力」が絡む。JITは「今は30かもしれないが、次は40かもしれない」と判断し、計算命令そのものを生成する。
—
4. ハックを掌握する：「定数化」の極意
最大限のパフォーマンスを引き出すために、君がコードを書くときに意識すべきはこれだ。
1. 「変わらないなら `const` を使え」
関数内で計算される値であっても、それがループ内で何度も使われるなら、一度変数にキャッシュするのではなく、`const` で定義できる構造がないか検討する。
2. 「分岐を減らせ」
もし条件式が定数で解決できるなら、コンパイル時にそれを解決するようにコードを整理する。`if` 文を減らすことは、JITにとっても分岐予測ミスを減らすことにつながる。
3. 「型推論を信じすぎない」
Hackの型システムは強力だが、JITは「型が確定していること」を好む。引数に明示的な型ヒント（`int`, `string` など）を与えることは、JITが「この値はこれ以上変化しない（＝定数として扱える可能性がある）」と判断するための重要なヒントになる。
—
最後に：君へのメッセージ
定数畳み込みを意識するということは、「コンピュータがコードをどう読み解いているか」を想像するということです。
HHVMは世界最高峰のJITエンジンを持っていますが、そのポテンシャルを100%引き出せるかどうかは、コードを書く君の知性にかかっています。
「これは実行時に計算させるべきか、それともあらかじめ定数として埋め込むべきか？」
この問いを常に持ち続けてください。その視点こそが、単なるプログラマーと、アーキテクトを分かつ境界線です。
ここをクリアできれば、君はもうHackの基礎を完全にマスターしたと言っても過言ではありません。さあ、次はどんな挑戦をしようか？ 期待しているよ。