Enum Classの真実：Hackの型システムを「定数管理」から「状態管理」へ昇華させる
こんにちは。Hackの深淵へようこそ。
普段、PHPの`enum`や単純な定数管理に慣れ親しんでいる方にとって、Hackの`Enum Class`は最初、少し「堅苦しい」存在に見えるかもしれません。
しかし、HHVMの型チェッカー（Hack Compiler）を日々手なずけている我々から見れば、Enum Classは単なる値の箱ではありません。それは、「ありえない状態を物理的にコンパイル不可能なものにする」ための、極めて強力な武器なのです。
今日は、定数管理を超えた「型安全なステートマシン」の作り方について、その本質を紐解いていきましょう。
—
1. なぜ「ただのEnum」では足りないのか？
従来の言語にある列挙型は、値を束ねるだけです。しかし、我々が扱う現実世界のビジネスロジックは、常に「状態（State）」と「振る舞い（Behavior）」が密接に関係しています。
例えば、「注文の状態」を管理するとしましょう。
- `Created`（作成された）
- `Paid`（決済済み）
- `Shipped`（配送済み）
これらを単純な定数で持つと、`Shipped`なのに「決済処理メソッド」を呼べてしまうというバグが生まれます。これこそが、型システムが排除すべき「設計の不備」です。
—
2. Enum Classによるステートマシンの実装
Hackの`enum class`は、型情報とメソッドを同時に定義できます。これを利用して、状態遷移を型で縛り上げます。
<
// 状態を定義するEnum Class
enum class OrderStatus: mixed {
// 型情報とデフォルト値を持つ
string Created = “created”;
string Paid = “paid”;
string Shipped = “shipped”;
}
abstract class Order {
// 状態を保持
public function __construct(
private OrderStatus::T $status,
) {}
public function getStatus(): OrderStatus::T {
return $this->status;
}
}
// 決済済みの注文のみが持つ振る舞いを定義
class PaidOrder extends Order {
public function ship(): void {
// ここで配送処理を行う
}
}
このコードの「本質」
ここで重要なのは、`OrderStatus::T`という型注釈です。これは、`OrderStatus`に含まれるいずれかの値であることを保証します。万が一、未定義の状態を渡そうとすれば、HHVMの型チェッカーがビルドタイムに即座に悲鳴を上げます。実行時エラーを待つ必要はもうありません。
—
3. 陥りやすい罠：Enum Classと「型消去」の誤解
初心者がよくつまずくのが、「Enum Classのインスタンスをどうやって動的に扱うか」です。
特に、`HH\MemberOf
よくあるエラーパターン:
// ダメな例：型がぼやけてしまう
function process(mixed $status): void {
// HHVMはこれがどのEnum Classに属するか判断できず、
// 安全な遷移を保証できません。
}
解決策：`MemberOf`を使う
function process(HH\MemberOf
// これで、OrderStatusに属する値であることが型レベルで保証されます
}
ここをクリアすれば、あなたはもうHackの型システムの半分を掌握したと言っても過言ではありません。
—
4. ステートマシンの設計図（イメージ図）
脳内で以下のような「状態遷移図」をイメージしてください。
- `[Created]` –(pay)–> `[Paid]`
- `[Paid]` –(ship)–> `[Shipped]`
Hackの`enum class`を使えば、`[Created]`から直接`[Shipped]`へ遷移するコードを書こうとしても、型定義レベルで「そのメソッドは存在しない」と警告が出るような設計が可能です。
ステップアップのためのアドバイス
1. 状態ごとのクラスを作る: 状態遷移をメソッドとして各クラスに閉じ込めてください。
2. 不変性(Immutability)を保つ: 状態が変わる際は、新しいインスタンスを返すようにしましょう。Hackの型チェッカーは不変なオブジェクトと非常に相性が良いです。
—
最後に：型は「制約」ではなく「ガイド」
Hackの厳格なモード（Strict Mode）は、最初は窮屈に感じるかもしれません。しかし、大規模なシステムにおいて、「コンパイルが通る＝論理的な整合性が保証されている」という状態は、エンジニアにとって究極の安心感です。
「ここをクリアすれば、Hackの基本はバッチリマスターできますよ」。
Enum Classを使いこなし、堅牢なステートマシンを構築する体験は、あなたのエンジニアとしての視座を一段階引き上げてくれるはずです。
さあ、次はどんな複雑なロジックを型システムで解き明かしましょうか？質問があればいつでもどうぞ。Hackの世界は、深く、そして非常に知的ですから。