aggregate-design

| 事前条件 (Precondition) | メソッド呼び出し前に満たすべき条件 | 呼び出し側 | | 事後条件 (Postcondition) | メソッド実行後に満たされる条件 | 実装側 | | 不変条件 (Invariant) | 常に満たすべき条件 | 実装側 |

詳細な言語別実装パターンは references/typescript.md、references/scala.md、references/rust.md、references/python.md を参照。

現代においては不変(Immutable)を推奨する。特に理由がなければ不変。 状態更新時は既存値を引き継ぎ、変更するフィールドだけを上書きする。 これにより、フィールド追加時の修正漏れを防ぎ、更新意図が明確になる。

DDD 집계 디자인 규칙을 기반으로 집계에 대한 코드 검토, 디자인 지원 및 리팩토링을 수행합니다. Evans Rules, Vernon의 4가지 규칙 및 Design by Contract에 따라 집계 경계 정의, 불변 유효성 검사, 불변 설계, ID 참조, 최종 일관성 및 도메인 이벤트 통합을 포괄적으로 안내합니다. 다음 중 하나라도 해당되면 항상 이 기술을 사용하십시오. - Aggregate(모든 언어)의 새로운 디자인, 구현 또는 리팩토링 - 기존 집계 또는 엔터티 클래스에 대한 DDD 중심 코드 검토 - 집계 경계 결정(“A와 B가 동일한 집계에 있어야 하는가?”, “이 집계가 너무 큰가?”) - 집합체 내의 불변성과 일관성 경계 설계 - 집합 간 협업 패턴 선택(도메인 이벤트, 최종 일관성, Saga 패턴) - 변경 가능한 집계 코드를 변경 불가능한 디자인으로 리팩터링 - 공개 필드, 직접 참조, 푸시/추가 등 캡슐화 위반 감지 및 수정 키워드 예: 집계, 집계, 집계 경계, 집계 루트, AggregateRoot, 엔터티 디자인, DDD 구현, Vernon 규칙, Evans 규칙, 집계 분할, 실제 불변성 출처: j5ik2o/okite-ai.