表达式树库忽略了短路求值概念

本文关键字:短路 表达式 | 更新日期: 2023-09-27 18:12:19

请看下面的概念证明:

private class Model
{
    public string Data { get; set; }
    public bool NonEmpty() { return Data.Length > 0; }
}
private static Func<Model, bool> Compile()
{
    var type = typeof(Model);
    var expr = Expression.Parameter(typeof(Model));
    var subarg1 = Expression.Property(expr, type.GetProperty("Data"));
    var subarg2 = Expression.Constant(null);
    var arg1 = Expression.NotEqual(subarg1, subarg2);
    var arg2 = Expression.Call(expr, type.GetMethod("NonEmpty"));
    var tree = Expression.And(arg1, arg2); // Data != null && NonEmpty()
    var func = Expression.Lambda<Func<Model, bool>>(tree, expr).Compile();
    return func;
}
var model = new Model {Data = null};
var standardTest = model.Data != null && model.NonEmpty(); // returns false
var exprTreeTest = Compile().Invoke(model); // throws null ref exception

由于第一个操作数的计算结果为false,因此无论第二个操作数的值是什么,AND操作的结果都为false。这就是为什么不应该计算第二个操作数。虽然c#编译器可以正确地完成,但表达式库不能。

如何修复我的代码尊重短路评估?

表达式树库忽略了短路求值概念

Expression.And表示非短路与运算符(&)。

Expression.AndAlso表示短路与运算符(&&)。