PHPの「配列」という名の亡霊を葬る：Hackのコレクション型がもたらすメモリと型安全の真実
PHPの `array` は便利だ。だが、それは「便利さ」という名の技術的負債を、我々のランタイムに毎日積み上げているに過ぎない。
歴史的に、PHPの配列はハッシュテーブルと連結リストを悪魔合体させたような構造（Zend HashTable）を基礎としている。これは `mixed` 型を許容し、メモリレイアウトを混沌とさせ、JITコンパイラの最適化を阻む最大の要因だ。
我々がHackを設計したとき、真っ先に行ったのはこの「万能の悪夢」からの脱却だった。本稿では、`vec`, `dict`, `keyset` がなぜ単なる糖衣構文ではなく、HHVMアーキテクチャの根幹を最適化する「兵器」であるかを解説する。
—
1. 内部構造のパラダイムシフト：PHP配列とHackコレクションの決定的な違い
HHVMのメモリ管理において、PHPの `array` は非常に重い。なぜなら、各要素が常に `TypedValue` という構造体を持ち、型情報のタグ付け（`m_type`）と値の共用体（`m_data`）を個別に管理する必要があるからだ。
対して、Hackのコレクション型は以下の設計思想で最適化されている。
- `vec
` : 連続するメモリ領域にプリミティブな要素を詰め込む。ポインタの追いかけが不要であり、CPUキャッシュヒット率が劇的に向上する。 - `dict
- `keyset
` : 値の集合に特化した構造。ハッシュ衝突を最小化し、メンバーシップテスト（`isset`）をO(1)の極限まで高める。
型チェッカーによる静的証明
`strict` モードにおいて、これらの型は単なる「ヒント」ではない。コンパイル時（HHBC生成時）に、型チェッカーはデータの整合性を完全に証明する。これにより、ランタイムでの動的な型チェックコード（`is_int` 等のガード）を削除し、マシンコードへの変換時に直接的なレジスタ操作を展開することが可能になるのだ。
—
2. 破壊的変更：イミュータビリティと参照の断絶
PHP配列の最も危険な性質は「写し」の扱いだ。PHPでは配列を代入するたびに、コピー・オン・ライト（COW）が発生する。しかし、配列が巨大化すると、この参照カウンタの増減がランタイムのボトルネックとなる。
Hackのコレクション型は、可能な限り「イミュータブル」であることを推奨する。
<<__EntryPoint>>
function main(): void {
// vecは連続したメモリを確保。再配置コストを最小化する
$v = vec[1, 2, 3];
// PHPの配列のように代入時に不必要なコピーを恐れる必要はない
// HHVMは参照カウントを効率的に管理し、不変性を利用して最適化する
$v2 = vec_map($v, $x ==> $x 2);
print_r($v2); // vec[2, 4, 6]
}
このコードにおいて、HHVMのJITは `vec` の内部構造が `int` の連続であることを知っている。したがって、内部ループは単なるC言語の `for` ループと同等の速度で実行される。
—
3. なぜ「厳格（Strict）」でなければならないのか
セキュリティ研究者の視点から言えば、PHPの配列が許容する「型混在」は、型混乱（Type Confusion）脆弱性の温床である。
- 暗黙のキャストの排除: `vec
` に対して `string` を挿入しようとすれば、コンパイルエラーになる。これは実行時エラーよりも遥かに低コストで、かつ攻撃者が脆弱性を突く隙間を与えない。 - メモリレイアウトの最適化: JITコンパイラは、`dict
—
4. チーフアーキテクトからの提言：移行の戦略
既存のPHPコードベースをHackに移行する際、`array` からの脱却は最大の難所だ。しかし、ここを妥協してはいけない。
1. 境界での変換: 外部インターフェース（JSONデコード等）で `array` を受け取ったら、即座に `dict` や `vec` に変換し、型チェックを通す。
2. Strictの強制: 部分的にPHPコードを残す場合でも、それらを `HH\FIXME` で囲むのではなく、型変換用のユーティリティ関数を整備せよ。
3. プロファイラによる証明: `HHVM` の `xhprof` を使い、`array` 操作が占めていたCPU時間が、`vec` への移行でどれだけ削ぎ落とされたかを確認せよ。それが、システムアーキテクトとしての「正しさ」の証明だ。
結論
Hackのコレクション型は、ただの「書きやすい配列」ではない。メモリレイアウトを掌握し、型チェッカーを武器にコンパイラを制御するための高度な抽象化レイヤーである。
PHP配列を使い続けることは、フェラーリを軽トラとして使うようなものだ。限界を突破したいのであれば、今すぐ `array` を捨て、型安全の領域へ足を踏み入れろ。そこにしか、真のパフォーマンスは存在しない。