こんにちは！Hackの世界へようこそ。HHVM（HH Virtual Machine）とHackの静的型システムをこよなく愛するチーフアーキテクトです。
PHPの親しみやすさを引き継ぎながら、Facebook（Meta）の超巨大なコードベースをミリ秒単位でさばくために進化を遂げた言語、それがHackです。
他の言語からHackに触れた皆さんは、その「厳格すぎる型チェック」に最初は驚くかもしれません。しかし、型チェッカー（`hh_client`）と仲良くなると、これほど心強い味方はいないことに気づくはずです。
今回は、Hackの機能の中でも特に美しく強力な「Enum Class（列挙型クラス）」と、それを用いた「パターンマッチング（網羅性チェック）」について解説します。
「バグを出す方が難しい」と言えるほどの堅牢な状態遷移（ステート）管理を、HHVMの裏側の仕組みも少しだけ覗き見しながら、優しく、かつ深く学んでいきましょう。ここをクリアすれば、Hackの基本はバッチリマスターできますよ！
—
1. なぜ従来のEnumでは足りないのか？ 「Enum Class」の誕生理由
まずは、イメージしやすいように、私たちがよく作る「ECサイトの注文ステータス（State）」を考えてみましょう。
通常の言語の `enum` は、基本的には「整数（int）」や「文字列（string）」の集まりですよね。
// 従来のシンプルなEnum（Hackでも使えますが、値はintやstringのみ）
enum OrderStatus: string {
PENDING = ‘pending’;
SHIPPED = ‘shipped’;
DELIVERED = ‘delivered’;
}
これはシンプルで良いのですが、「それぞれのステータスに、もっと豊かな情報（型情報や振る舞い）を持たせたい！」と思ったらどうするでしょうか？
例えば、`SHIPPED（発送済み）` のときだけ「配送追跡コード（TrackingCode型）」のデータを持たせたい、といったケースです。従来のEnumでは、ただの文字列なのでこうした「型セーフなメタデータ」を紐付けることができません。
そこで登場するのが、Hackが誇る最強の言語機能「Enum Class」です！
Enum Classのイメージ図
Enum Classは、単なる値のリストではありません。「厳格に型付けされたオブジェクトやインスタンスを安全に格納する、最強のコンテナ」です。
[ Enum Class: OrderState ]
├── 🔹 PENDING => 保持する型: PendingState (未決済、期限情報など)
├── 🔹 SHIPPED => 保持する型: ShippedState (追跡番号、配送業者など)
└── 🔹 DELIVERED => 保持する型: DeliveredState (受取日時など)
HHVMの内部では、これらのメンバーは実行時に高度に最適化され、メモリ空間上ではシングルトンのように効率的に管理されます。余計なオブジェクト生成のオーバーヘッド（メモリ消費）はほぼゼロです。美しいですよね。
—
2. 実際に書いてみよう！ Enum Classの基本文法
それでは、実際にコードを書いてみましょう。
今回は、注文のステータスを表す3つの状態（`Pending`、`Shipped`、`Delivered`）を、それぞれ専用のクラスとして定義し、それをEnum Classで束ねてみます。
<<__ConsistentConstruct>>
abstract class State {
public function __construct(public string $description) {}
}
// 1. 各状態を表す具体的なクラスたち
final class PendingState extends State {}
final class ShippedState extends State {
public function __construct(
string $description,
public string $trackingNumber // 発送済みだけが持つ特別なデータ！
) {
parent::__construct($description);
}
}
final class DeliveredState extends State {}
// 2. これらを束ねる「Enum Class」の定義
enum class OrderStatusLimit: State {
// ラベル名: 保持する型 = インスタンス化;
Pending PendingState = new PendingState(‘お支払いを待っています’);
Shipped ShippedState = new ShippedState(‘商品を発送しました’, ‘TRK-12345’);
Delivered DeliveredState = new DeliveredState(‘商品が到着しました’);
}
コードのポイント
- `enum class OrderStatusLimit: State` の部分で、「このEnum Classは、`State` クラス（またはそのサブクラス）のインスタンスしか持てませんよ」と型チェッカーに宣言しています。
- 各メンバー（`Pending`, `Shipped` など）は、それぞれ異なる具体的な型（`PendingState`, `ShippedState`）を持っています。これが、従来のEnumには絶対に真似できない強力なポイントです！
—
3. 型チェッカーが完全保証する「網羅性（Exhaustiveness）チェック」
ここからが、Hackの真骨頂です。
これらの状態を元に、処理を分岐させる `switch` 文を書いてみましょう。
Hackの型チェッカー（`hh_client`）は非常に賢く、「Enum Classのすべてのメンバーが、`switch` 文の中で漏れなく処理されているか」をコンパイル前に静的に解析してくれます。これを「網羅性チェック」と呼びます。
まずは、正しい実装例を見てみましょう。
// 状態に応じたメッセージを返す関数
function getStatusMessage
HH\MemberOf
): string {
// $status の中身に応じて処理を分岐します
switch ($status) {
case OrderStatusLimit::Pending:
// ここでは $status が PendingState であることが型システム上保証されます
return “【保留中】: “.$status->description;
case OrderStatusLimit::Shipped:
// ここでは $status が ShippedState にキャストなしで安全にスマートキャストされます！
// なので、ShippedState特有のプロパティ $trackingNumber に直接アクセスできます。
return “【発送済】: “.$status->description.” (追跡番号: “.$status->trackingNumber.”)”;
case OrderStatusLimit::Delivered:
return “【到着済】: “.$status->description;
}
}
HHVMと型チェッカーの裏側で起きていること
あなたが `hh` コマンドを実行した瞬間、あるいはIDEでコードを書いている最中、Hackの型チェッカーは以下の図のようなプロセスでコードを検証しています。
[ソースコードの解析]
│
▼
[抽象構文木 (AST) の構築]
│
▼
[OrderStatusLimit のメンバーを抽出] -> { Pending, Shipped, Delivered }
│
▼
[switch 文の case 節を走査] ——-> { Pending, Shipped, Delivered }
│
├── すべて一致！ => ✅ パス (コンパイル成功)
└── 1つでも漏れがある場合 => ❌ 型エラー (ビルドをブロック)
この静的解析の実行速度は、HHVM開発チームが誇る高度なインクリメンタル型追論アルゴリズムにより、数百万行のコードベースであっても一瞬（ミリ秒単位）で完了します。
—
4. 陥りやすい罠：ケースを1つ忘れるとどうなる？
もし、私たちがうっかり `Delivered（到着済）` の処理を書き忘れてしまったらどうなるでしょうか？
// ⚠️ バグを含んだコード（Delivered の case がない！）
function getStatusMessageIncomplete
HH\MemberOf
): string {
switch ($status) {
case OrderStatusLimit::Pending:
return “【保留中】: “.$status->description;
case OrderStatusLimit::Shipped:
return “【発送済】: “.$status->description;
// Delivered が抜けている！
}
}
このコードを保存すると、Hackの型チェッカーは容赦なく（しかし親切に）エラーを教えてくれます。
Error: This `switch` statement does not cover all cases for the enum class OrderStatusLimit.
Missing case: Delivered
「`Delivered` のケースが抜けていますよ！」と、ピンポイントで怒ってくれるのです。
他の言語にありがちな、「新しくステータスを追加したけれど、対応する switch 文を修正し忘れていて、本番環境でバグ（値が素通りして null が返るなど）が発生した」という悲劇を、Hackでは100%未然に防ぐことができます。
—
5. 初学者がやってしまいがちな「2つのNGパターン」
HackのEnum Classを使いこなす上で、誰もが一度は引っかかる罠を紹介します。これさえ覚えておけば、もう迷うことはありません！
罠①：安易に `default:` ケースを書いてしまう
「網羅性チェックが面倒だから、とりあえず `default` を書いておこう」というのは、絶対にNGです。
switch ($status) {
case OrderStatusLimit::Pending:
return “保留中”;
default:
// ⚠️ これを書いてしまうと、将来新しいステータス（例：CANCELED）が
// 追加されたときに、型チェッカーが「考慮漏れ」を検知できなくなります！
return “その他”;
}
`default` を書いた瞬間、型チェッカーは網羅性の検証を諦めてしまいます。将来の拡張性を保つためにも、`switch` 文には `default` を書かず、すべてのケースを明示的に並べる癖をつけましょうね。
罠②：`HH\MemberOf` の型指定を間違える
Enum Classの値を関数の引数として受け取る際は、通常の型指定ではなく、`HH\MemberOf<エナムクラス名, 保持する型>` という特殊なジェネリクス型を使用します。
// ❌ 誤り：OrderStatusLimit を直接型指定することはできません
function process(OrderStatusLimit $status) {}
// ✅ 正しい：MemberOf を使用します
function process(HH\MemberOf
「Enum Classのメンバー（Member）を運んできているんだな」とイメージすると、すんなり理解できると思います。
—
まとめ：Hackの美しさを体感しよう
お疲れ様でした！今回の内容を簡単におさらいしましょう。
1. Enum Class は、型安全なオブジェクトを保持できる強力なコンテナ。
2. 網羅性チェック によって、`switch` 文での考慮漏れを型チェッカーがコンパイル前に100%検知してくれる。
3. スマートキャスト のおかげで、`switch` の各ケース内では、具体的なクラスのプロパティ（`trackingNumber` など）に安全にアクセスできる。
この仕組みを一度体験すると、「型のない世界にはもう戻れない…！」と感じるはずです。それこそが、Hackが追求している「開発者の高い生産性」と「システムの圧倒的な堅牢性」の両立なのです。
ここをマスターしたあなたなら、もうHackの高度な型システムの一歩を踏み出しています。自信を持って、どんどんコードを書いてみてくださいね。
疑問に思ったことや、HHVMの深掘りしたい部分があれば、いつでも先輩エンジニアである私に聞いてください。ハッピーハッキング！