[英]How to rewrite expression x=>!x to x=>x!=true and x=>x to x=>x==true
Asume, that we expressions like this: 假设,我们这样表达:
someIQueryable.Where(x => x.SomeBoolProperty)
someIQueryable.Where(x => !x.SomeBoolProperty)
I need to convert (rewrite using expression visitor) expressions like above to expressions like this: 我需要将上述表达式转换(使用表达式访问器重写)成这样的表达式:
someIQueryable.Where(x => x.SomeBoolProperty == true)
someIQueryable.Where(x => x.SomeBoolProperty != true)
NOTE: rewriter must work in more general case too, if we have more complex expressions: 注意:如果我们有更复杂的表达式,重写器也必须在更一般的情况下工作:
someIQueryable.Where((x => x.SomeBoolProperty && x.SomeIntProperty > 0) || !x.SomeOtherBoolProperty))
Something like: 就像是:
static class BooleanComplexifier
{
public static Expression<T> Process<T>(Expression<T> expression)
where T : class
{
var body = expression.Body;
if (body.Type == typeof(bool))
{
switch(body.NodeType)
{
case ExpressionType.Equal:
case ExpressionType.NotEqual:
case ExpressionType.GreaterThan:
case ExpressionType.GreaterThanOrEqual:
case ExpressionType.LessThan:
case ExpressionType.LessThanOrEqual:
return expression;
case ExpressionType.Not:
body = Expression.NotEqual(
((UnaryExpression)body).Operand,
Expression.Constant(true));
break;
default:
body = Expression.Equal(body,
Expression.Constant(true));
break;
}
return Expression.Lambda<T>(body, expression.Parameters);
}
return expression;
}
}
with: 有:
Expression<Func<Foo, bool>> x = foo => foo.IsAlive,
y = foo => !foo.IsAlive;
var a = BooleanComplexifier.Process(x); // foo => foo.IsAlive == true
var b = BooleanComplexifier.Process(y); // foo => foo.IsAlive != true
//...
class Foo
{
public bool IsAlive { get;set; }
}
For more complex processing, an ExpressionVisitor
may be necessary: 对于更复杂的处理,可能需要ExpressionVisitor
:
class BooleanComplexifier : ExpressionVisitor
{
public static Expression<T> Process<T>(Expression<T> expression)
{
return (Expression<T>)new BooleanComplexifier().Visit(expression);
}
int bypass;
protected override Expression VisitBinary(BinaryExpression node)
{
if (bypass == 0 && node.Type == typeof(bool))
{
switch (node.NodeType)
{
case ExpressionType.And: // bitwise & - different to &&
case ExpressionType.Or: // bitwise | - different to ||
case ExpressionType.Equal:
case ExpressionType.NotEqual:
bypass++;
var result = base.VisitBinary(node);
bypass--;
return result;
}
}
return base.VisitBinary(node);
}
protected override Expression VisitUnary(UnaryExpression node)
{
if (bypass == 0 && node.Type == typeof(bool))
{
switch(node.NodeType)
{
case ExpressionType.Not:
bypass++;
var result = Expression.NotEqual(
base.Visit(node.Operand),
Expression.Constant(true));
bypass--;
return result;
}
}
return base.VisitUnary(node);
}
protected override Expression VisitMember(MemberExpression node)
{
if(bypass == 0 && node.Type == typeof(bool))
{
return Expression.Equal(
base.VisitMember(node),
Expression.Constant(true));
}
return base.VisitMember(node);
}
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.