【テクニカル・上級編】Shape型とEnumの組み合わせによるドメインモデリングの最適解 – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

型の牢獄か、あるいは聖域か：ShapeとEnumで構築する「壊れない」ドメインモデル

HackのStrict Mode（`<<__Strict>>`）は、単なる静的型付けのツールではない。それは、HHVMという極限まで最適化されたランタイムの上で、「実行時の不確実性」をコンパイル時に焼き切るための焼灼装置だ。

多くのエンジニアが連想配列（`dict`）を「便利なデータの入れ物」として乱用するが、それはHHVMのメモリ管理戦略に対する冒涜に等しい。連想配列は動的であり、ハッシュテーブルのオーバーヘッドを伴う。だが、Shape型を使うことで、その構造は固定され、HHVMはそれを「最適化された構造体（Struct）」として、オフセットベースの高速なアクセスパスに変換できる。

今回は、ShapeとEnumを融合させ、ランタイムの型チェックコストを最小化しつつ、ドメインロジックを堅牢に封じ込める「極限の設計」について説く。

—

1. なぜ「連想配列」を捨て、Shapeに執着するのか

PHPの連想配列は柔軟だが、メモリレイアウトが予測不能だ。HHVM内部では、配列は`ArrayData`という複雑な構造体で管理される。キーのハッシュ計算や衝突解決は、ホットパスにおける無駄なCPUサイクルを食い尽くす。

一方、`shape(…)`はコンパイラに「このキーは固定されている」という事実を突きつける。これにより、HHVMは`ArrayData`をより効率的な配列（静的配列）として配置し、フィールドアクセスをポインタ演算にまで落とし込むことが可能になる。

最適化されたドメインモデリングの例

<<__Strict>>

// Enumでドメインの境界を定義する
enum UserRole: string {
Admin = ‘admin’;
Editor = ‘editor’;
Viewer = ‘viewer’;
}

// Shapeでデータ構造を「契約」として定義する
type UserProfile = shape(
‘id’ => int,
‘username’ => string,
‘role’ => UserRole, // Enumを値の制約として使用
?’bio’ => string, // オプショナルキーは明示する
);

function processUser(UserProfile $user): void {
// HHVMの型チェッカーは、ここでroleがUserRoleのメンバであることを保証する
// 実行時の値のバリデーションは不要。既にコンパイル時で解決されている。
switch ($user[‘role’]) {
case UserRole::Admin:
// …
break;
case UserRole::Editor:
case UserRole::Viewer:
// …
break;
}
}

—

2. メモリとパフォーマンスの裏側：HHVMの最適化

このコードが実行されるとき、HHVMは単に型をチェックしているのではない。`UserProfile`はコンパイル時に決定論的なメモリレイアウトにマッピングされる。

ハッシュテーブル回避: Shapeのキーはコンパイル時にインデックスに変換される。`$user[‘role’]`というアクセスは、ハッシュ検索ではなく、メモリ上の特定のオフセットへのアクセスとなる。
推論の連鎖: `enum`をキーの型として利用することで、Switch文におけるエッジケース（未定義の文字列の混入）をコンパイラレベルで排除できる。これにより、`default`ケースの記述をサボるような「防衛的でないコード」を強制的に排除する。

—

3. セキュリティ研究者が重視すべき「型の完全性」

脆弱性の多くは「型が曖昧なままデータが流れる」ことに起因する。特に、外部入力（JSONなど）を`dict`として受け取り、それをバリデーションなしにドメイン層へ流すのは愚行だ。

`HH\FIXME`やキャストで型を偽装するのではなく、`Shapes::idx`と`Shapes::keyExists`による厳格なトランスフォーメーション層を構築せよ。

// 外部境界（APIレスポンス等）でのデータ変換
function transformInput(dict $input): UserProfile {
// 必要なキーが存在するかを確実に検証し、型安全なShapeに昇格させる
if (!Shapes::keyExists($input, ‘id’) || !Shapes::keyExists($input, ‘role’)) {
throw new InvalidArgumentException(‘Invalid schema’);
}

return shape(
‘id’ => (int)$input[‘id’],
‘username’ => (string)$input[‘username’],
‘role’ => UserRole::coerce($input[‘role’]) ?? UserRole::Viewer,
);
}

—

4. チーフアーキテクトからの提言

Hackの真の力は、実行時の「Maybe（かもしれない）」を「Must（でなければならない）」に変えることにある。

1. Strict Mode以外は認めるな: `partial`や`decl`モードは、型安全性の崩壊を許容する逃げ道だ。システム全体をStrictで縛り上げ、HHVMの型チェッカーを最大限に働かせろ。
2. Enumをドメインの定数として活用せよ: 文字列リテラルやマジックナンバーは、セキュリティの穴だ。Enumを定義し、すべての分岐を列挙型でカバーせよ。
3. Shapeの入れ子構造を恐れるな: 複雑なデータ構造こそ、Shapeで定義することで、静的解析が深く機能する。

HHVMは、あなたが記述した型定義の正確さに対して、最大限のパフォーマンスで報いる。コードの型定義が曖昧であれば、ランタイムはその曖昧さを埋めるためにCPUを浪費する。

型定義は、ただのドキュメントではない。それは、あなたのシステムに対する「契約」であり、ランタイムに対する「最適化の指示書」だ。

この知見を理解したならば、今日からすべての`array`を駆逐し、厳格な`shape`と`enum`の城壁を築き上げろ。それが、伝説的なシステムを構築するための唯一の道だ。