やあ、Hackの世界へようこそ。HHVMの深淵に足を踏み入れる準備はできたかな？
今日は、多くの開発者が「なんとなく」使っている定数（Constant）と、それがHHVMのJIT（Just-In-Time）コンパイラという「巨大なエンジン」の中でどう扱われているのか、その核心に迫るよ。
「なぜ定数を使うのか？」と聞かれたら、君はどう答える？「読みやすいから」？ もちろんそれも正解だ。でも、Hackのアーキテクトとしては、「コンパイラに最適化のヒントを与え、実行時のオーバーヘッドを極限まで削ぎ落とすため」と答えたいね。
さあ、JITコンパイルの裏側を覗いてみようか。
—
1. コンパイル時定数 vs 実行時定数：JITが見ている世界
HHVMのJITは、コードを実行しながら「どの値が絶対に変わらないか」を常に監視している。この監視能力を最大限に活かすか、それとも無駄にするかは、君の書き方一つなんだ。
コンパイル時定数（`const`）
`const`で定義された値は、HHVMのトランスレータがHHVM中間表現（HHBC）を生成する段階で、値そのものとして埋め込まれる可能性がある。
// クラス定数：これはJITにとって「絶対不変の真理」
class Config {
const int MAX_RETRIES = 3;
}
function process(): void {
// JITはここで 3 という数値を即値としてアセンブラに落とし込める
for ($i = 0; $i < Config::MAX_RETRIES; $i++) {
// ...
}
}
実行時定数（`define`や関数呼び出し）
一方で、`define()`による定義や、関数呼び出しの結果を定数として扱おうとすると、JITは「これは実行時に評価されるまで中身がわからない」と判断する。結果、JITは最適化のブレーキを踏まざるを得ないんだ。
—
2. JITが「定数畳み込み」を諦める瞬間
JITが最も輝くのは、「定数畳み込み（Constant Folding）」という魔法を使うときだ。コンパイル時に計算結果が確定していれば、実行時の計算をスキップできる。
しかし、以下のコードを見てほしい。
// 悪い例：JITを混乱させる書き方
function calculate(): int {
$base = 100;
$factor = get_external_factor(); // 実行時まで値が確定しない
return $base $factor;
}
この `$factor` が関数呼び出しである限り、JITは「この式は毎回計算しなければならない」と判断する。もし `$factor` が不変であるなら、必ずクラス定数や`const`キーワードを使うべきだ。
なぜ「使い分け」が重要なのか？
イメージ図で見てみよう。
- 定数 (`const`):
`[JITエンジン] -> [値が確定！] -> [機械語へ直結]`
- 変数・動的値:
`[JITエンジン] -> [型チェック] -> [メモリから値を取得] -> [演算] -> [機械語へ]`
この「メモリから値を取得」というワンクッションが、高負荷な環境では積もり積もってパフォーマンスの差になる。数百万リクエストをさばく時、この微差が勝敗を分けるんだ。
—
3. 初学者が陥りやすい「罠」
Hackを始めたばかりの人がよくやるミスが、「何でもかんでも変数に入れる」ことだ。
// 陥りやすい文法エラーや非効率な例
function get_data(): void {
$pi = 3.14159; // これを毎回宣言している
$result = $pi 10;
}
変数 `$pi` を宣言するたびに、HHVMはスタックメモリを割り当て、値を書き込むというプロセスが発生する。定数なら、その領域は最初から「即値」としてコード内に埋め込まれるんだ。
ここをクリアすれば大丈夫！
1. 実行中に変化しない値は、必ず `const` を使う。
2. 計算式は、可能な限りコンパイル時に確定できるように書く。
3. `define()` は避け、型安全なクラス定数を使う（Hackの静的型システムを活かすためだね）。
—
最後に：君のコードは「賢い」か？
HHVMは、君が書いたコードの意図を汲み取ろうと必死に最適化を試みる。君が `const` を正しく使い、静的な構造を意識すればするほど、JITはより鋭い機械語を生成してくれる。
「なんとなく動く」コードから、「JITが最も喜ぶ」コードへ。その一歩が、君を一人前のHackエンジニアへと押し上げるはずだ。
次は、HHVMの型チェッカーがどのようにメモリレイアウトを最適化しているか、もう少し深い話をしようか。何か疑問があれば、いつでも聞いてくれ。君のコードレビューをするのが楽しみだよ！