LINQ 表达式 API 是否无法创建变量？

Question

我想验证我的假设，即 LINQ 表达式 API 无法让我们创建表示创建局部变量的表达式。

换句话说，你不能创建一个表达式来表示：

int local;

因为这是一个变量声明语句，并且 API 不支持语句 lambda。由 LINQ 表达式 API（而不是委托实例）表示的 lambda 表达式可以使用的唯一状态是它接收的参数以及它通过闭包接收的捕获变量。

我的假设（基于几个月的 LINQ 表达式 API 实践）是否正确？

Answer 1

错误。有一些Expression.Block 的重载可以做到这一点。

事实是，您不能通过使用具有变量的 C# 编译器来创建 lambda 表达式，但这是编译器的限制。

所以你不能

Expression<Func<int>> exp = () => {
    int v = 1;
    return v;
};

但你可以

var variable = Expression.Variable(typeof(int));
var lambda = Expression.Lambda<Func<int>>(
    Expression.Block(
        new[] { variable }, 
        Expression.Assign(variable, Expression.Constant(1)), 
        variable)); // With lambda expressions, there is an implicit
                    // return of the last value "loaded" on the stack

因为那是一个变量声明语句，并且 API 不支持语句 lambdas。

这在 .NET Expression 方法来构建方法体中可能存在的几乎所有内容（缺少一些“东西”，例如不安全的代码关键字/运算符，还有原语但没有像for 或lock 这样的复杂结构，可以构建在其他结构之上）。请注意，这些添加的内容中有 90% 与 LINQ-to-SQL/EF 不兼容。

Answer 2

嗯，你可以使用Expression.Block 来声明一个包含局部变量的块...

例如：

using System;
using System.Linq.Expressions;

public class Test
{    
    static void Main()
    {
        var x = Expression.Variable(typeof(int), "x");
        var assignment1 = Expression.Assign(x, Expression.Constant(1, typeof(int)));
        var assignment2 = Expression.Assign(x, Expression.Constant(2, typeof(int)));

        var block = Expression.Block(new[] { x }, new[] { assignment1, assignment2 });
    }
}

这构建了一个表达式树，相当于：

{
    int x;
    x = 1;
    x = 2;
}

C# 编译器在将 lambda 表达式转换为表达式树时不使用此功能，据我所知，目前仍仅限于表达式 lambda。