请看一下以下概念证明:
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
表示非短路AND运算符(&
)。
Expression.AndAlso
表示短路 AND 运算符 (&&
)。
关于c# - 表达式树库忽略短路求值概念,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/24685496/