Shapeの深淵：HHVMが連想配列を「構造体」へ変貌させる静的最適化の魔術
HackのShape型は、単なる「型安全な連想配列」という甘い認識で使っていないか？ もしそうなら、君はHHVMが提供する最大の武器をドブに捨てていることになる。
我々がHHVMでShapeを設計した目的は、PHPの柔軟性を維持しつつ、Cの構造体（`struct`）が持つメモリ効率とアクセス速度を、動的型付けのランタイム上で再現することにあった。今日は、型チェッカーの裏側で何が起き、JITがどうやって「文字列キーによる検索」というコストを消滅させているのか、その内側を解剖する。
—
1. 動的連想配列の「重力」から脱出する
通常のPHPの連想配列（`array`）は、実態としてハッシュテーブルだ。キーをハッシュ化し、衝突を解決し、バケットを辿る。このプロセスはどんなに最適化しても、CPUにとっては「メモリ上の予測不可能なジャンプ」の連続であり、キャッシュミスを誘発する。
一方、HackのShapeは、コンパイル時にキーの集合が確定している。これを我々は `Shape Layout` として管理する。
なぜShapeは速いのか：オフセットの固定化
Shapeが宣言された瞬間、HHVMの型チェッカーはコンパイル時に各キーに対する「静的オフセット」を割り当てる。
例えば `shape(‘x’ => int, ‘y’ => int)` という型があれば、内部的には以下のようなメタデータが生成される。
Shape ID: #1024
Layout: { ‘x’: offset 0, ‘y’: offset 1 }
JITコンパイラ（ASMJIT/HPHP JIT）は、このIDをキーにすることで、連想配列のハッシュ探索を 「ベースポインタからの固定オフセットアクセス」 にまで格下げする。
—
2. JITの最適化：GuardとSpeculation
JITがこの最適化を行う際、最も重要なのが `Guard`（型ガード） の挿入だ。
function get_coords(shape(‘x’ => int, ‘y’ => int) $s): int {
return $s[‘x’];
}
このコードに対し、JITが出力するマシンコードの挙動を簡略化すると以下のようになる。
1. Guard: 入力された変数が `Shape #1024` であることを確認する（ポインタ比較で済むため極めて高速）。
2. Access: 成功すれば、`$s` のポインタに対し、オフセット `0` を足して即座に値をロードする。
3. Fallback: もし型が合わなければ、デオプティマイズ（Deoptimization）を行い、汎用的なハッシュテーブル参照コードへフォールバックする。
この「成功すれば構造体アクセス、失敗すればハッシュテーブル」という二段構えが、我々のランタイムにおける「動的言語の限界突破」の正体だ。
—
3. メモリレイアウトの極限：Packed Arrayへの昇華
HHVMはさらに踏み込む。Shapeが頻繁に使用されると、JITはそれを `Packed Array` としてメモリ上にフラットに配置する。
通常の連想配列はバケット構造を持つが、Shapeは「キー情報を独立したメタデータテーブルとして切り離し、値の配列だけを連続領域に配置する」ことが可能だ。これにより、CPUのプリフェッチャーは以下の恩恵を受ける。
- 空間的局所性: `x` と `y` が隣接するメモリ領域に存在するため、一度のキャッシュラインロードで両方の値を取得できる。
- ポインタ間接参照の排除: キーの名前を追いかける必要がなく、純粋なデータ構造として扱える。
—
4. 伝説的アーキテクトからの忠告：パフォーマンスの罠
この強力な最適化を最大限に活かすために、エンジニアが知るべき鉄則がある。
- Shapeの「Shape ID」を分散させるな:
動的にキーを追加したり、同じ構造なのに異なる定義を乱立させると、Shape IDが細分化される（Shape Morphing）。結果、JITのGuardが失敗し続け、常にハッシュテーブルアクセスに落ちる。Shapeは可能な限り「固定された型定義」として定数的に扱うべきだ。
- `?` (Optional) キーのコスト:
Optionalキーを含むShapeは、内部的に「ビットフィールド」による存在確認が必要になる。これが不要な場合は、可能な限り必須キー（Mandatory）で定義せよ。JITが生成するマシンコードの分岐が1つ減るだけで、ホットパスでは数クロックの差が出る。
—
結論：型は「制約」ではなく「最適化の指令書」
Hackにおいて型定義を書くことは、単なるドキュメント作りではない。それは「このメモリ領域は構造体として扱え」という、コンパイラへの強力な最適化の命令だ。
君たちが書く一行のコードが、HHVMという巨大な機械の中でどういうマシンコードに変換され、CPUのキャッシュをどう走るのか。そこを想像できない者に、大規模システムのチューニングは不可能だ。
Shapeを使いこなせ。連想配列の時代は、とっくに終わっている。