Claude Codeで値オブジェクトを設計する:不変性・等値性・ドメイン表現の型安全化
はじめに 「金額をnumberで扱っていて通貨単位の混在バグが起きた」「メールアドレスをstringで渡し続けていてバリデーションが散らばった」——値オブジェクトでドメイン概念を型として表現し、不正な値が作れない設計をClaude Codeに生成させる。 CLAUDE.mdに値オブジェクト設計ルールを書く ## 値オブジェクト設計ルール ### 特性 - 不変(Immutable): 作成後...

Source: DEV Community
はじめに 「金額をnumberで扱っていて通貨単位の混在バグが起きた」「メールアドレスをstringで渡し続けていてバリデーションが散らばった」——値オブジェクトでドメイン概念を型として表現し、不正な値が作れない設計をClaude Codeに生成させる。 CLAUDE.mdに値オブジェクト設計ルールを書く ## 値オブジェクト設計ルール ### 特性 - 不変(Immutable): 作成後に変更不可(全フィールドreadonly) - 等値性: IDではなく値で等しいかを判定(equals()メソッド) - 自己検証: コンストラクタでバリデーション(無効な値は作れない) ### 設計 - プリミティブ型(string/number)の代わりに使用 - privateコンストラクタ + static create()でファクトリーメソッド - toValue()でプリミティブに変換(DBへの保存など) ### 適用対象 - 金額・通貨・価格 - メールアドレス・URLなどの文字列 - 住所・座標などの複合値 - 数量・サイズ(単位付き数値) 値オブジェクト実装の生成 値オブジェクトを設計してください。 要件: - 不変・等値性・自己検証 - Moneyクラス(金額+通貨) - EmailAddress - URL - Quantity(単位付き数値) 生成ファイル: src/domain/valueObjects/ 生成される値オブジェクト実装 // src/domain/valueObjects/money.ts — 金額値オブジェクト export type Currency = 'JPY' | 'USD' | 'EUR' | 'GBP'; export class Money { private constructor( private readonly _amount: number, // 最小単位(円/セント) private readonly _currency: Currency ) {} static of(amount: number, currency: Currency): Money { if (!Number.isInteger(amount)) { throw new DomainError(`Money amount must be