由于软件系统中可能有着不同的数据库，不同的ORM，仓储思想的本质是解耦它们。在ABP中具体的实现仓储接口定义在领域层，实现在基础设施层。仓储接口被领域层(比如领域服务)和应用层用来访问数据库，操作聚合根，聚合根就是业务单元。这篇文章主要分析怎么通过规约将业务逻辑从仓储实现中剥离出来，从而让仓储专注于数据处理。
一.业务需求
还是以Issue聚合根为例，假如有个业务规则是：判断是否是未激活的Issue，条件是打开状态、未分配给任何人、创建超过30天、最近30天没有评论。Issue聚合根如下：
二.在仓储中实现业务逻辑
该业务规则在基础设施层中实现如下：
namespace IssueTracking.Issues { public class EfCoreIssueRepository : EfCoreRepository<IssueTrackingDbContext, IssueTracking, Guid>, IIssueRepository { // 构造函数 public EfCoreIssueRepository(IDbContextProvider<IssueTrackingDbContext> dbContextProvider) : base(dbContextProvider) { } // 判断是否是未激活的Issue public async Task<List<Issue>> GetInActiveIssuesAsync() { var daysAgo30 = DateTime.Now.Subtract(TimeSpan.FromDays(30)); var dbSet = await GetDbSetAsync(); return await dbSet.Where(i => // 打开状态 !i.IsClosed && // 无分配人 i.AssignedUserId == null && // 创建时间在30天前 i.CreationTime < daysAgo30 && // 没有评论或最后一次评论在30天前 (i.LastCommentTime == null || i.LastCommentTime < daysAgo30) ).toListAsync(); } } } 根据DDD中仓储的实践原则，肯定是不能将业务逻辑放在仓储实现中的，接下来使用规约的方式来解决这个问题。
三.使用规约实现业务逻辑
规约就是一种约定，规范来讲：规约是一个命名的、可重用的、可组合的和可测试的类，用于根据业务规则来过滤领域对象。通过ABP中的Specification
namespace IssueTracking.Issues { public class InActiveIssueSpecification : Specification<Issue> { public override Expression<Func<Issue, bool>> ToExpression() { var daysAgo30 = DateTime.Now.Subtract(TimeSpan.FromDays(30)); return i => // 打开状态 !i.IsClosed && // 无分配人 i.AssignedUserId == null && // 创建时间在30天前 i.CreationTime < daysAgo30 && // 没有评论或最后一次评论在30天前 (i.LastCommentTime == null || i.LastCommentTime < daysAgo30) } } } 接下来讲解在Issue实体和EfCoreIssueRepository类中如何使用InActiveIssueSpecification规约。
四.在实体中使用规约
规约是根据业务规则来过滤领域对象，Issue聚合根中的IsInActive()方法实现如下：
public class Issue : AggregateRoot<Guid>, IHasCreationTime { public bool IsClosed { get; private set; } public Guid? AssignedUserId { get; private set; } public DateTime CreateTime { get; private set; } public DateTime? LastCommentTime { get; private set; } // 判断Issue是否未激活 public bool IsInActive() { return new InActiveIssueSpecification().IsSatisfiedBy(this); } } 创建一个InActiveIssueSpecification实例，使用它的IsSatisfiedBy()来进行规约验证。
五.在仓储中使用规约
领域层中的(自定义)仓储接口如下，GetIssuesAsync()接收一个规约对象参数：
public interface IIssueRepository : IRepository<Issue, Guid> { Task<List<Issue> GetIssuesAsync(ISpecification<Issue> spec); } 基础设施层中的(自定义)仓储实现如下：
public class EfCoreIssueRepository: EfCoreRepository<IssueTrackingDbContext, EfCoreIssueRepository, Guid>, IIssueRepository { // 构造函数 public EfCoreIssueRepository(IDbContextProvider<IssueTrackingDbContext> dbContextProvider) : base(dbContextProvider) { } public async Task<List<Issue>> GetIssuesAsync(ISpecification<Issue> spec) { var dbSet = await GetDbSetAsync(); // 通过表达式实现Issue实体过滤 return await dbSet.Where(spec.ToExpression()).ToListAsync(); } } } 应用层使用规约如下，本质上就是新建一个规约实例，然后作为GetIssuesAsync()的参数：
public class IssueAppService : ApplicationService, IIssueAppService { private readonly IIssueRepository _issueRepository; // 构造函数 public IssueAppService(IIssueRepository issueRepository) { _issueRepository = issueRepository; } public async Task DoItAsync() { // 在应用层通过仓储使用规约来过滤实体 var issues = await _issueRepository.GetIssuesAsync(new InActiveIssueSpecification()); } } 六.在应用层中通过默认仓储来使用规约
上面是在应用层中通过自定义仓储来使用规约的，接下来讲解在应用层中通过默认仓储来使用规约：
public class IssueAppService : ApplicationService, IIssueAppService { private readonly IRepository<Issue, Guid> _issueRepository; // 构造函数 public IssueAppService(IRepository<Issue, Guid> issueRepository) { _issueRepository = issueRepository; } public async Task DoItAsync() { var queryable = await _issueRepository.GetQueryableAsync(); // 简单理解，queryable就是查询出来的实体，然后根据规约进行过滤 var issues = AsyncExecuter.ToListAsync(queryable.Where(new InActiveIssueSpecification())); } } 说明：AsyncExecuter是ABP提供的一个工具类，用于使用异步LINQ拓展方法，而不依赖于EF Core NuGet包。
七.组合规约的使用
规约是可组合使用的，这样就变的很强大。比如，再定义一个规约，当Issue是指定里程碑是返回True。定义新的规约如下：
public class MilestoneSpecification : Specification<Issue> { public Guid MilestoneId { get; } // 构造函数 public MilestoneSpecification(Guid milestoneId) { MilestoneId = milestoneId; } public override Expression<Func<Issue, bool>> ToExpression() { return x => x.MilestoneId == MilestoneId; } } 如果和上面定义的InActiveIssueSpecification规约组合，就可以实现业务逻辑：获取指定里程碑中未激活的Issue：
public class IssueAppService : ApplicationService, IIssueAppService { private readonly IRepository<Issue, Guid> _issueRepository; // 构造函数 public IssueAppService(IRepository<Issue, Guid> issueRepository) { _issueRepository = issueRepository; } public async Task DoItAsync(Guid milestoneId) { var queryable = await _issueRepository.GetQueryableAsync(); // 组合规约的使用方法，除了Add扩展方法，还有Or()、And()、Not()等方法 var issues = AsyncExecuter.ToListAsync( queryable.Where(new InActiveIssueSpecification() .Add(new MilestoneSpecification(milestoneId)) .ToExpression() ) ); } } 参考文献：
[1]基于ABP Framework实现领域驱动设计：https://url39.ctfile.com/f/2501739-616007877-f3e258?p=2096 (访问密码: 2096)
