如何用DbSet流畅语法实现左连接？区分文件不存在与无权限

背景与问题 #

模型定义 #

class Owner
{
    public Guid Id { get; set; }
    public IList<AccessShare> AccessShares { get; set; } = new List<AccessShare>();
}

class AccessShare
{
    public Guid OwnerId { get; set; }
    public Guid AccessorId { get; set; }
}

class File
{
    public Guid Id { get; set; }
    public Guid OwnerId { get; set; }
    public Owner Owner { get; set; }
    public string Filename { get; set; }
}

业务规则：文件归单个用户所有，仅当访问者与文件所有者存在AccessShare关联时，其他用户才能查看该文件。

当前查询代码 #

Guid fileId = <获取文件ID的代码>;
Guid accessorId = <获取访问者ID的代码>;

File? file = DBContext
    .Set<File>()
    .Where(e => e.Id == fileId)
    .Where(e => e.Owner.Id == accessorId || e.Owner.AccessShares.Any(a => a.AccessorId == accessorId))
    .Include(e => e.Owner)
    .Include(e => e.Owner.AccessShares)
    .FirstOrDefault();

存在的问题 #

当查询返回null时，无法区分两种情况：

1. 指定ID的File实体根本不存在
2. File实体存在，但当前访问者没有权限查看

解决方案：投影查询区分结果状态 #

通过EF Core的投影功能，我们可以先获取目标文件（不提前过滤权限），同时计算当前访问者是否具备权限，从而明确区分两种场景。

1. 定义结果载体（可选） #

可以创建一个类来封装查询结果，方便后续处理：

public class FileAccessResult
{
    public File? File { get; set; }
    public bool HasAccess { get; set; }
}

2. 流畅风格的查询实现 #

Guid fileId = <获取文件ID的代码>;
Guid accessorId = <获取访问者ID的代码>;

var result = DBContext
    .Set<File>()
    .Where(f => f.Id == fileId)
    .Select(f => new FileAccessResult
    {
        File = f,
        HasAccess = f.Owner.Id == accessorId 
                    || f.Owner.AccessShares.Any(share => share.AccessorId == accessorId)
    })
    .Include(f => f.Owner)
    .Include(f => f.Owner.AccessShares)
    .FirstOrDefault();

// 结果判断逻辑
if (result == null)
{
    // 场景1：指定ID的文件不存在
}
else
{
    if (result.HasAccess)
    {
        // 场景2：文件存在且有权限，可使用result.File
    }
    else
    {
        // 场景3：文件存在但无访问权限
    }
}

如果不需要自定义类，也可以直接使用匿名类型：

var result = DBContext
    .Set<File>()
    .Where(f => f.Id == fileId)
    .Select(f => new 
    {
        File = f,
        HasAccess = f.Owner.Id == accessorId 
                    || f.Owner.AccessShares.Any(share => share.AccessorId == accessorId)
    })
    .Include(f => f.Owner)
    .Include(f => f.Owner.AccessShares)
    .FirstOrDefault();

原理说明 #

这种方式没有在初始查询阶段就用权限条件过滤文件，而是先定位到目标文件，再通过投影计算权限状态：

• 若result为null，说明目标文件不存在
• 若result不为null，通过HasAccess属性即可判断访问者是否有权限

既保持了EF Core流畅API的风格，又完美解决了原查询无法区分null原因的问题。

内容的提问来源于stack exchange，提问作者Andy