型の檻でランタイムを支配せよ：連想配列の「幽霊」をShape型で消し去る技術
PHPの連想配列（`array`）は、柔軟という名の「無秩序」そのものだ。キーを一つ打ち間違えれば、`null`が代入されたかのような挙動で静かにシステムが腐敗する。我々がHHVMの心臓部で格闘してきたのは、まさにこの「予測不可能な動的型」という名の悪魔だ。
Hackが提供する`shape`は、単なるシンタックスシュガーではない。これはコンパイラがAST（抽象構文木）を走査する際、メモリレイアウトの境界を厳格に固定するための「契約」だ。なぜ`array`を捨て、`shape`でデータ構造を可視化すべきなのか。その深淵を覗こう。
—
1. なぜ「連想配列」はVMにとっての毒なのか
HHVMのJITコンパイラにとって、型が確定していない`array`は悪夢だ。ランタイムは`ArrayData`という汎用的な構造体を操作する際、常にハッシュテーブルのルックアップ（`ht_lookup`）を伴う。
// PHP的思考：型が不明瞭な連想配列
$user = [‘id’ => 1, ‘name’ => ‘Alice’];
// コンパイラは ‘$user[‘nmae’]’ が存在するかどうかを、
// 実行時のハッシュテーブル検索でしか判断できない。
このコードでは、キーの打ち間違いは「実行時の警告」すら出ないことがある。HHVMは「存在しないキーへのアクセス」を`null`として扱うため、バグは沈黙し、本番環境で致命的な例外として顕在化する。これが、大規模システムにおける「静的型への回帰」が必要な理由だ。
2. Shape型：コンパイル時の「メモリ静的化」
`shape`を使用すると、HHVMの型チェッカー（`hh_client`）は、その構造をメモリ上のオフセットに近いレベルで固定する。
type TUser = shape(
‘id’ => int,
‘name’ => string,
?’email’ => string, // オプショナルキーの明示
);
function processUser(TUser $user): void {
// コンパイラがキーの存在を静的に保証する
echo $user[‘name’];
// 誤字はコンパイル時に絶対的な拒絶を受ける
// echo $user[‘nmae’]; // File Error: No such field ‘nmae’
}
なぜこれが強力なのか
- 型推論の高速化: HHVMのType Inferenceエンジンは、`shape`が定義された時点でその構造を「定数」として扱うことができる。
- 不要なガード節の削除: 実行時に`idx()`や`array_key_exists()`でチェックする必要がないため、JIT後のアセンブラから不要な分岐命令を排除できる。
3. 移行戦略：動的データから「厳格な境界」へ
既存のレガシーコード（`array`の海）をHackに移行する際、最も重要なのは「型付けの境界線（Boundary）」を設けることだ。
STEP 1: 外部境界での型変換（Cast）
APIのレスポンスやDBからのフェッチ直後で`shape`に変換する。ここで型を強制（Enforce）する。
function fetchUserFromDB(int $id): TUser {
$data = db_query(…); // まだarrayが返ってくる
// ここでshapeの型にキャストし、不正なデータがあれば即座に弾く
return shape(
‘id’ => $data[‘id’] as int,
‘name’ => $data[‘name’] as string,
);
}
STEP 2: 内部ロジックの「型安全化」
関数シグネチャを`array`から`TUser`に書き換える。一度型定義を行えば、IDE（`hh_client`をバックエンドとするLSP）がキー忘れをリアルタイムで警告する。
—
4. アーキテクチャの視点：メモリ管理と最適化
HHVM内部において、`shape`は通常のハッシュマップよりも効率的なメモリ配置が可能になる場合がある。将来的なHHVMの最適化パスにおいて、特定の`shape`構造は「クラスのプロパティアクセス」と同等の速度まで昇華される可能性がある。
`array`という「万能で低速なコンテナ」から、`shape`という「用途特化型の構造体」へ。これは、単なるリファクタリングではなく、VMの実行コンテキストを最適化するためのエンジニアリングだ。
結論
君たちが書いているPHPコードは、ランタイムに「推測」を強いている。推測は計算コストを発生させ、そして必ずエラーを内包する。
`shape`型を導入せよ。連想配列の曖昧さを断ち切り、型チェッカーに全ての「存在確認」を委ねるのだ。それが、我々のようなシステム・アーキテクトが長年追い求めてきた「コンパイル時に解決され、実行時にはただ流れるように動作するコード」への唯一の道である。
さあ、今すぐ `hh_config` を開き、厳格な型チェックを有効にせよ。コードの静寂が、君の背中を押すはずだ。