Почему я получаю исключение нулевой ссылки в этом дереве выражений? - PullRequest
1 голос
/ 02 августа 2010

У меня есть выражение дерева, которое выглядит так:

.Block(
    System.Object $instance,
    MyType2 $result) {
    $result = (MyType2)((MyType1)$instance).Property1;
    .Goto return { };
    .Label
    .LabelTarget useDefault:;
    $result = .Default(MyType2);
    .Label
    .LabelTarget return:;
    $result
}

Это пользовательские типы, которые используются в дереве выражений:

public class MyType1
{
    public MyType2 Property1 { get; set; }
}

public class MyType2
{
}

Наконец, вот как я собираю, компилирую и вызываю дерево выражений (это не будет работать именно так, потому что я упустил некоторый код для упрощения):

object instance = new MyType1();

Expression expression = ... // n => n.Property1

ParameterExpression instanceParameter = Expression.Variable(
    typeof(object), "instance");
ParameterExpression resultVariable = Expression.Variable(
    typeof(MyType2), "result");

LabelTarget useDefaultLabel = Expression.Label("useDefault");
LabelTarget returnLabel = Expression.Label("return");

List<Expression> targetFragments = new List<Expression>();

MemberInfo memberInfo = (MemberInfo)expression.Body.Member;

MemberExpression member = ConstantExpression.MakeMemberAccess(
    Expression.Convert(instanceParameter, memberInfo.DeclaringType),
    memberInfo);

targetFragments.Add(
    Expression.Assign(
        resultVariable,
        Expression.Convert(member, typeof(MyType2))));

targetFragments.Add(Expression.Goto(returnLabel));
targetFragments.Add(Expression.Label(useDefaultLabel));
targetFragments.Add(Expression.Assign(resultVariable,
    Expression.Default(typeof(MyType2))));
targetFragments.Add(Expression.Label(returnLabel));

targetFragments.Add(resultVariable);

Expression finalExpression = Expression.Block(
    new[] { instanceParameter, resultVariable },
    targetFragments);

ParameterExpression parameter = Expression.Variable(typeof(object));

MyType2 result = Expression.Lambda<Func<T, MyType2>>(expression, parameter)
    .Compile()(instance);

Однако вызов вызывает следующее исключение:

Ссылка на объект не установлена ​​для экземпляра объекта. в lambda_method (закрытие, объект)

Я думаю, что это происходит из-за присваивания $result = (MyType2)((MyType1)$instance).Property1;, но я не понимаю почему, потому что экземпляр, который передается выражению, не null.

1 Ответ

3 голосов
/ 02 августа 2010

То что:

ParameterExpression parameter = Expression.Variable(typeof(object));

определяется после того, как все тело должно быть ключом; по сути, вы просто даже не смотрите на объект, в котором проходите; вы смотрите только на instanceParameter, который (в вашем коде) является просто неназначенной переменной.

По сути, отбросьте окончательное объявление parameter и не объявляйте instanceParameter как переменную:

Expression finalExpression = Expression.Block(
    new[] { resultVariable },
    targetFragments);

MyType2 result = Expression.Lambda<Func<object, MyType2>>(
      finalExpression, instanceParameter).Compile()(instance);
...