【入門編】Hackにおける『Value Object』の設計パターン：型システムでドメインを表現する – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

こんにちは！Hack言語の世界へようこそ。フルスタックエンジニアの先輩として、今日は皆さんにHackの真髄、そして型システムを極限まで活かした「Value Object（値オブジェクト）」の設計パターンについてお話ししますね。

他の言語からHackに来た開発者の多くが、「PHPの延長」としてコードを書きがちです。しかし、厳格な静的型付け（Strict Mode）とHHVMの圧倒的な実行エンジンを誇るHackでは、型は単なる「エラーを防ぐための網」ではありません。「ドメイン（ビジネスの世界）のルールそのものをコンパイラに刻み込むための武器」なのです。

ここをクリアすれば、Hackの基本はバッチリマスターできますよ。さあ、一緒に深淵を覗いてみましょう！

—

なぜプリミティブへの依存は「悪」なのか？

私たちは開発の現場で、つい次のようなコードを書いてしまいがちです。

<<__Strict>>
namespace Hack\Excellence;

// ユーザーIDとメールアドレスを単なる string で管理する例
function send_email(string $userId, string $email): void {
// …
}

一見、何の問題もないように見えますよね。でも、ちょっと待ってください。
もし、うっかり引数の順番を間違えて `send_email($email, $userId)` と渡してしまったらどうなるでしょうか？型チェッカーは `string` は `string` なので、何も文句を言わずにスルーします。そして本番環境で盛大にバグが爆発するのです。

これが 「プリミティブ痴呆症（Primitive Obsession）」 と呼ばれるアンチパターンです。文字列や整数といったプリミティブ型で世界を表現すると、ドメインの文脈がすべて抜け落ちてしまいます。

Value Objectでドメインを型に閉じ込める

この問題を鮮やかに解決するのが Value Object（値オブジェクト） です。
「値」とは、識別子を持たず、その「値そのもの」に意味があるものです。例えば、「メールアドレス」や「金額」などがこれに該当します。

Hackの厳格な静的型システムを使って、メールアドレスを表現するValue Objectを実装してみましょう。

<<__Strict>>
namespace Hack\Excellence;

メールアドレスを表すValue Object

/
readonly class EmailAddress {
private string $value;

public function __construct(string $value) {
// コンストラクタでドメインの不変条件（バリデーション）を強制する
if (!\filter_var($value, \FILTER_VALIDATE_EMAIL)) {
throw new \InvalidArgumentException(\strmsprintf(“無効なメールアドレス形式です: %s”, $value));
}
$this->value = $value;
}

public function getValue(): string {
return $this->value;
}
}

ここで、Hackならではの強力な機能が光ります。
コンストラクタで不正な値を完全に弾き出すため、「このクラスのインスタンスが存在する＝それは確実に有効なメールアドレスである」という数学的な証明が成立します。これが型システムによるドメイン表現の本質です。

—

ユーザーIDを「型」で守る

もう一つの例として、「ユーザーID」もValue Objectにしてみましょう。文字列の `string` ではなく、専用の `UserId` 型を作ります。

<<__Strict>>
namespace Hack\Excellence;

ユーザーIDを表すValue Object

/
readonly class UserId {
public function __construct(private string $value) {
if (\strlen($value) === 0) {
$value = \bin2hex(\random_bytes(16)); // 空なら自動生成するロジックも可
}
}

public function toString(): string {
return $this->value;
}
}

先ほどの `send_email` 関数を、このValue Objectを使うように書き換えてみます。

<<__Strict>>
namespace Hack\Excellence;

function send_welcome_email(UserId $userId, EmailAddress $email): void {
// 引数の順序を間違えて渡そうものなら、型チェッカーが即座にビルドを失敗させる！
\printf(“Sending welcome email to %s (ID: %s)\n”, $email->getValue(), $userId->toString());
}

もしあなたがうっかり `send_welcome_email($email, $userId)` と逆順で呼び出そうとすると、HHVMの型チェッカー（`hh_client`）は容赦なく次のようなエラーを吐き出します。

Typing error:
10| send_welcome_email($email, $userId);
^^^^^^
Expected `Hack\Excellence\UserId`, but got `Hack\Excellence\EmailAddress`

最高ですよね？人間のうっかりミスを、コンパイルタイムに完全に根絶やしにできるのです。

—

陥りやすい文法エラーとHHVMの裏側

HackでValue Objectを設計する際、初心者がハマりがちなポイントと、HHVMのアーキテクチャに関する重要な知見をいくつかシェアしておきますね。

1. `readonly class` の活用

Hack（および近年のPHP）では、一度生成されたら中身を変更できない不変（Immutability）なオブジェクトを作るために `readonly class` を使うのが現代のベストプラクティスです。Value Objectは「値」なので、途中で状態が変わってはいけません。必ず `readonly` を付与して、意図しない状態変化を防ぎましょう。

2. パフォーマンスへの懸念？（心配無用です）

「オブジェクトをわざわざ生成すると、メモリや速度のオーバーヘッドが気になる……」と思いましたか？
ここで登場するのが、HHVM（HipHop Virtual Machine）の圧倒的な最適化能力です。HHVMはJIT（Just-In-Time）コンパイルを通じて、このような小さなラッパクラスのオーバーヘッドを劇的に削減します。型安全性の高コストを恐れる必要はありません。HHVMは私たちの味方です。

—

まとめ：型はドメインの言葉になる

今回は、Hackの厳格な静的型システムを用いたValue Objectの設計パターンについて解説しました。

プリミティブへの依存を断ち切る: `string` や `int` の代わりに、意味のある型（クラス）を定義する。
不変条件をコンストラクタに閉じ込める: 不正なデータがシステム内に絶対に存在できない構造を作る。
型チェッカーを最強の相棒にする: 人間のミスをコンパイルエラーで未然に防ぐ。

コードは、ただ動くだけではなく「語る」べきです。Hackの美しい型システムを使えば、あなたのコードベースはビジネスロジックの意図を雄弁に語り出すようになりますよ。

ここをマスターすれば、もうあなたは初級者の卒業生です。自信を持って、より堅牢なHackライフを楽しんでいきましょう！