Hackを掌握する極限の知見：静的型システムで実現する零コストValue Object設計
HHVMのアーキテクチャ、そしてHack言語の厳格な型チェッカー（Typechecker）の内部挙動を熟知する者にとって、動的言語時代の「配列やプリミティブの野放図な受け渡し」は、もはや技術的負債どころかシステムへの冒瀆に等しい。
ドメイン駆動設計（DDD）において不可欠なValue Object（値オブジェクト）。これをPHPの延長線上にある幼稚なラッパクラスとして実装してはならない。インスタンス化のオーバーヘッド、メモリ上のアロケーション、そしてガベージコレクタ（GC）への負荷――これらを極限まで削ぎ落としつつ、型チェッカーの鉄槌によって不正な状態の存在をコンパイルタイムで完全に根絶する。
本稿では、HHVMのランタイム特性とHackの厳格モード（`<<__Strict>>`）を極限まで活用した、プロダクション品質のValue Object設計パターンを詳解する。
—
1. プリミティブ執着（Primitive Obsession）という名の病
大規模なコードベースにおいて、ユーザーIDや金額、メールアドレスを単なる `int` や `string` として扱う設計は、静的解析の目をあざむく最大の温床である。
// 悪夢のようなコード：何を渡しても型チェッカーは文句を言わない
function transfer_funds(int $from_id, int $to_id, int $amount): void { … }
このシグネチャでは、`$from_id` と `$amount` を誤って逆に渡しても、型チェッカーは一切検知できない（※もちろんプログラマのミスだが、それを検知するのが型システムの仕事だ）。
これを防ぐために単純なクラスラッパーを作ると、今度はHHVMのメモリ空間とJITコンパイラの最適化パスにおいて深刻なペナルティを支払うことになる。
我々が目指すべきは、「人間にとってはドメインの意図を完全に表現し、HHVMのランタイムにとってはプリミティブと同等の速度・メモリ効率で処理される」究極の抽象化である。
—
2. 厳格モード（Strict Mode）と不変性（Immutability）の強制
Hackの `<<__Strict>>` モードでは、すべての式と変数に型が推論、または明示されている必要がある。Value Objectの基本要件は「不変性（Immutability）」であり、一度生成された値はそのライフサイクルを通じて変化してはならない。
Hackにおける不変性は、`readonly` プロパティや `<<__Const>>` アノテーション、そして再代入を許さない言語仕様によって担保される。
以下のコードは、ゼロコストに近い形でオーバーヘッドを極小化した `UserId` Value Objectの極限実装である。
<
namespace Domain\Model;
/
- ユーザーIDを表すValue Object。
- HHVMのJITコンパイラによるインライン展開を阻害しないよう、
- 必要最小限の構造で定義する。
/
<<__ConsistentConstruct>>
final class UserId {
// Hackの readonly プロパティにより、初期化後の書き換えを型レベルで完全阻止
public function __construct(
public readonly int $value,
) {
// コンパイルタイムではなくランタイムのガード（ドメインルールの不変条件）
// ※ 境界値の検証は極限までコストを削る
invariant($value > 0, “UserId must be a positive integer, %d given.”, $value);
}
// 等価性比較（リファレンスではなく値の比較）
public function equals(UserId $other): bool {
return $this->value === $other->value;
}
}
チーフアーキテクトの視点：なぜ `final` と `readonly` なのか？
HHVMのバイトコードインタプリタおよびTC（Translation Cache）において、クラスが `final` であることは、メソッド呼び出しにおけるdevirtualization（仮想メソッド呼び出しの静的解決）を可能にする。これにより、ディスパッチテーブルのルックアップコストが消滅し、直接関数コールへと最適化される。
さらに `readonly` を付与することで、プロパティの書き込みガード命令（PropTypeCheck等）がランタイム最適化パスで排除され、生のスカラー変数アクセスと同等の速度まで押し下げられる。
—
3. 型チェッカーを欺くな：Phantom Types（幻影型）による安全性
単なる `int` のラップにとどまらず、例えば「有効化されたメールアドレス」と「未検証のメールアドレス」を区別したい場合、オブジェクトの生成コストすら惜しい極限環境では Phantom Types（幻影型） の概念をHackのジェネリクスで応用する。
しかし、Hackの型システムは構造的サブタイピングと公称型（Nominal）のバランスが優れているため、より直感的に「状態」を型に閉じ込めることができる。
<
namespace Domain\Model;
interface EmailState {}
final class Unverified implements EmailState {}
final class Verified implements EmailState {}
/
- 状態を持つメールアドレスのValue Object
- @template T as EmailState
/
final class EmailAddress
private function __construct(
public readonly string $raw,
) {}
/
- 未検証のメールアドレスを生成するファクトリ
/
public static function createUnverified(string $raw): EmailAddress
// 厳密なドメインバリデーション（正規表現のコストを最小化）
invariant(
\filter_var($raw, \FILTER_VALIDATE_EMAIL) !== false,
“Invalid email format: %s”,
$raw
);
return new EmailAddress(Shapes::idx($_SERVER, ‘REMOTE_ADDR’) ? $raw : $raw); // 簡易表現
}
/
- 状態遷移：未検証 -> 検証済み
- 新しい型のインスタンスを返し、古いインスタンスのスコープを断つ
/
public function verify(): EmailAddress
// 検証プロセスを経たものとして新しい型を返す
return new EmailAddress
}
}
この設計により、コンパイラ（型チェッカー）の段階で「未検証のメールアドレスを通知送信関数に渡す」というバグを物理的に不可能にする。
function send_welcome_email(EmailAddress
// 実装…
}
// — 呼び出し側 —
$email = EmailAddress::createUnverified(“test@example.com”);
// ❌ 型エラー：EmailAddress
// send_welcome_email($email);
// ⭕ 正しく検証プロセスを経た場合のみ通過
$verifiedEmail = $email->verify();
send_welcome_email($verifiedEmail);
このアプリケーションコードにおいて、実行時エラーの可能性は完全にコンパイルエラーへと昇華されている。これがHackの厳格モードがもたらす最大の強みである。
—
4. HHVMのメモリ最適化：ボクシング（Boxing）の回避とデータ構造
オブジェクト指向設計を導入する際の最大の懸念は、ヒープ上のメモリ割り当て（Allocation）とガベージコレクションのオーバヘッドである。PHP/Hackにおいて、クラスのインスタンス化は小さくないメモリフットプリントを消費する。
大規模トラフィックを処理するHHVMワーカーにおいて、数百万個のValue Objectが毎秒生成・破棄されると、GCの停止時間（Stop-the-World）がシステム全体のレイテンシを劣化させる。
対策：スマートな不変構造とHHVMの型プロファイル
1. プリミティブの直接保持: Value Objectは必ず単一のプリミティブ、または密にパッキングされたプロパティのみを持つようにし、オブジェクトのグラフ構造をフラットに保つ。
2. コレクションの型安全化: 配列の代わりに Hack標準の `ImmVector` や `ImmMap`（イミュータブルコレクション）を使用する。これにより、HHVMの内部アロケータが効率的にメモリを管理し、コピーオンライトの恩恵を受けられる。
<
namespace Domain\Collection;
use namespace Domain\Model;
final class UserCollection {
private function __construct(
// イミュータブルベクターを使用し、メモリの再割り当てリスクを排除
public readonly \ConstVector
) {}
public static function fromArray(array
$builder = Vector {};
foreach ($raw_ids as $id) {
$builder[] = new Model\UserId($id);
}
// 不変コレクションとしてラップ
return new static($builder->toImmVector());
}
}
—
5. 結論：型はドメインの防壁である
Hackの型チェッカーとHHVMのランタイムは、生半可な設計を許容しないほど強靭かつ高速である。Value Objectを単なる「きれいなコードを書くためのパターン」メンタリティで扱ってはならない。それは、システムの整合性をコンパイルタイムに担保し、ランタイムの不正状態を駆逐するための極限のセキュリティ・プリミティブである。
静的型付けの恩恵を極限まで引き出し、CPUキャッシュとメモリ効率を意識したデータ構造を構築すること。それこそが、真のHackエンジニアリングの極致である。