PHPの「配列」という幻想を捨てよ：Hackコレクション型がもたらすメモリと型の真実
PHPの `array` は便利だ。だが、それはエンジニアにとっての「毒」でもある。ハッシュマップとインデックス配列が不可分に融合し、メモリを浪費し、静的解析を拒絶するその構造は、大規模なコードベースにおいては、いつ爆発するかわからない時限爆弾に等しい。
Hackのチーフアーキテクトとして断言する。「配列」という概念を捨て、`vec`, `dict`, `keyset` というデータ構造へ移行することこそが、HHVM上で実行されるアプリケーションを「制御可能な領域」へと引き戻す唯一の手段だ。
今回は、なぜこれらが単なるAPIの変更ではなく、ランタイムの最適化に直結するのかを内部構造から解説する。
—
1. PHP配列の呪縛と、Hackコレクションの解放
PHPの `array` は、内部的には `HashTable` 構造体として実装されている。たとえ連続した整数インデックスを使っていても、内部ではハッシュ関数が計算され、バケットが確保される。これは単なるオーバーヘッドではない。キャッシュミスを誘発し、メモリアロケーションを複雑化させる要因だ。
対してHackのコレクション型は、HHVMのJITコンパイラが「型」を完全に把握できる状態でアロケートされる。
vec (Vector)
`vec` は純粋な連続メモリ空間を占有する。HHVMは `vec` を見た瞬間、これが「インデックスが0から始まり、連続していること」を保証する。これにより、配列アクセスの複雑性は O(1) に収束するだけでなく、SIMD命令の活用やプリフェッチの最適化が極めて容易になる。
// 厳格な型定義：Vec
function process_data(vec
// HHVMはこのループをベクトル化(Vectorization)の候補として認識できる
$sum = 0;
foreach ($values as $v) {
$sum += $v;
}
return $sum;
}
2. dict と keyset：ハッシュマップを再定義する
`dict` と `keyset` は、PHPの `array` が抱えていた「型が不明瞭なキー」という問題を完全に排除する。
- `dict
- `keyset
` : これは数学的な集合そのものだ。`dict` から値を除去したものであり、値の重複を許さない。これは `array_unique` を呼ぶようなコストの高い処理をランタイムが自前でハンドリングするための構造であり、検索性能は `dict` 以上に研ぎ澄まされている。
// セキュリティの観点：型が保証されているため、外部入力を
// 意図しないキーで汚染する「キー・インジェクション」を型システムで遮断する
type UserData = dict
function validate_user(UserData $data): void {
// 存在しないキーへのアクセスは型チェックで弾かれる
// 実行時にisset()でチェックし続けるコストは不要となる
echo $data[‘username’];
}
3. なぜ「Strict Mode」でなければならないのか
「なんとなく動く」コードは、大規模システムにおいては「いつか必ず落ちる」コードと同義だ。
Hackの Strict Mode (`<<__Strict>>`) は、単なるコーディング規約ではない。HHVMの最適化エンジンに対して、「このメモリ領域にはこのデータしか入らない」という強いコントラクト（契約）を提示する行為だ。
型推論が失敗すればコンパイルエラーになる。これは、ランタイムで型チェックを行うためのガードコード（`is_array()` や `is_int()` の連打）を、コンパイル時に排除することを意味する。この「ガードの排除」こそが、HHVMがPHPを凌駕する実行速度を叩き出す最大の秘密である。
4. 現場での実装指針：移行の極意
既存のPHPコードからHackへ移行する際、安易に `var` を使うのは禁忌だ。以下のステップを徹底せよ。
1. 境界（Boundary）を定義する: 外部からの入力（APIリクエスト等）には必ず `shape` や `vec/dict` への変換層を設ける。
2. `varray` / `darray` の廃止: これらは移行期のための橋渡しに過ぎない。新しいコードには書くな。
3. イミュータビリティを意識する: Hackのコレクションは、可能な限りイミュータブルとして扱う。データ構造を書き換えるのではなく、新しいインスタンスを生成するスタイルは、HHVMの参照カウントメカニズムと非常に相性が良い。
—
結論：エンジニアの誇りとして
型安全とは、単にバグを減らすための道具ではない。実行環境のメモリレイアウトを、自身のコードで直接制御するためのアーキテクチャ・スキルだ。
PHPの「なんでも入る箱」は、思考停止の産物である。Hackのコレクション型を使いこなすということは、HHVMという極めて洗練されたランタイムに対し、あなたの意図を正確に伝えるということだ。
コードを書き換える際、単に「型エラーが出なくなったからOK」とするな。その `vec` がメモリ上でどう配置され、その `dict` がどのハッシュ関数を呼び出すのかを想像せよ。それが、システムアーキテクトとしての「境界線」だ。
さあ、配列の混沌から脱却し、予測可能な高性能の世界へようこそ。