EF Core 8使用Specification模式时触发未定义变量的InvalidOperationException问题求助

最近在EF Core 8里用Specification模式实现查询逻辑的时候，碰到了个挺棘手的问题——调用表达式直接抛出了InvalidOperationException，错误提示如下：

variable '___zip_0' of type 'System.Int32' referenced from scope '', but it is not defined

我用的SpecificationBase基类代码是这样的：

public abstract class Specification<TEntity> where TEntity : class
{
    public abstract Expression<Func<TEntity, bool>> ToExpression();

    public bool IsSatisfiedBy(TEntity entity)
    {
        Func<TEntity, bool> predicate = ToExpression().Compile();
        return predicate(entity);
    }
   
    public Specification()
    {
        
    }
    public Specification(Expression<Func<TEntity,bool>>? criteria) 
        => Criteria = criteria;
    public Expression<Func<TEntity, bool>> Criteria { get; set; }

    public List<Expression<Func<TEntity, object>>> Includes { get; } = new();
    // 此处省略Includes相关的其他实现代码
}

问题分析与解决思路 #

这个错误里的___zip_0是EF Core处理表达式树时自动生成的临时变量，出现这类问题大概率是表达式树的变量作用域异常导致的——比如组合多个Specification的表达式时，没有统一参数实例，或者闭包捕获的变量没被正确纳入表达式作用域。

给你几个针对性的解决方向：

• 检查ToExpression的子类实现：确保所有继承SpecificationBase的子类，在实现ToExpression时正确引用Criteria属性，不要在表达式里直接捕获外部未封装的变量。如果是组合条件，一定要用表达式树API（Expression.AndAlso/Expression.OrElse）拼接，别直接用委托组合。

• 统一表达式树的参数实例：如果你的Specification有And/Or这类组合逻辑，必须保证组合后的两个表达式使用同一个参数实例。可以通过自定义ExpressionVisitor替换表达式中的参数，避免EF Core生成的临时变量出现作用域冲突，举个实现例子：

public Specification<TEntity> And(Specification<TEntity> other)
{
    if (Criteria == null) return other;
    if (other.Criteria == null) return this;

    // 创建统一的参数实例
    var parameter = Expression.Parameter(typeof(TEntity), "entity");
    
    // 替换两个表达式的参数为统一实例
    var leftExpr = ReplaceParameter(Criteria, parameter);
    var rightExpr = ReplaceParameter(other.Criteria, parameter);
    
    // 拼接表达式并返回新的Specification
    var combinedBody = Expression.AndAlso(leftExpr.Body, rightExpr.Body);
    return new GenericSpecification<TEntity>(Expression.Lambda<Func<TEntity, bool>>(combinedBody, parameter));
}

// 自定义ExpressionVisitor用于替换参数
private Expression<Func<TEntity, bool>> ReplaceParameter(Expression<Func<TEntity, bool>> expr, ParameterExpression newParam)
{
    var visitor = new ParameterReplaceVisitor(expr.Parameters[0], newParam);
    var newBody = visitor.Visit(expr.Body);
    return Expression.Lambda<Func<TEntity, bool>>(newBody, newParam);
}

private class ParameterReplaceVisitor : ExpressionVisitor
{
    private readonly ParameterExpression _oldParam;
    private readonly ParameterExpression _newParam;

    public ParameterReplaceVisitor(ParameterExpression oldParam, ParameterExpression newParam)
    {
        _oldParam = oldParam;
        _newParam = newParam;
    }

    protected override Expression VisitParameter(ParameterExpression node)
    {
        return node == _oldParam ? _newParam : base.VisitParameter(node);
    }
}

// 用于包装组合后表达式的通用Specification
public class GenericSpecification<TEntity> : Specification<TEntity> where TEntity : class
{
    public GenericSpecification(Expression<Func<TEntity, bool>> criteria) : base(criteria) { }

    public override Expression<Func<TEntity, bool>> ToExpression()
    {
        return Criteria;
    }
}

• 避免先编译表达式再组合：如果你的代码里存在把Expression<Func<>>编译成Func<>再组合的情况，一定要改掉——编译后的委托无法被EF Core解析成SQL，还很容易引发作用域变量问题，全程要保持表达式树的形式操作。

按照这个思路调整后，应该就能解决那个未定义变量的异常了。

备注：内容来源于stack exchange，提问作者axur Sdaffv