こんにちは！HHVMの内部構造やHackの静的型システムの深淵を覗くのが楽しくて仕方がない、あなたの身近な（ちょっとオタクな）先輩エンジニアです。
他の言語、例えばPHPやJavaScriptからHackの世界へ飛び込んだとき、「あれ、配列の扱いがなんだか厳格だな」「`Vector`や`Map`といった専用のコレクション型がやたらと推奨されるな」と感じたことはありませんか？
そう、ここをクリアすれば、Hackの基本はバッチリマスターできますよ！
今日は、なぜHackが標準コレクション型（`Vector`や`Map`など）を溺愛し、それがHHVM（HipHop Virtual Machine）のJIT（Just-In-Time）コンパイルによってどれほどの爆速を生み出しているのか、その内部の仕組みを優しく、そしてディープに紐解いていきますね。
—
1. なぜ「普通の配列」ではなく「Vector / Map」なのか？
PHP出身の私たちは、つい何でも `array`（Hackでは `varray` や `darray`）で解決したくなりますよね。キーに文字列も整数も混ぜて、適当にデータを詰め込む……便利ですが、これはHHVMのJITエンジンからすると「最適化の悪夢」なんです。
型が動的に変わり、メモリ上のレイアウトがバラバラな構造を最適化するのは、JITにとっても至難の業。そこでHackは、「型が保証され、メモリが連続して配置される専用コレクション」を用意しました。
イメージ図：メモリの美学
[ PHPの動的配列 (ハッシュマップの連続) ]
[Key: “name”, Val: “Alice”] -> [Key: 0, Val: 42] -> (メモリがあちこち点在)
[ Hackの Vector
[ 42 ] -> [ 100 ] -> [ 255 ] -> [ 999 ] (CPUキャッシュヒット率が劇的向上！)
`Vector
—
2. 基本的な使い方とコードの意味
百聞は一見にしかず。実際に `Vector` と `Map` を使ったコードを見てみましょう。
Hackの厳格な型チェッカー（hhvm）を味方につける書き方を意識しています。
<<__EntryPoint>>
async function main_collectionsAsync(): Awaitable
// 1. Vectorの基本：順序付きのリスト。型は
$scores = Vector { 85, 92, 78, 95 };
// 要素の追加
$scores[] = 88;
// 2. Mapの基本：キーと値のペア。
$ages = Map {
“Alice” => 25,
“Bob” => 30,
};
// 要素の取得と安全なアクセス
$aliceAge = $ages->get(“Alice”);
if ($aliceAge !== null) {
echo “Aliceの年齢は {$aliceAge} 歳です。\n”;
}
// 3. JITが泣いて喜ぶ型安全なループ処理
$total = 0;
foreach ($scores as $score) {
$total += $score;
}
$average = $total / count($scores);
echo “平均スコア: {$average}\n”;
}
このコードの何が素晴らしいのか？
`Vector { 85, 92, … }` と宣言した瞬間、Hackの型チェッカーは「$scores の中身は絶対に int型 のみである」とコンパイル時にお墨付きを与えます。
これにより、HHVMは要素を取り出すたびに行う「これって本当に数値だっけ？」という実行時チェック（型タグの確認）を完全に省略できるのです。
—
3. 陥りやすい文法エラーと「あるある」な罠
ここで、他の言語から来た開発者がよくハマるポイントをいくつかご紹介しておきますね。これを避けるだけで、エラー画面と睨めっこする時間が激減します。
罠1: `array` と `Vector` のメソッドを取り違える
PHPの `array_push` や `count()` は、実はHackの標準コレクション（`Collection` インターフェースを実装したもの）に対しても動くことが多いですが、メソッドチェーンを使いたい場合はオブジェクトとしての振る舞いを意識する必要があります。
$v = Vector {1, 2, 3};
// NG: array_push($v, 4); ← 型チェッカーが警告を出すか、意図しない挙動になることがあります
$v[] = 4; // OK: Vector専用の構文を使いましょう
罠2: `null` の混入を許さない厳格さ
`Vector
// 正しいNullableなVectorの定義
$optionalScores = Vector { 85, null, 92 };
型をサボって `Vector` とだけ書く（アンタイプレスのコレクション）と、HHVMのJIT最適化の恩恵が薄れてしまうので注意してくださいね。
—
4. JITコンパイルの裏側：なぜコレクションは速いのか？
少しだけ裏側の話をしましょう。HHVMのJIT（HipHop JIT）は、実行時にバイトコードをx64などのネイティブ機械語に翻訳します。
通常のPHP的な配列操作では、配列が「ハッシュマップなのか、ベクタなのか、はたまたオブジェクトのプロパティ代わりなのか」を実行時まで推論し続ける必要があり、ガード（条件分岐）がコードに大量挿入されます。
しかし、Hackの `Vector` を使ったループ：
foreach ($vector as $val) { … }
この構造に遭遇したとき、JITは以下のような超高速な機械語を生成します。
1. ポインタの単純加算: 配列の先頭アドレスから、インデックス×サイズのメモリをダイレクトに読み込む（C言語の配列アクセスとほぼ同等）。
2. ボックス化の回避: プリミティブな整数や浮動小数点数が、余計なメモリラッパー（Zvalなど）に包まれることなく、素のデータとしてCPUレジスタに直行する。
結果として、数百万回のループを回すようなバッチ処理やAPIのデータ整形において、PHP7/8の配列処理を凌駕するパフォーマンスを引き出すことができるのです。
—
まとめ
いかがでしたでしょうか？
Hackのコレクション型（`Vector`, `Map`）は、単にコードを綺麗に書くためのお洒落な糖衣構文ではありません。「静的型システムによる安全性」と「HHVMのJITによる限界突破のパフォーマンス」を繋ぐ、最強の架け橋なのです。
最初は少し厳格に感じるかもしれませんが、型チェッカーが守ってくれる安心感と、裏側で唸るHHVMのJITの高速化を体感すると、もう元の世界には戻れなくなりますよ（笑）。
日々のコーディングでぜひ `Vector` や `Map` を積極的に取り入れて、Hackのポテンシャルを極限まで引き出してみてくださいね。あなたのハッキングライフを応援しています！