Как преобразовать лямбда-выражение между различными (но совместимыми) моделями?

(основанный на разговоре по электронной почте, теперь записанном для обмена информацией). У меня есть две модели, используемые на разных уровнях:

public class TestDTO {
    public int CustomerID { get; set; }
}
//...
public class Test {
    public int CustomerID { get; set; }
}

и лямбда в терминах моего слоя DTO:

Expression<Func<TestDTO, bool>> fc1 =
   (TestDTO c1) => c1.CustomerID <= 100 && c1.CustomerID >= 10;

Как я могу преобразовать эту лямбду (в общем случае) в разговор о другой модели:

Expression<Func<Test, bool>> fc2 = {insert magic here, based on fc1}

(очевидно, мы выполняем одно и то же тестовое условие, но используем тип Test)

?

Ответы

Ответ 1

Для этого вам нужно полностью восстановить дерево выражений; параметры будут нуждаться в повторном сопоставлении, и весь членский доступ, который теперь разговаривает с разными типами, должен быть повторно применен. К счастью, многие из них упрощаются классом ExpressionVisitor; например (все это в общем случае, а не только предикат Func<T,bool>):

class TypeConversionVisitor : ExpressionVisitor
{
    private readonly Dictionary<Expression, Expression> parameterMap;

    public TypeConversionVisitor(
        Dictionary<Expression, Expression> parameterMap)
    {
        this.parameterMap = parameterMap;
    }

    protected override Expression VisitParameter(ParameterExpression node)
    {
        // re-map the parameter
        Expression found;
        if(!parameterMap.TryGetValue(node, out found))
            found = base.VisitParameter(node);
        return found;
    }
    protected override Expression VisitMember(MemberExpression node)
    {
        // re-perform any member-binding
        var expr = Visit(node.Expression);
        if (expr.Type != node.Type)
        {
            MemberInfo newMember = expr.Type.GetMember(node.Member.Name)
                                       .Single();
            return Expression.MakeMemberAccess(expr, newMember);
        }
        return base.VisitMember(node);
    }
}

Здесь мы переходим в словарь параметров для повторной карты, применяя это в VisitParameter. Мы также в VisitMember проверяем, есть ли у нас тип переключения (что может произойти, если Visit включает ParameterExpression или другое MemberExpression в любой точке): если мы имеем, мы попытаемся найдите другого члена с тем же именем.

Далее, нам нужен метод перезаписи Lambda-конверсий общего назначения:

// allows extension to other signatures later...
private static Expression<TTo> ConvertImpl<TFrom, TTo>(Expression<TFrom> from)
    where TFrom : class
    where TTo : class
{
    // figure out which types are different in the function-signature
    var fromTypes = from.Type.GetGenericArguments();
    var toTypes = typeof(TTo).GetGenericArguments();
    if (fromTypes.Length != toTypes.Length)
        throw new NotSupportedException(
            "Incompatible lambda function-type signatures");
    Dictionary<Type, Type> typeMap = new Dictionary<Type,Type>();
    for (int i = 0; i < fromTypes.Length; i++)
    {
        if (fromTypes[i] != toTypes[i])
            typeMap[fromTypes[i]] = toTypes[i];
    }

    // re-map all parameters that involve different types
    Dictionary<Expression, Expression> parameterMap
        = new Dictionary<Expression, Expression>();
    ParameterExpression[] newParams =
        new ParameterExpression[from.Parameters.Count];
    for (int i = 0; i < newParams.Length; i++)
    {
        Type newType;
        if(typeMap.TryGetValue(from.Parameters[i].Type, out newType))
        {
            parameterMap[from.Parameters[i]] = newParams[i] =
                Expression.Parameter(newType, from.Parameters[i].Name);
        }
        else
        {
            newParams[i] = from.Parameters[i];
        }
    }

    // rebuild the lambda
    var body = new TypeConversionVisitor(parameterMap).Visit(from.Body);
    return Expression.Lambda<TTo>(body, newParams);
}

Это принимает произвольный Expression<TFrom> и a TTo, преобразовывая его в Expression<TTo>, посредством:

  • поиск различных типов между TFrom/TTo
  • используя это для перепрограммирования параметров
  • с помощью только что созданного выражения-посетителя
  • и, наконец, построение нового лямбда-выражения для нужной сигнатуры

Затем, соединяя все это и раскрывая наш метод расширения:

public static class Helpers {
    public static Expression<Func<TTo, bool>> Convert<TFrom, TTo>(
        this Expression<Func<TFrom, bool>> from)
    {
        return ConvertImpl<Func<TFrom, bool>, Func<TTo, bool>>(from);
    }

    // insert from above: ConvertImpl
    // insert from above: TypeConversionVisitor
}

et voila; универсальная процедура преобразования лямбда с конкретной реализацией:

Expression<Func<Test, bool>> fc2 = fc1.Convert<TestDTO, Test>();

Ответ 2

Вы можете использовать AutoMapper (без дерева выражений):

Mapper.CreateMap<Test, TestDTO>();

...

Func<TestDTO, bool> fc1 =
  (TestDTO c1) => c1.CustomerID <= 100 && c1.CustomerID >= 10;

Func<Test, bool> fc2 =
  (Test t) => fc1(Mapper.Map<Test, TestDTO>(t));