领域驱动战术：解密聚合（Aggregate）生命周期的状态跃迁与不变性（Invariant）保护

在开展领域驱动设计（DDD）的战术落地的过程中，**聚合（Aggregate）** 被定位为维护业务一致性（Consistency）的最小物理边界。每个聚合都拥有一个聚合根（Aggregate Root），聚合内部的状态变更必须统一由聚合根做大门入口。

然而，开发人员在实际编写代码时，常把聚合退化为简单的“数据模型映射器”，导致实体的状态跃迁逻辑散落在外部各种 Service 或辅助类中。

在这种状态暴露的设计下，系统极易因为多线程并发冲突或校验漏空，使得实体陷入非法的、不合规的业务状态，破坏了核心业务的**不变性约束（Invariants）**。

本文将系统拆解聚合的不变性保护机理、聚合生命周期的三种跃迁形态以及工程落地规范。

一、 什么是“不变性约束”（Invariants）

不变性约束代表了**业务规则中必须永远保持恒等、无条件成立的内在逻辑规则**。它是聚合设计的终极守护神：

二、 聚合生命周期状态跃迁的三种形态

在聚合的整个生命周期中，其状态的改变必须如同一台严格的状态机进行流转，严禁越级变动： [ 状态: 草稿 (Draft) ] ──1. 提交审核 (submit) ──> [ 状态: 待审批 (Pending) ] │ ┌──────────────┴──────────────┐ ▼ 2. 审批通过 ▼ 2. 审批拒绝 [ ACTIVE (已生效) ] [ REJECTED (已驳回) ] │ ▼ 3. 手工终止 (terminate) [ TERMINATED (已终止) ]

1. 构建生成状态：通过构造器或领域工厂注入必要初始参数。此阶段强制保障聚合一出生就是合规的。
2. 运行跃迁状态：状态的变化必须由聚合根的内部方法触发（如 submit()）。在此期间，聚合根先读取当前状态，执行不变性校验，通过后再修改属性并发布领域事件，防范乱序修改。
3. 归档销毁状态：聚合状态变为终态（如已完成、已注销），此状态下所有属性修改方法均被锁死，防止历史事实被二次篡改。

三、 代码实战：请假申请单聚合的不变性守卫

以下是一个严格符合 DDD 规范的“请假申请单（LeaveRequest）”聚合根的设计实现，展示如何进行状态跃迁守卫：

1. 请假状态枚举定义

public enum LeaveStatus {
    DRAFT, PENDING, APPROVED, REJECTED, TERMINATED
}

2. 聚合根实现（封装与不变性判定）

package com.company.domain.aggregate;

import java.time.LocalDate;
import java.util.Objects;

/**
 * 请假申请单：聚合根，强制捍卫业务不变性
 */
public class LeaveRequest {
    private final String requestId;
    private final String applicantId;
    private int leaveDays;
    private LeaveStatus status;

    public LeaveRequest(String requestId, String applicantId, int leaveDays) {
        if (leaveDays <= 0) {
            throw new IllegalArgumentException("请假天数必须大于零！");
        }
        this.requestId = Objects.requireNonNull(requestId);
        this.applicantId = Objects.requireNonNull(applicantId);
        this.leaveDays = leaveDays;
        this.status = LeaveStatus.DRAFT; // 初始状态为草稿
    }

    /**
     * 业务行为：提交审批（执行不变性约束拦截）
     */
    public void submitForApproval() {
        // 守卫规则 1：状态转移合法性校验（只能从草稿提交）
        if (this.status != LeaveStatus.DRAFT) {
            throw new IllegalStateException("只有草稿状态的申请单才能提交审批！");
        }
        
        // 守卫规则 2：不变性校验（事假天数上限约束）
        if (this.leaveDays > 15) {
            throw new IllegalArgumentException("单次请假天数不能超过15天！");
        }
        
        this.status = LeaveStatus.PENDING; // 成功跃迁为审批中
    }

    public String getRequestId() { return requestId; }
    public LeaveStatus getStatus() { return status; }
}

四、 总结

聚合设计的最核心法则，莫过于对其内部不变性约束（Invariants）的主动防御。

它通过**坚决否定外部直接 setter 的修改通道，将全部状态转移逻辑集中到聚合根的方法实体中，实现了对实体状态机的物理闭环控制**；并**以严格的规则前置断言（Guards）阻断了非法数据落盘**。掌握这套状态跃迁与不变性防守战术，是解决复杂系统数据逻辑混乱、构建健壮微服务控制层的核心看家本领！