Выражение, сгенерированное во время выполнения, не может изменить значения словаря - PullRequest
5 голосов
/ 18 января 2020

Я пытаюсь создать выражение во время выполнения, чтобы изменить значения данного словаря. Я создал этот фрагмент, который успешно генерирует выражение и компилирует его Action. Но вызов действия не может изменить значение словаря, а также не выдает никакой ошибки. Вот код:

public class ChangeDicValue {

    public void Change(IDictionary<string, object> dic) {
        var blocks = MakeCleaningBlock(dic);
        foreach (var block in blocks) 
            block.Invoke(dic);
    }

    private List<Action<IDictionary<string, Object>>> MakeCleaningBlock(IDictionary<string , object > dic) {

        var allKeys = dic.Keys.ToArray();

        var dicType = typeof(IDictionary<,>).MakeGenericType(typeof(string), typeof(object));

        var dicContainsMethod = dicType.GetMethod("ContainsKey", new[] {typeof(string)})
                                ?? throw new InvalidOperationException();

        var actions = new List<Action<IDictionary<string, Object>>>();

        ParameterExpression actionArguments =
            Expression.Parameter(dicType, "actionArguments");

        foreach (var k in allKeys) {

            Expression key = Expression.Constant(k, typeof(string));

            Expression target = Expression.Property(actionArguments, "Item", key);

            var innerStatements = new List<Expression>(Changers);

            var cleanStatements = new List<Expression>();

            foreach (var ins in innerStatements) {
                var assign = Expression.Assign(target, Expression.Block(ins, target));

                cleanStatements.Add(assign);
            }

            Expression body1 = Expression.Block(new List<Expression>(cleanStatements) {target});

            var callToContains = Expression.Call(actionArguments, dicContainsMethod, key);
            var ifThenBody     = Expression.IfThen(callToContains, body1);

            var cleanedValueBlock = Expression.Block(target, ifThenBody, target);

            var assignDic = Expression.Assign(target, cleanedValueBlock);
            // see the debug view of assignDic in UPDATE

            var lambda = Expression.Lambda<Action<IDictionary<string, Object>>>(assignDic, actionArguments);

            var method = lambda.Compile();

            actions.Add(method);
        }

        return actions;
    }


    private static readonly Expression<Func<object, string>>[] Changers
        = {
            s => s + " First changer added.", 
            s => s + " Second changer added."
        };

}

Как видите, это довольно простой код, который не содержит ошибок. У вас есть идеи, что я пропустил?

РЕДАКТИРОВАТЬ:

Отладочный вид переменной assignDic для одного элемента в образце словаря:

$actionArguments.Item["a"] = .Block() {
    $actionArguments.Item["a"];
    .If (
        .Call $actionArguments.ContainsKey("a")
    ) {
        .Block() {
            $actionArguments.Item["a"] = .Block() {
                .Lambda #Lambda1<System.Func`2[System.Object,System.String]>;
                $actionArguments.Item["a"]
            };
            $actionArguments.Item["a"] = .Block() {
                .Lambda #Lambda2<System.Func`2[System.Object,System.String]>;
                $actionArguments.Item["a"]
            };
            $actionArguments.Item["a"]
        }
    } .Else {
        .Default(System.Void)
    };
    $actionArguments.Item["a"]
}

.Lambda #Lambda1<System.Func`2[System.Object,System.String]>(System.Object $s) {
    $s + " First changer added."
}

.Lambda #Lambda2<System.Func`2[System.Object,System.String]>(System.Object $s) {
    $s + " Second changer added."
}

1 Ответ

5 голосов
/ 18 января 2020

OK. Наконец я нашел проблему и решение. Точка разрыва кода находилась в назначении во внутреннем foreach l oop, где я пытался присвоить Expression.Block для IndexerExpression. Кажется, block выражение не будет вызывать его. Итак, я изменил его на InvokationExpression, вызвав Expression.Invoke и передав IndexerExpression (названный target), и теперь он работает как шарм:

foreach (var ins in innerStatements) {
    var assign = Expression.Assign(target, Expression.Invoke(ins, target));
    cleanStatements.Add(assign);
}
...