애그리거트 루트

개요

주문(Order) 안에 주문 항목(OrderLine)이 있습니다. 외부 코드에서 OrderLine을 직접 삭제하면 어떻게 될까요? 주문 총액은 그대로인데 항목은 사라지고, 데이터 일관성이 깨집니다.

Aggregate Root는 관련된 Entity와 Value Object의 일관성 경계(Consistency Boundary)를 정의하는 루트 Entity입니다. 외부에서는 반드시 Aggregate Root를 통해서만 내부 상태를 변경할 수 있으며, Aggregate Root가 비즈니스 불변 규칙(Invariant)을 보호합니다. 이 장에서는 주문(Order) Aggregate를 통해 상태 전이와 불변 규칙 보호를 실습합니다.

학습 목표

이 장을 완료하면 다음을 할 수 있습니다:

AggregateRoot<TId>가 Entity<TId>를 확장하여 도메인 이벤트 관리와 일관성 보호를 제공하는 방식을 설명할 수 있습니다
상태 전이 시 허용되지 않는 전이를 Fin<Unit>으로 거부하는 패턴을 구현할 수 있습니다
enum 기반 상태와 메서드 기반 전이로 안전한 상태 머신을 설계할 수 있습니다

실습을 통해 확인할 내용

Order: Pending -> Confirmed -> Shipped -> Delivered 상태 전이
Fin: 성공/실패를 표현하는 함수형 결과 타입

핵심 개념

왜 필요한가?

Aggregate 내부 Entity를 외부에서 직접 수정하면 비즈니스 규칙이 무너집니다. Aggregate Root가 유일한 진입점 역할을 하면 이 문제를 방지할 수 있습니다.

         외부
           │
           ▼
    ┌─ Aggregate Root ─┐
    │   (Order)         │
    │    ├─ OrderItem   │   ← 내부 Entity
    │    └─ ShippingInfo│   ← Value Object
    └───────────────────┘

Aggregate Root가 보장하는 세 가지 책임을 살펴보세요:

일관성 경계: Aggregate 내부의 모든 변경은 하나의 트랜잭션으로 처리
불변 규칙 보호: 잘못된 상태 전이를 거부
진입점: 외부에서는 Aggregate Root의 메서드만 호출

Fin을 활용한 상태 전이

상태 전이가 실패할 수 있으므로 Fin<Unit>을 반환합니다. 예외를 던지는 대신, 호출자가 성공과 실패를 명시적으로 처리하게 만드는 방식입니다.

public Fin<Unit> Confirm()
{
    if (Status != OrderStatus.Pending)
        return Error.New($"Pending 상태에서만 확인할 수 있습니다. 현재 상태: {Status}");

    Status = OrderStatus.Confirmed;
    return unit;
}

호출자는 Match로 성공/실패를 분기합니다:

var result = order.Confirm();
result.Match(
    Succ: _ => Console.WriteLine("확인 성공"),
    Fail: err => Console.WriteLine($"실패: {err.Message}"));

잘못된 상태 전이가 예외가 아니라 값으로 표현되므로, 호출자가 실패를 무시할 수 없습니다.

프로젝트 설명

프로젝트 구조

AggregateRoot/
├── Program.cs               # 상태 전이 데모
├── OrderId.cs               # 주문 ID
├── OrderStatus.cs           # 주문 상태 enum
├── Order.cs                 # 주문 Aggregate Root
└── AggregateRoot.csproj

AggregateRoot.Tests.Unit/
├── OrderTests.cs            # 상태 전이 성공/실패 테스트
├── Using.cs
├── xunit.runner.json
└── AggregateRoot.Tests.Unit.csproj

핵심 코드

OrderStatus.cs

주문의 생명주기를 enum으로 정의합니다. 각 상태 간 전이 규칙은 Order 클래스에서 메서드로 보호합니다.

public enum OrderStatus
{
    Pending,
    Confirmed,
    Shipped,
    Delivered,
    Cancelled
}

Order.cs

AggregateRoot<OrderId>를 상속하여 일관성 경계를 형성합니다. 각 상태 전이 메서드가 현재 상태를 검증하고, 유효하지 않으면 Error를 반환하는 패턴에 주목하세요.

public sealed class Order : AggregateRoot<OrderId>
{
    public string CustomerName { get; private set; }
    public decimal TotalAmount { get; private set; }
    public OrderStatus Status { get; private set; }

    private Order(OrderId id, string customerName, decimal totalAmount)
    {
        Id = id;
        CustomerName = customerName;
        TotalAmount = totalAmount;
        Status = OrderStatus.Pending;
    }

    public static Order Create(string customerName, decimal totalAmount)
    {
        return new Order(OrderId.New(), customerName, totalAmount);
    }

    public Fin<Unit> Confirm()
    {
        if (Status != OrderStatus.Pending)
            return Error.New($"Pending 상태에서만 확인할 수 있습니다. 현재 상태: {Status}");

        Status = OrderStatus.Confirmed;
        return unit;
    }

    // Ship(), Deliver(), Cancel() 동일한 패턴...
}

생성자가 private이므로 외부에서는 Create() 팩토리 메서드만 사용할 수 있고, 상태 변경은 반드시 Confirm(), Ship() 같은 명시적 메서드를 거쳐야 합니다.

한눈에 보는 정리

주문 상태 전이 규칙

어떤 상태에서 어떤 전이가 허용되는지 한눈에 확인하세요.

현재 상태	Confirm	Ship	Deliver	Cancel
Pending	O	X	X	O
Confirmed	X	O	X	O
Shipped	X	X	O	O
Delivered	X	X	X	X
Cancelled	X	X	X	X

Entity vs AggregateRoot

AggregateRoot<TId>는 Entity<TId>를 확장합니다. 아래 표에서 추가된 책임을 확인하세요.

구분	Entity	AggregateRoot
ID 기반 동등성	O	O (상속)
도메인 이벤트	X	O
일관성 경계	X	O
Repository 대상	X	O

FAQ

Q1: 왜 상태 전이에서 예외 대신 Fin을 사용하나요?

A: 잘못된 상태 전이는 프로그래밍 오류가 아닌 비즈니스 규칙 위반입니다. 예외는 예상치 못한 상황에 사용하고, 예상 가능한 실패는 Fin<T>으로 명시적으로 반환합니다. 이렇게 하면 호출자가 실패를 처리하지 않으면 컴파일 경고가 발생합니다.

Q2: AggregateRoot 내부의 다른 Entity는 어떻게 관리하나요?

A: Aggregate Root가 내부 Entity 컬렉션을 private으로 관리하고, 외부에서는 Aggregate Root의 메서드를 통해서만 변경합니다. 예: order.AddItem(product, quantity). 이 장에서는 상태 전이에 집중하고, 내부 Entity 관리는 Part 5에서 다룹니다.

Q3: Cancel은 왜 여러 상태에서 허용되나요?

A: 주문 취소는 배달 완료 전까지는 언제든 가능한 비즈니스 규칙입니다. Pending, Confirmed, Shipped 상태에서 모두 취소할 수 있지만, Delivered와 Cancelled 상태에서는 불가합니다.

Aggregate Root로 일관성 경계를 보호하는 방법을 배웠습니다. 그런데 주문이 확인되면 결제 시스템과 재고 시스템에 어떻게 알릴까요? Aggregate가 직접 호출하면 강한 결합이 생깁니다. 다음 장에서는 도메인 이벤트를 통해 시스템 간 느슨한 결합을 만드는 방법을 살펴봅니다.

→ 3장: 도메인 이벤트