为何InferSharp在我的EF/Linq方法中提示‘内存不可达’？

运行静态分析器InferSharp时，持续收到「在return dbresults处内存变为不可达」的资源未正常释放警告，代码实现如下：

public List<Results>? GetAllBySampleUniqueId(Guid uniqueId)
{
    using AppDb db = new();
    
    Sample? dbSample = db.Samples.Include(x => x.Results)
        .Include(x => x.Animal)
        .Include(x => x.Customer)
        .Include(x => x.SessionRecord)
        .FirstOrDefault(x => x.UniqueId == uniqueId);
    
    if (dbSample == null)
    {
        Logging.CurrentLogger.Debug("No Results exist for sample with uid {Sample.UniqueId}", uniqueId);
        return null;
    }
    
    List<Results> dbResults = dbSample.Results;
    Logging.CurrentLogger.Debug("Obtained {Results.Count} Results for sample with uid {Sample.UniqueId}", dbResults.Count, uniqueId);
    return dbResults;
}

存在的疑惑：

• 代码已使用using语句管理AppDb实例，认为不会出现内存泄漏，但仍触发警告
• 自身实现为仓储模式，而微软Infer#示例是直接资源调用，不清楚两者为何会触发相同警告

警告触发原因 #

InferSharp的警告并非指传统意义上的内存泄漏，而是检测到返回的dbResults是由using块内的AppDb上下文跟踪的实体集合：

• using块结束时，AppDb实例会被释放，其内部的实体追踪器、数据库连接等资源会被清理
• 但返回的dbResults仍持有对已释放上下文相关资源的引用，导致这些资源无法被GC及时回收（或存在悬空引用风险）
• 这个逻辑和是否采用仓储模式无关，核心是返回了由当前上下文管理的实体集合，和微软示例中的问题本质一致

是否会造成实际内存泄漏？ #

严格来说不会造成永久内存泄漏，GC最终会回收相关资源，但存在两个潜在问题：

• 违反静态分析规则，影响代码合规性
• 若后续尝试访问dbResults中实体的导航属性，会因上下文已释放抛出ObjectDisposedException

解决办法 #

1. 让实体脱离上下文跟踪：
   使用AsNoTracking()标记查询，让上下文不追踪返回的实体：

   Sample? dbSample = db.Samples.AsNoTracking()
       .Include(x => x.Results)
       .Include(x => x.Animal)
       .Include(x => x.Customer)
       .Include(x => x.SessionRecord)
       .FirstOrDefault(x => x.UniqueId == uniqueId);
   

   或者通过ToList()生成独立的集合副本，脱离上下文关联：

   List<Results> dbResults = dbSample.Results.ToList();
   

2. 调整上下文生命周期：
   如果需要保留实体的跟踪状态（比如后续要修改实体），可将AppDb的创建移出using块，由上层调用者负责上下文的释放（需注意合理管理生命周期，避免引发其他问题）

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