こんにちは。Hackの深淵へようこそ。
HHVMのエンジンの鼓動を感じながら、堅牢なシステムを構築する喜びを共有できることを嬉しく思います。
今回は、Hackの真骨頂である「Shape型」と「Enum」を組み合わせたドメインモデリングについて、その本質を解き明かしていきましょう。ただのデータ構造の定義ではありません。これは、実行時のエラーをコンパイル時に葬り去るための「最強の防壁」を築く作業です。
—
1. なぜ「連想配列」のままではいけないのか？
PHP時代からの癖で、ついやりがちなのがこれですよね。
// 危険な香りが漂うコード
function processUser(dict
echo $user[‘name’]; // キーが存在するか、型が正しいか保証がない！
}
このコードの問題点は、「型の安全性がランタイム（実行時）の運任せ」であること。`name`キーがなかったら？値が文字列でなかったら？その瞬間にアプリケーションはクラッシュします。
HackのStrict Mode（`<<__Strict>>`）は、そんな危うい橋を渡ることを許しません。
—
2. Shape型で「データ構造」を固定する
Shape型は、連想配列に「厳格な形」を与える魔法です。キーの名前と、その中身の型を最初から決めてしまいます。
type UserProfile = shape(
‘id’ => int,
‘name’ => string,
‘role’ => UserRole, // ここにEnumを組み合わせる
);
こう定義することで、型チェッカーは「`id`には必ず整数が入っているか？」「`name`は定義されているか？」を、コードを実行する前にすべて見抜いてくれます。
—
3. Enumで「ドメインの境界」を定義する
次に、`role`のような「有限の選択肢」には、文字列を直書きせず `enum` を使いましょう。
enum UserRole: string {
ADMIN = ‘admin’;
EDITOR = ‘editor’;
GUEST = ‘guest’;
}
Enumを使う最大のメリットは、「想定外の値が入り込む余地を物理的に消せること」です。もし誰かがタイプミスで `’admn’` と書こうとしても、型チェッカーが「その値は `UserRole` じゃないよ」と即座に弾いてくれます。
—
4. 最適解：Shape × Enum で堅牢なモデルを作る
では、これらを組み合わせて、実務レベルの堅牢なデータ処理を書いてみましょう。
<<__Strict>>
enum UserRole: string {
ADMIN = ‘admin’;
EDITOR = ‘editor’;
GUEST = ‘guest’;
}
type UserShape = shape(
‘id’ => int,
‘name’ => string,
‘role’ => UserRole,
);
function printUserGreeting(UserShape $user): void {
// ここでは $user[‘role’] は確実に UserRole enum のどれかであると保証される
switch ($user[‘role’]) {
case UserRole::ADMIN:
echo “ようこそ、管理者 {$user[‘name’]} さん。”;
break;
case UserRole::EDITOR:
echo “記事の編集をお願いします、{$user[‘name’]} さん。”;
break;
default:
echo “こんにちは、{$user[‘name’]} さん。”;
}
}
この設計のここが凄い！
1. 補完が効く: `$user[‘` と打てば、IDEが定義したキーを完璧に提案してくれます。
2. 網羅性の担保: `switch` 文で Enum を扱う際、すべてのケースを網羅していないと、HHVMが警告を出してくれます。
3. リファクタリングが恐くない: キー名を変更した瞬間、プロジェクト全体で型エラーが発生するため、修正漏れが起きません。
—
5. 初学者が陥りやすい罠
最後に、よくある「つまずきポイント」を挙げておきます。
- 「キーの欠落」エラー: `shape` 定義に含まれないキーを渡そうとしたり、逆に必須キーを渡さなかったりするとコンパイルエラーになります。これは「バグを未然に防いでいる」という証拠です。
- Optionalなキー: もし「メールアドレスがあってもなくてもいい」という場合は、`?` を使います。
type UserShape = shape(
‘name’ => string,
?’email’ => string, // キーが存在しなくてもOK
);
- HHVMの型チェッカーを信じる: 「とりあえず動かしてデバッグ」ではなく「型エラーをゼロにしてから実行」というサイクルに慣れてください。型が通れば、バグの9割は死滅しています。
—
最後に：Hackを掌握するということ
Hackの厳格な型システムは、あなたを縛り付ける鎖ではありません。「コードが意図した通りにしか動かないことを保証してくれる強力な味方」です。
ShapeとEnumを使いこなすだけで、あなたの書くコードは驚くほど堅牢になり、未来の自分やチームメンバーが「このデータは一体何が入っているんだ？」と悩む時間をゼロにできます。
ここをクリアしたあなたは、もうHackの基本をしっかりとマスターしています。自信を持って、より複雑で大規模なドメインモデリングに挑戦してください。HHVMのエンジンは、あなたの書いた洗練されたコードを待っていますよ！