为何我的表达式树创建局部变量而非直接设置LabelTarget？

我构建的表达式树在Try块内部会创建局部变量，而非直接为LabelTarget赋值。这不是必须解决的问题，但想知道该现象的原因，以及是否能够避免。

表达式树代码 #

var returnTarget = Expression.Label(typeof(string), "value");
var instanceArgument = Expression.Parameter(typeof(object), "instance");
var instanceAsType = Expression.Convert(instanceArgument, propertyInfo.DeclaringType);

var propertyValueAsType = Expression.Property(instanceAsType, propertyInfo.Name);

var exceptionParameter = Expression.Parameter(typeof(Exception), "exception");
Expression tryCatch = Expression.TryCatch(
        Expression.Label(
            returnTarget,
            Expression.Call(
                typeof(Enum).GetMethod("GetName", new[] { typeof(Type), typeof(object) }),
                Expression.Constant(propertyInfo.PropertyType),
                Expression.Convert(propertyValueAsType, typeof(object)))),
        Expression.Catch(
            exceptionParameter,
            Expression.Label(
                returnTarget,
                Expression.Property(
                    exceptionParameter,
                    "Message"))));

return Expression.Lambda<Func<object, object>>(tryCatch, instanceArgument);

生成的C#代码 #

public static object getValue_Enum(object instance)
{
    string message;
    try
    {
        // 期望直接赋值给message，而非先创建name变量
        string name = Enum.GetName((RuntimeType)typeof(Program.TestEnum), ((Program.Test2)instance).get_Enum()); 
        message = name;
    }
    catch (Exception exception)
    {
        message = exception.Message;
    }
    return message;
}

原因分析 #

1. 标签表达式的语义限制：Expression.Label(returnTarget, value)的作用是"跳转到指定标签位置并携带值"，表达式树编译器（如Roslyn）为了保证值的生命周期正确性，会先将value的计算结果存入临时变量，再关联到标签对应的输出变量。在try/catch结构中，这种处理能避免异常导致的值计算中断问题，确保值被正确传递到标签。
2. 表达式树的编译逻辑：当你将方法调用作为Expression.Label的参数时，编译器会将调用结果视为独立表达式，必须先完成计算并存储，才能传递给标签，这是表达式树编译时的常规语义处理，并非bug。

避免局部变量的方法 #

方法1：移除LabelTarget（推荐） #

你的场景本质是通过try/catch返回两个分支的结果，无需使用标签跳转。直接让TryCatch的两个分支返回对应值即可：

var instanceArgument = Expression.Parameter(typeof(object), "instance");
var instanceAsType = Expression.Convert(instanceArgument, propertyInfo.DeclaringType);

var propertyValueAsType = Expression.Property(instanceAsType, propertyInfo.Name);

var exceptionParameter = Expression.Parameter(typeof(Exception), "exception");
Expression tryCatch = Expression.TryCatch(
        // 将结果转为object匹配Lambda返回类型
        Expression.Convert(
            Expression.Call(
                typeof(Enum).GetMethod("GetName", new[] { typeof(Type), typeof(object) }),
                Expression.Constant(propertyInfo.PropertyType),
                Expression.Convert(propertyValueAsType, typeof(object))),
            typeof(object)),
        Expression.Convert(
            Expression.Property(exceptionParameter, "Message"),
            typeof(object)));

return Expression.Lambda<Func<object, object>>(tryCatch, instanceArgument);

生成的代码会直接返回分支结果，无额外局部变量：

public static object getValue_Enum(object instance)
{
    try
    {
        return Enum.GetName((RuntimeType)typeof(Program.TestEnum), ((Program.Test2)instance).get_Enum());
    }
    catch (Exception exception)
    {
        return exception.Message;
    }
}

方法2：调整LabelTarget的位置（保留标签场景） #

如果必须使用标签（如复杂流程跳转），可以将标签放在try/catch外部，用Expression.Return传递值，减少内部临时变量：

var returnTarget = Expression.Label(typeof(object), "value");
var instanceArgument = Expression.Parameter(typeof(object), "instance");
var instanceAsType = Expression.Convert(instanceArgument, propertyInfo.DeclaringType);

var propertyValueAsType = Expression.Property(instanceAsType, propertyInfo.Name);

var exceptionParameter = Expression.Parameter(typeof(Exception), "exception");
Expression tryCatch = Expression.TryCatch(
        Expression.Return(
            returnTarget,
            Expression.Convert(
                Expression.Call(
                    typeof(Enum).GetMethod("GetName", new[] { typeof(Type), typeof(object) }),
                    Expression.Constant(propertyInfo.PropertyType),
                    Expression.Convert(propertyValueAsType, typeof(object))),
                typeof(object))),
        Expression.Return(
            returnTarget,
            Expression.Convert(
                Expression.Property(exceptionParameter, "Message"),
                typeof(object))));

// 将标签放在Block末尾，try/catch分支跳转到此处
var body = Expression.Block(
    Expression.TryCatch(tryCatch),
    Expression.Label(returnTarget, Expression.Default(typeof(object))));

return Expression.Lambda<Func<object, object>>(body, instanceArgument);

这种方式生成的代码不会在try块内创建额外局部变量，仅保留标签对应的输出变量。

内容的提问来源于stack exchange，提问作者CaptTaifun