3. 领域驱动设计基础：领域、子域、限界上下文的概念、实体与值对象的区别、聚合与聚合根的设计原则

在构建 Go 对象存储接口时，领域驱动设计（DDD）提供了一套强大的战略与战术工具，帮助我们准确划分业务边界、管理复杂性。本章将系统梳理 DDD 的核心概念，为后续将对象存储的“上传”、“下载”、“分片”、“元数据管理”等行为映射为清晰的领域模型奠定基础。

3.1 领域、子域与限界上下文

DDD 的战略设计围绕三个核心概念展开：领域（Domain）、子域（Subdomain）和限界上下文（Bounded Context）。它们是划分系统边界、组织团队和代码模块的基石。

  • 领域：公司或组织所从事的业务范围。例如，对于云存储服务商，其领域就是“对象存储服务”。
  • 子域：对领域的进一步细分，用于区分业务的核心、支撑或通用部分。
    • 核心子域：最具竞争优势的部分，如“数据一致性算法”或“智能分层存储”。
    • 支撑子域：支持核心业务但非核心竞争力的部分，如“用户权限管理”。
    • 通用子域：业界通用的解决方案，如“身份认证”或“日志记录”。
  • 限界上下文：模型的边界。每个限界上下文内部有统一的语言（Ubiquitous Language）和独立的模型实现。不同的上下文对同一个概念可能有不同的定义。
实践提示：在 Go 项目中，一个限界上下文通常对应一个独立的 package 或微服务。例如，internal/storage/upload 和 internal/storage/metadata 就是两个不同的限界上下文。
领域、子域与限界上下文关系图 领域、子域与限界上下文关系 领域：对象存储服务 核心子域 数据一致性 智能分层存储 支撑子域 用户权限管理 计费与配额 通用子域 身份认证 日志记录 上传上下文 元数据上下文 权限上下文 每个限界上下文拥有独立的模型和通用语言，通过上下文映射（Context Map）进行集成

3.2 实体与值对象的区别

在战术建模中，实体（Entity）和值对象（Value Object）是构成领域模型的基本元素。理解它们的区别对于设计正确的 Go 结构体至关重要。

特性 实体（Entity） 值对象（Value Object）
标识 拥有唯一标识（ID），标识在生命周期内不变 没有标识，由属性值定义相等性
可变性 通常是可变的（Mutable），状态随时间变化 通常是不可变的（Immutable），创建后不应修改
相等性 通过 ID 判断相等 通过所有属性值判断相等
生命周期 有独立生命周期，可被追踪 无独立生命周期，可被自由替换
Go 实现示例 type Object struct { ID string; Name string; Size int64 } type Coordinate struct { Lat, Lng float64 }
关键原则：优先使用值对象描述概念，只有当概念需要唯一标识和生命周期追踪时才使用实体。在 Go 中，值对象通常不暴露指针接收器方法，以避免意外修改。

3.3 聚合与聚合根的设计原则

聚合（Aggregate）是一组相关对象的集合，被视为数据修改的原子单元。聚合根（Aggregate Root）是聚合中唯一允许外部引用的实体。外部对象只能通过聚合根的方法来修改聚合内部的状态。

设计聚合时，应遵循以下原则：

  1. 一致性边界：聚合保证内部数据在事务上的一致性。一个事务只应修改一个聚合。
  2. 小聚合原则：聚合应尽量小，只包含必须保持一致的属性。过大的聚合会导致性能问题和并发冲突。
  3. 通过 ID 引用：聚合之间通过 ID 引用，而不是直接持有对象引用。这有助于解耦和实现最终一致性。
  4. 聚合根负责全局一致性：聚合根是访问聚合的唯一入口，所有业务规则和不变条件都在聚合根的方法中实施。
聚合与聚合根设计示例 聚合与聚合根设计示例：对象存储中的“分片上传”聚合 聚合边界：MultipartUpload 聚合根：UploadSession ID: session_id | 状态: in_progress 实体：Part part_number, etag 值对象：UploadOptions storage_class, checksum 外部：ObjectID 外部只能通过 UploadSession 聚合根的方法（如 AddPart、Complete）修改聚合状态

3.4 在 Go 中实现聚合根

以下是一个 Go 语言实现的聚合根示例，展示了如何封装业务逻辑并保证一致性：

// UploadSession 是分片上传的聚合根
type UploadSession struct {
    ID        string
    objectID  string
    status    UploadStatus
    parts     []Part
    options   UploadOptions
}

// AddPart 是聚合根的方法，封装了添加分片的业务规则
func (s *UploadSession) AddPart(partNumber int, etag string) error {
    if s.status != InProgress {
        return ErrUploadNotInProgress
    }
    if partNumber < 1 || partNumber > MaxParts {
        return ErrInvalidPartNumber
    }
    // 替换或追加分片
    for i, p := range s.parts {
        if p.PartNumber == partNumber {
            s.parts[i] = Part{PartNumber: partNumber, ETag: etag}
            return nil
        }
    }
    s.parts = append(s.parts, Part{PartNumber: partNumber, ETag: etag})
    return nil
}

// Complete 完成上传，检查所有分片是否齐全
func (s *UploadSession) Complete() error {
    if s.status != InProgress {
        return ErrUploadNotInProgress
    }
    if len(s.parts) == 0 {
        return ErrNoParts
    }
    s.status = Completed
    return nil
}
常见陷阱：不要将聚合根设计为贫血模型（仅包含 getter/setter）。聚合根应包含业务行为方法，如 AddPart、Complete，而不是暴露 SetStatus 让外部直接修改状态。

3.5 本章小结

领域驱动设计为 Go 对象存储接口提供了清晰的建模指导：

  • 通过限界上下文划分微服务或包边界，确保模型内聚。
  • 区分实体与值对象，合理选择 Go 结构体的设计模式。
  • 使用聚合根封装业务规则，保证数据一致性和事务边界。
← 上一章 📖 返回目录 下一章 →