当id为null时，如何正确检测表达式是否为重言式x => true？

你用ExpressionEqualityComparer直接比较表达式的方式行不通，因为它只做表达式结构的完全匹配。x => (id == null || x == id)的表达式树包含逻辑或操作、外部变量引用，而x => true只是一个直接返回常量的简单节点，结构完全不同，所以会输出"not tautology"。

要检测这种语义上的重言式，得先对表达式做语义化简——把能确定结果的逻辑分支替换成常量，再做比较。

1. 实现表达式化简工具 #

写一个继承自ExpressionVisitor的类，用来自动化简逻辑表达式，比如把true || 任意表达式直接替换成true：

public class ExpressionSimplifier : ExpressionVisitor
{
    public static Expression Simplify(Expression expression)
    {
        return new ExpressionSimplifier().Visit(expression);
    }

    protected override Expression VisitBinary(BinaryExpression node)
    {
        // 先递归化简左右子节点
        var left = Visit(node.Left);
        var right = Visit(node.Right);

        // 处理逻辑或：只要一边是true，整体结果就是true
        if (node.NodeType == ExpressionType.OrElse)
        {
            if (IsConstantTrue(left)) return Expression.Constant(true);
            if (IsConstantTrue(right)) return Expression.Constant(true);
        }
        // 处理逻辑与：只要一边是false，整体结果就是false
        else if (node.NodeType == ExpressionType.AndAlso)
        {
            if (IsConstantFalse(left)) return Expression.Constant(false);
            if (IsConstantFalse(right)) return Expression.Constant(false);
        }

        // 如果化简后节点无变化，返回原节点；否则生成新节点
        return left == node.Left && right == node.Right 
            ? node 
            : Expression.MakeBinary(node.NodeType, left, right, node.IsLiftedToNull, node.Method);
    }

    protected override Expression VisitMember(MemberExpression node)
    {
        // 把捕获的外部变量替换成实际常量值
        if (node.Expression is ConstantExpression constExpr)
        {
            var value = node.Member.GetValue(constantExpr.Value);
            return Expression.Constant(value, node.Type);
        }
        return base.VisitMember(node);
    }

    private static bool IsConstantTrue(Expression expr)
    {
        return expr is ConstantExpression ce && (bool)ce.Value == true;
    }

    private static bool IsConstantFalse(Expression expr)
    {
        return expr is ConstantExpression ce && (bool)ce.Value == false;
    }
}

2. 修改代码使用化简后的表达式 #

调整你的代码，先化简criteria再和tautology比较：

using Microsoft.EntityFrameworkCore.Query;
using System.Linq.Expressions;

int? id = null;

Expression<Func<int, bool>> criteria = x => (id == null || x == id);
Expression<Func<int, bool>> tautology = x => true;

// 化简表达式并重新构建Lambda
var simplifiedBody = ExpressionSimplifier.Simplify(criteria.Body);
var simplifiedCriteria = Expression.Lambda<Func<int, bool>>(simplifiedBody, criteria.Parameters);

if (ExpressionEqualityComparer.Instance.Equals(simplifiedCriteria, tautology))
    Console.WriteLine("tautology");
else
    Console.WriteLine("not tautology");

Console.ReadKey();

工作原理 #

这个工具会先把表达式里捕获的id变量替换成实际的null值，然后计算id == null的结果为true，最后把true || x == id化简为true。化简后的表达式结构和x => true完全一致，这时候用ExpressionEqualityComparer就能匹配成功，输出"tautology"。

如果需要处理更复杂的表达式（比如嵌套逻辑、数值运算等），可以继续扩展这个化简器的逻辑。

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