Espressioni currying in C #

c# currying expression-trees linq tsql

Domanda

Sto cercando di creare un albero di espressioni che posso alimentare in Linq2SQL in modo che generi una bella query pulita. Il mio scopo è creare un filtro che prenda un insieme arbitrario di parole in AND e NOT (o OR e NOT) insieme. Poiché voglio variare i campi su cui cerco preferisco comporre un elenco di Expresssion<Func<T, string, bool>> insieme (dove T è l'entità su cui sto operando) chiamando una varietà di helper funzioni. Quindi riceverei una serie di parole e li Expresssion<Func<T, bool>> loop e costruirò Expresssion<Func<T, bool>> su (annullando determinate espressioni dove necessario) che posso eventualmente alimentare con un'istruzione .Where.

Ho usato LINQKit PredicateBuilder ma questo codice riguarda le espressioni a parametro singolo. Tuttavia, mi ha fornito alcune basi per i miei tentativi. Sto mirando a fare qualcosa di simile a questo:

var e = (Expression<Func<Entity, string, bool>>)((p, w) => p.SomeField.ToLower().Contains(w));

var words = new []{"amanda", "bob"};

var expr = (Expression<Func<Entity, bool>>)(p => false);
// building up an OR query
foreach(var w in words) {
    var w1 = w;
>>>>expr = Expression.Lambda<Func<Entity, bool>>(Expression.OrElse(expr.Body, (Expression<Func<Entity, bool>>)(p => e(p, w))));
}

var filteredEntities = table.Where(expr);

Ma dal momento che sto usando le espressioni, la linea contrassegnata da >>>> è ovviamente illegale (non posso fare e(p, w) come avrei potuto per una funzione). Quindi la mia domanda è come faccio a fare l'applicazione parziale di una singola variabile (la parola) ad espressioni contenenti funzioni con più parametri?


Va bene, mi sono occupato di LINQPad e ho trovato una soluzione che funziona per me. Questa domanda mi ha portato lì. Sono abbastanza nuovo nella creazione di alberi di espressione, quindi vorrei apprezzare (e revocare) eventuali commenti / risposte con miglioramenti o critiche.

// Some set of expressions to test against
var expressions = new List<Expression<Func<Entity, string, bool>>>();
expressions.Add((p, w) => p.FirstName.ToLower().Contains(w));
expressions.Add((p, w) => p.LastName.ToLower().Contains(w));
expressions.Add((p, w) => p.Department != null && p.Department.Name.ToLower().Contains(w));

var words = new []{"amanda", "bob"};
var negs = new []{"smith"}; // exclude any entries including these words

var isAndQuery = true; // negate for an OR query
Expression<Func<Entity, bool>> posExpr = p => isAndQuery;

var entityParameter = Expression.Parameter(typeof(Entity), null);

// Build up the NOTs
var negExpr = (Expression<Func<Entity, bool>>)(p => true);
foreach(var w in negs) {
    var w1 = w;
    foreach(var e in expressions) {
        var andNot = Expression.Invoke(e, entityParameter, Expression.Constant(w1));
        negExpr = Expression.Lambda<Func<Entity, bool>>(Expression.AndAlso(negExpr.Body, Expression.Not(andNot)), entityParameter);
    }
}

// Build up the ANDs or ORs
foreach(var w in words) {
    var w1 = w;
    var orExpr = (Expression<Func<Entity, bool>>)(p => false);
    foreach(var e in expressions) {
        var orElse = Expression.Invoke(e, entityParameter, Expression.Constant(w1));
        orExpr = Expression.Lambda<Func<Entity, bool>>(Expression.OrElse(orExpr.Body, orElse), entityParameter);
    }
    var orInvoked = Expression.Invoke(orExpr, posExpr.Parameters.Cast<Expression>());
    if(isAndQuery)
        posExpr = Expression.Lambda<Func<Entity, bool>>(Expression.AndAlso(posExpr.Body, orInvoked), entityParameter);
    else
        posExpr = Expression.Lambda<Func<Entity, bool>>(Expression.OrElse(posExpr.Body, orInvoked), entityParameter);
}
var posInvoked = Expression.Invoke(posExpr, posExpr.Parameters.Cast<Expression>());
var finalExpr = Expression.Lambda<Func<Entity, bool>>(Expression.AndAlso(negExpr.Body, posInvoked), entityParameter);

var filteredEntities = entities.Where(finalExpr);

Risposta popolare

Mi piace usare linq per costruire alberi di epressione, mi fa sentire super-potente, quindi ho aggiunto questo, non come una risposta completa alla tua domanda, ma più un modo elegante per costruire alberi di espressione ...

var query = ...;
var search = "asdfasdf";
var fields = new Expression<Func<MyEntity,string>>[]{ 
    x => x.Prop1, 
    x => x.Prop2, 
    x => x.Prop3 
};
var notFields = new Expression<Func<MyEntity,string>>[]{ 
    x => x.Prop4, 
    x => x.Prop5 };

//----- 
var paramx = Expression.Parameter(query.ElementType);

//get fields to search for true
var whereColumnEqualsx = fields
    .Select(x => Expression.Invoke(x,paramx))
    .Select(x => Expression.Equal(x,Expression.Constant(search)))
    //you could change the above to use .Contains(...) || .StartsWith(...) etc.
    //you could also make it not case sensitive by 
    //wraping 'x' with a .ToLower() expression call, 
    //and setting the search constant to 'search.ToLower()'
    .Aggregate((x,y) => Expression.And(x,y));

//get fields to search for false
var whereColumnNotEqualsx = notFields
    .Select(x => Expression.Invoke(x,paramx))
    .Select(x => Expression.NotEqual(x, Expression.Constant(search)))
    //see above for the different ways to build your 'not' expression,
    //however if you use a .Contains() you need to wrap it in an Expression.Negate(...)
    .Aggregate((x,y) => Expression.Or(x,y));
    //you can change Aggregate to use Expression.And(...) 
    //if you want the query to exclude results only if the 
    //search string is in ALL of the negated fields.

var lambdax = Expression.Lambda(
    Expression.And(whereColumnEqualsx, whereColumnNotEqualsx), paramx);

var wherex = Expression.Call(typeof(Queryable)
    .GetMethods()
    .Where(x => x.Name == "Where")
    .First()
    .MakeGenericMethod(query.ElementType),
    query.Expression,lambdax);

//create query
var query2 = query.Provider.CreateQuery(wherex).OfType<MyEntity>();


Autorizzato sotto: CC-BY-SA with attribution
Non affiliato con Stack Overflow
È legale questo KB? Sì, impara il perché
Autorizzato sotto: CC-BY-SA with attribution
Non affiliato con Stack Overflow
È legale questo KB? Sì, impara il perché