型の静的保証は「自由」の対価ではない、HHVMにおけるShape型の真実
PHPの連想配列（`dict`）は、その柔軟性ゆえに「型安全性の暗黒領域」と化すことが多い。疎結合なAPIレスポンスを受け取る際、適当な配列を回すコードを書いていないか？ それは、将来の自分に対する負債であり、ランタイムの最適化を放棄する行為に等しい。
Hackの`shape`は、単なる連想配列のラッパーではない。HHVMが型情報を利用してメモリレイアウトを最適化し、JITコンパイル時に境界チェックを排除するための「静的契約」だ。
本稿では、`shape`を単なる構造定義としてではなく、HHVMの実行効率を最大化するためのアーキテクチャの一部として解説する。
—
1. なぜ「dict」ではいけないのか：メモリレイアウトの視点
一般的な `dict
対して、`shape` を用いた場合、HHVMの型チェッカーはコンパイル時にキーの存在と値の型を確定させる。これにより、HHVMは以下のような最適化が可能になる。
- ハッシュ計算の排除: コンパイル時にキーのオフセットが静的に解決されれば、配列アクセスは単なるメモリのポインタ演算に置換される。
- 型の特殊化: `?T` (nullable) や `readonly` を用いることで、ガーベジコレクション（GC）の追跡コストを下げ、メモリの局所性を高めることができる。
—
2. 実践：厳格な API レスポンスの Shape 定義
APIから受け取る不安定なデータを、`shape` を用いて厳格な境界内に封じ込める。ここで重要なのは、`open`（拡張可能）か `closed`（厳格）かを設計思想に基づいて選択することだ。
namespace App\API;
/
- 厳格に定義されたレスポンス構造。
- ‘…’ を省略することで、未知のキーの混入をコンパイルエラーとして弾く。
- これにより、APIの仕様変更を即座に型エラーとして検知できる。
/
type UserProfile = shape(
‘id’ => int,
‘username’ => string,
‘email’ => string,
‘is_active’ => bool,
// 必須ではないキーは ‘?’ を付与する
?’last_login’ => int,
);
function process_user_data(dict
// ここで型変換とバリデーションを境界で一括して行う。
// HHVMの型システムは、この境界を超えた瞬間から、
// $user に対して静的な型保証を適用する。
// 実際の実装では、ここで ‘tuple’ や ‘shape’ へのキャストを行う
// 外部からの入力は必ず ‘mixed’ で受け取り、ここで ‘shape’ に昇格させる。
return shape(
‘id’ => (int)$raw_data[‘id’],
‘username’ => (string)$raw_data[‘username’],
‘email’ => (string)$raw_data[‘email’],
‘is_active’ => (bool)$raw_data[‘is_active’],
);
}
—
3. シニアエンジニアが意識すべき「Shape」の深淵
型の交差（Intersection）と拡張性
大規模なシステムでは、複数のShapeを組み合わせる必要がある。`shape(…)` を単独で定義するのではなく、他の型を継承したような構造を作る際は、型の合成を意識せよ。
type BaseResponse = shape(‘status’ => int);
type UserResponse = BaseResponse & shape(‘data’ => UserProfile);
この `&`（交差型）は、HHVMが型推論エンジンにおいて、複数の制約を統合する際の強力な武器となる。
実行時のパフォーマンスコスト
「型チェックをしているから遅いのではないか？」という誤解があるが、Hackの型チェックはコンパイル時（hh_client）に行われる。実行時には、型は消失し、HHVMのバイトコードレベルでは最適化された命令セットとして動作する。
唯一のオーバーヘッドは、API境界における明示的なキャスト（`as` 演算子など）である。しかし、これは「ランタイムエラーを早期に発生させる」ための必要な投資だ。システム全体に `mixed` が蔓延し、どこで `null` が混入したか追跡不能になるコストに比べれば、微々たるものと言える。
—
4. 結び：防御的プログラミングの終着点
`shape` を使うことは、単にコードを綺麗にするための手段ではない。それは、HHVMという強力なエンジンに対して「このメモリ領域は、常にこの構造を維持する」と誓約することだ。
- 境界を定義せよ: 外部からのデータは、システムの入り口で即座に `shape` に押し込め。
- 型を信じろ: 一度 `shape` に変換すれば、後は型システムがバグを未然に防いでくれる。
- 最適化を信じろ: 厳格な型定義は、VMが生成するJITコードの品質を向上させる唯一の道である。
型定義を疎かにする者は、VMの最適化を捨てる者である。Hackを掌握したいのであれば、まずはその `dict` の蓋を閉じ、`shape` の鉄格子を構築することから始めよ。