PHPからHackへ：Strict Modeへの昇華 — ランタイムの深淵から解き放つ静的型システムの真髄
Hackを単なる「PHPの亜種」と捉えているのであれば、それは巨大な誤解だ。我々がHHVMを設計し、Hackという言語を定義したのは、動的言語の柔軟性を維持しつつ、大規模コードベースにおいて「実行時の驚き（Runtime Surprise）」を物理的に根絶するためだ。
本稿では、PHPというカオスから、Hackの厳格な静的型付け（Strict Mode）という秩序へ至るための、アーキテクチャレベルの移行戦略を説く。これは単なるシンタックスの変更ではない。HHVMのJITコンパイラを最大限に活用し、メモリアロケーションの効率を極限まで高めるための「型による最適化」の儀式である。
—
1. 段階的移行の戦術：Partial Modeは「型安全への踏み台」に過ぎない
既存のPHPコードベースを一度にStrictへ書き換えるなど、自殺行為だ。Hackの `Partial` モードは、そのための緩衝材として機能する。しかし、多くの開発者はここで「型推論に甘える」という罠に陥る。
移行の鉄則：境界の防壁（Type-Safe Boundary）を築け
PHPから呼び出される箇所、またはPHPへ戻る箇所は、最も脆弱だ。ここで `mixed` 型を放置すれば、HHVMの型推論エンジンは推論を放棄し、結局は実行時に値の型チェックを行うオーバーヘッドが発生する。
// 悪い例：Partialモードで甘えている
function process_data(mixed $data) {
// この時点でHHVMは型情報を失い、実行時にbox/unboxが発生する
return $data[‘id’];
}
極限の知見： 境界線には必ず `Shape` や `interface` を定義せよ。HHVMは `Shape` の構造が既知であれば、コンパイル時にオフセットアクセスを単なるメモリのインデックス参照（ベースポインタからのオフセット）に変換できる。
—
2. Strict Modeへの移行：型チェッカーを「味方」ではなく「支配者」にする
`<<__Strict>>` を宣言した瞬間、コードはHHVMの静的解析器（Typechecker）の厳格な統治下に置かれる。ここで重要なのは、「なぜ型が必要なのか」をコンパイラに証明させることだ。
段階的ステップアップの手順
1. nullableの明示的排除: `?T` を減らす。これは単なるコードの好みではない。`null` チェックはJITコンパイラにとって「分岐」を意味し、CPUのパイプライン予測を乱す。`null` を排除したデータ構造は、CPUキャッシュ効率を劇的に向上させる。
2. Genericsの導入: `vec
3. Enumクラスの活用: 状態遷移を数値や文字列で管理するのは、C言語時代の遺物だ。Hackの `Enum` はコンパイル時に定数としてインライン展開されるため、実行時の比較コストはゼロだ。
—
3. HHVMの最適化メカニズム：型がメモリを支配する
なぜStrict Modeが速いのか？ それは、HHVMのJITコンパイラ（Transpiler）が、型情報をもとに機械語コードを「特化（Specialization）」できるからだ。
例えば、型の曖昧な `mixed` 型に対する演算は、HHVM内で多重ディスパッチや型判定のルックアップテーブルを叩くことになる。しかし、型が `int` と確定していれば、それは直接的なCPU命令（`ADD`命令など）に翻訳される。
コードによる最適化の証明
<<__Strict>>
// Strictモードではコンパイラが「型」を信頼する
function calculate_sum(vec
$sum = 0;
foreach ($items as $item) {
// HHVMはこのループをベクトル化（SIMD命令）する可能性がある
$sum += $item;
}
return $sum;
}
このコードに対し、HHVMは以下の最適化を行う：
- Boxingの回避: `int` をヒープ上に配置する「ボックス化」を排除し、レジスタに直接値を乗せる。
- Type Guardの省略: 実行時の型チェック命令（`InstanceOf`など）を全て削除する。
—
4. 現場のシニアエンジニアへ：移行の最終到達点
Strict Modeへの移行とは、コードを「人間が読むための文書」から「HHVMが最適化するための仕様書」へと昇華させるプロセスだ。
- Typechecker（hh_client）の警告を無視するな: 1つの「型不整合」は、1つの「実行時オーバーヘッド」を意味する。
- `__Override` 属性を強制せよ: 継承関係における予期せぬ挙動は、セキュリティ上の脆弱性の温床だ。コンパイラによる継承チェックは、最も安価なセキュリティ・レビューである。
結びに代えて
HackのStrict Modeは、単なるプログラミングの制約ではない。それは、システムエンジニアリングにおける「確実性」を数学的に保証するためのツールだ。動的型付けがもたらす「書きやすさ」という幻想を捨て、コンパイラと対話せよ。
その先にこそ、予測可能で、極限まで最適化され、堅牢なシステムが存在する。コードは、あなたの意志の反映だ。型を厳格に定義することは、あなたのシステムが「どう振る舞うべきか」を神に誓うことに等しい。
さあ、次のコミットで `<<__Strict>>` を追加せよ。HHVMは、その覚悟を最大限のパフォーマンスで報いるだろう。