Предоставляет ли LINQ Expression API никакого способа создания переменной?

Question

Я хочу подтвердить свое предположение, что LINQ Expression API не имеет средств для создания выражения, которое представляет собой создание локальной переменной.

Другими словами, вы не можете создать выражение для представления:

int local; 

поскольку это объявление переменной заявление и API не поддерживает выписки лямбды. Единственное состояние, в котором выражение lambda, представленное API выражения LINQ (а не экземпляр делегата), может работать с параметрами, которые он получает, и захваченными переменными, которые он получает через закрытие.

Является ли мое предположение (основанное на нескольких месяцах практики API выражения LINQ) правильным?

Answer 1

False. Есть некоторые перегрузки Expression.Block, чтобы сделать это.

Верно то, что вы не можете создать выражение лямбда посредством использования компилятора C# с переменной, но это ограничение компилятора.

Таким образом, вы не можете

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 не поддерживает выписки лямбды.

Это было прав в .NET < 4.0. В .NET 4.0 Microsoft добавила 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# не использует эту функцию в преобразованиях ямбда-выражения в деревья выражений, которые в настоящее время все еще ограничены выражением lambdas, поскольку насколько я знаю.