やあ。Hack言語の世界へようこそ。
HHVMの深淵を覗こうとする君のその探究心、最高だね。
今日は、多くのエンジニアが「なんとなく」使っている定数畳み込み（Constant Folding）について、HHVMの心臓部から解説していくよ。ここを理解すると、君が書くコードは「ただ動くもの」から「計算資源を無駄にしない洗練されたアーキテクチャ」へと昇華する。準備はいいかな？
—
1. 定数畳み込みって、結局なに？
簡単に言うと、「実行しなくても計算結果が確定している式を、コンパイル時にあらかじめ答えを出しておく」という最適化のことだ。
例えば、`$a = 2 + 3;` というコードがあったとする。これをそのまま実行時に計算させるのは無駄だよね？ HHVMはこれを `5` という確定値に置き換えてから実行する。これが定数畳み込みだ。
なぜこれが重要なのか？
CPUは「命令を実行する」ことよりも、「メモリから値をフェッチして計算する」ことの方がずっとコストが高い。定数畳み込みは、そのコストをゼロにする最強の近道なんだ。
—
2. JITコンパイルと「2つの定数」の境界線
HHVMのJIT（Just-In-Time）コンパイラは優秀だけど、魔法じゃない。限界があるんだ。ここで重要なのが「コンパイル時定数」と「実行時定数」の使い分けだ。
A. コンパイル時定数（`const`）
ソースコードを解析する段階で値が確定する。
// クラス定数はコンパイル時に確定する
class Config {
const int MAX_RETRY = 3;
}
function getMultiplier(): int {
// コンパイル時、ここはすでに 3 2 = 6 に置き換わっている
return Config::MAX_RETRY 2;
}
B. 実行時定数（`darray`や`vec`の初期化など）
ここが陥りやすい罠だ。例えば、関数呼び出しや動的な計算が絡むと、JITは「安全のために」定数畳み込みを諦めることがある。
function getDynamicValue(): int {
// これが関数呼び出しを伴う場合、HHVMは「定数」とみなさない場合がある
return calculateComplexValue();
}
—
3. 実践：JITの限界を突破する「事前計算」テクニック
多くの初学者がやりがちなミスは、「何度も呼び出される関数の中で、毎回同じ計算をしてしまうこと」だ。たとえ型が完璧でも、CPUは同じ命令を何度も繰り返すことになる。
悪い例：ループ内での再計算
function process(vec
$result = vec[];
foreach ($data as $val) {
// 毎回ここで計算が走る！
$result[] = $val (1024 1024 8);
}
return $result;
}
良い例：定数への昇格
// 実行前に定数化する
const int SCALE_FACTOR = 1024 1024 8;
function process(vec
$result = vec[];
foreach ($data as $val) {
// コンパイル時にはすでに SCALE_FACTOR は 8388608 と評価されている
$result[] = $val SCALE_FACTOR;
}
return $result;
}
ここがポイント：
Hackの型チェッカーは非常に厳格だ。`const` を使うことで、その値が「イミュータブル（不変）」であることを明示できる。HHVMは型情報を信頼してJIT最適化をかけるから、君が `const` を適切に使うだけで、生成されるマシンコードは劇的に効率化されるんだ。
—
4. 陥りやすい罠：型変換と定数の関係
初心者がよくやるエラーがこれだ。
// エラー例
const string VERSION = “v” . (string)1; // 定数定義でキャストは使えない！
なぜダメなのか？
定数畳み込みは「型チェックの時点」で完結しなければならない。実行時に型変換が必要な処理は、コンパイル時には「未確定」とみなされるんだ。
これを回避するには、あらかじめ値を計算し、リテラルとして定義するのがHack流のスマートなやり方だよ。
—
先輩からのアドバイス：HHVMを味方につけるには
Hackの強力な型システムとJITを使いこなすコツは、「HHVMに迷わせないこと」だ。
1. 計算はトップレベルまたはクラスの `const` で行う：関数の中に関数呼び出しを混ぜて計算させない。
2. `vec` や `dict` の初期化にはリテラルを使う：動的に生成せず、静的なリテラルとして記述するだけで、HHVMはこれを「定数」としてメモリ上に固定配置してくれる。
ここを意識するだけで、君のコードのパフォーマンスは一歩先を行くはずだよ。
どうかな？ Hackの型チェッカーとJITの連携、少しだけ見えてきただろう？
「定数畳み込み」は単なる最適化じゃない。君が書いたコードが、マシン語に翻訳されるその瞬間の、静かな対話なんだ。
また分からないことがあったら、いつでも聞いてくれ。君のHackライフを応援しているよ！