こんにちは！Hack言語の世界へようこそ。
他のプログラミング言語、例えばPHPやJavaScriptからやってくると、「連想配列（キーと値のペア）」って本当に便利で、ついついどこでも使いたくなりますよね。
でも、Hackの世界では、その「何でも入れられる便利な連想配列」をそのまま使うのは、少しもったいないんです。なぜなら、Hackの真価は「静的型システム」と「HHVM（HipHop Virtual Machine）の圧倒的なJIT（Just-In-Time）コンパイル最適化」の融合にあるからです。
今回は、Hackの「Shape（シェイプ）型」を駆使して、動的な連想配列へのアクセスを、C言語の構造体アクセス並みに爆速化させるメカニズムを、一緒に紐解いていきましょう！ここをクリアすれば、Hackのパフォーマンスを引き出す基本はバッチリマスターできますよ。
—
1. 連想配列の便利さと、その裏に隠されたコスト
まずは、よくあるコードを見てみましょう。データの集まりを表現するのに、キーが文字列の配列（PHPでいう連想配列や、Hackの `dict
// ダメではないけれど、JIT泣かせの動的アクセス
function process_user_bad(dict
// キーが文字列なので、毎回ハッシュ計算や文字列比較が必要になる
echo “名前: ” . (string)$user[‘name’] . “\n”;
echo “年齢: ” . (int)$user[‘age’] . “\n”;
}
このコード、動的には非常に柔軟ですが、HHVMの立場から見ると「中に何が入っているか、実行するまで分からない（mixedだらけ）」という悪夢のような状態です。
キーの `name` や `age` を探すたびに、ハッシュテーブルのルックアップ（検索）が発生し、CPUのキャッシュ効率も落ちてしまいます。
—
2. 救世主「Shape型」の登場と基本的な使い方
そこで登場するのが Shape（シェイプ）型 です。
Shape型を使うと、「このデータ構造には、必ずこのキーがあって、値の型はこれだ」という設計図をコンパイル時に静的に固定できます。
百聞は一見にしかず。まずは書き方を見てみましょう。
// Shape型の定義
type UserShape = shape(
‘name’ => string,
‘age’ => int,
// ‘email’ => ?string, // クエスチョンをつければ「あってもなくても良い（オプショナル）」にできます
);
function process_user_good(UserShape $user): void {
// キーを指定して安全にアクセス
echo “名前: ” . $user[‘name’] . “\n”;
echo “年齢: ” . $user[‘age’] . “\n”;
}
どうですか？見た目は連想配列のアクセスと変わりませんが、中身の型が厳格に保証されています。
もし存在しないキーにアクセスしようとしたり、違う型を代入しようとしたりすると、実行するまでもなくHackの型チェッカーが赤字でエラーを教えてくれます。
—
3. 【本質】なぜShapeを使うとJITが速くなるのか？
ここからが、今回のメインディッシュです。
「型が安全になるのは分かったけれど、パフォーマンスはどうなの？」という疑問が湧きますよね。実は、ここからがHHVMの真骨頂です。
ハッシュテーブルルックアップからメモリオフセットへの昇格
`dict
しかし、Shape型が使われている場合、HHVMのJITコンパイラはコンパイル（または実行時プロファイリング）時にその構造を完全に把握できます。
イメージとしては、以下のような脳内変換が起きています。
[動的アクセス (dict)]
$user[‘name’]
↓ 実行時
「えーっと、$user のハッシュテーブルから ‘name’ のキーを探して……あった、このポインタね」 (遅い！)
[Shape型によるJIT最適化]
$user[‘name’]
↓ JITコンパイル後
「構造体の子はこのオフセット（先頭から〇バイト目）にあるから、そこを直接読む！」 (爆速！)
JITコンパイラは、Shape型をC言語の `struct`（構造体）のように扱います。その結果、キーの文字列比較やハッシュ計算が完全に消え去り、単なる「メモリエリアの直接読み出し（オフセットアクセス）」に機械語レベルで昇格（Promotion）するのです。
これが、Hackにおける型安全性とパフォーマンスが表裏一体である所以です。
—
4. 陥りやすい文法エラーと注意点
初学者のうちによくやってしまうミスをいくつかご紹介しておきますね。
① オプショナルキーの存在テキトウチェック
オプショナルなキー（定義時に `?` をつけたもの）にアクセスする際、いきなり読みに行くと型チェッカーに怒られます。
type UserShape = shape(‘name’ => string, ? ‘age’ => int);
function print_age(UserShape $user): void {
// ❌ エラー：ageが存在しない可能性があるため、そのままでは使えない
// echo $user[‘age’];
// ✅ 正解：Castsや配列関数、または C::contains() などで存在確認をする
if (Shapes::keyExists($user, ‘age’)) {
echo $user[‘age’];
}
}
Hackの標準ライブラリには `Shapes::keyExists()` という、Shape専用の安全なキーチェッカーが用意されています。
② 配列の波括弧と混同しない
Shapeは `shape(…)` という専用の構文で定義します。普通の `array` や `dict` と混ぜて混乱しないようにしましょう。Shapeはあくまで「固定されたキーを持つ構造体的なマップ」です。
—
まとめ：Hackのポテンシャルを解放しよう
今回は、HackのShape型とHHVMのJIT最適化の深い関係について解説しました。
- 動的な連想配列 (`dict
- Shape型 (`shape(…)`) を使うことで、データの構造を静的に固定できる。
- HHVMのJITは、Shapeの構造を解析し、ハッシュ検索をメモリオフセットへの直接アクセスに昇格させるため、型安全かつ爆速になる。
「なんとなく動くコード」から「マシーンの性能を限界まで引き出す美しいコード」へ。
Shape型を使いこなせるようになると、あなたの書くHackコードは見違えるほど洗練され、パフォーマンスも劇的に向上しますよ。
日々のコーディングで、ぜひ「ここはdictにするべきか、それともShapeにするべきか？」という視点を持ってみてくださいね。それでは、次回の極限知見でお会いしましょう！