Biểu/Tuyên Bố

Question

Cập nhật Câu hỏi tiếp theo Xuống

Tôi đã thử nghiệm với cây biểu hiện trong .NET 4 để tạo ra mã trong thời gian chạy và tôi đã cố gắng để thực hiện báo cáo kết quả foreach bằng cách xây dựng một cây biểu .

Cuối cùng, khái niệm sẽ có thể tạo ra một đại biểu mà thực hiện điều này:

Action<IEnumerable<int>> action = source => 
{ 
    var enumerator = source.GetEnumerator(); 
    while(enumerator.MoveNext()) 
    { 
    var i = enumerator.Current; 
    // the body of the foreach that I don't currently have yet 
    } 
} 

tôi đã đi lên với phương pháp helper sau đó tạo ra một BlockExpression từ một IEnumerable:

public static BlockExpression ForEachExpr<T>(this IEnumerable<T> source, string collectionName, string itemName) 
{ 
     var item = Expression.Variable(typeof(T), itemName); 

     var enumerator = Expression.Variable(typeof(IEnumerator<T>), "enumerator"); 

     var param = Expression.Parameter(typeof(IEnumerable<T>), collectionName); 

     var doMoveNext = Expression.Call(enumerator, typeof(IEnumerator).GetMethod("MoveNext")); 

     var assignToEnum = Expression.Assign(enumerator, Expression.Call(param, typeof(IEnumerable<T>).GetMethod("GetEnumerator"))); 

     var assignCurrent = Expression.Assign(item, Expression.Property(enumerator, "Current")); 

     var @break = Expression.Label(); 

     var @foreach = Expression.Block(
      assignToEnum, 
      Expression.Loop(
       Expression.IfThenElse(
       Expression.NotEqual(doMoveNext, Expression.Constant(false)), 
        assignCurrent 
       , Expression.Break(@break)) 
      ,@break) 
     ); 
     return @foreach; 

} 

Các mã sau đây:

var ints = new List<int> { 1, 2, 3, 4 }; 
var expr = ints.ForEachExpr("ints", "i"); 
var lambda = Expression.Lambda<Action<IEnumerable<int>>>(expr, Expression.Parameter(typeof(IEnumerable<int>), "ints")); 

Tạo cây biểu thức này:

.Lambda #Lambda1<System.Action`1[System.Collections.Generic.IEnumerable`1[System.Int32]]>(System.Collections.Generic.IEnumerable`1[System.Int32] $ints) 
{ 
    .Block() { 
     $enumerator = .Call $ints.GetEnumerator(); 
     .Loop { 
      .If (.Call $enumerator.MoveNext() != False) { 
       $i = $enumerator.Current 
      } .Else { 
       .Break #Label1 { } 
      } 
     } 
     .LabelTarget #Label1: 
    } 
} 

này có vẻ là OK, nhưng gọi Compile trên mà kết quả biểu hiện trong một ngoại lệ:

"variable 'enumerator' of type 'System.Collections.Generic.IEnumerator`1[System.Int32]' referenced from scope '', but it is not defined" 

Không phải tôi định nghĩa nó ở đây:

var enumerator = Expression.Variable(typeof(IEnumerator<T>), "enumerator"); 

?

Tất nhiên, ví dụ ở đây được giả tạo và chưa sử dụng thực tế, nhưng tôi đang cố gắng thu thập các cây biểu thức có thân, để kết hợp động chúng vào thời gian chạy trong tương lai.

---

EDIT: vấn đề ban đầu của tôi đã được giải quyết bởi Alexandra, cảm ơn! Tất nhiên, tôi đã gặp phải vấn đề tiếp theo ngay bây giờ. Tôi đã khai báo một số BlockExpression có một biến trong đó. Bên trong biểu thức đó, tôi muốn một biểu thức khác tham chiếu biến đó. Nhưng tôi không có một tham chiếu thực sự cho biến đó, chỉ là tên của nó, bởi vì biểu thức được cung cấp bên ngoài.

var param = Expression.Variable(typeof(IEnumerable<T>), "something"); 

var block = Expression.Block(
       new [] { param }, 
       body 
      ); 

Biến body được thông qua tại bên ngoài và không có tài liệu tham khảo trực tiếp đến param, nhưng không biết tên của các biến trong biểu thức ("something"). Nó trông giống như thế này:

var body = Expression.Call(typeof(Console).GetMethod("WriteLine",new[] { typeof(bool) }), 
       Expression.Equal(Expression.Parameter(typeof(IEnumerable<int>), "something"), Expression.Constant(null))); 

Đây là "mã" rằng đây tạo:

.Lambda #Lambda1<System.Action`1[System.Collections.Generic.IEnumerable`1[System.Int32]]>(System.Collections.Generic.IEnumerable`1[System.Int32] $something) 
{ 
    .Block(System.Collections.Generic.IEnumerable`1[System.Int32] $something) { 
     .Call System.Console.WriteLine($something== null) 
    } 
} 

Tuy nhiên, nó không biên dịch. Với cùng một lỗi như trước.

TLDR: Làm cách nào để tham chiếu biến bằng số nhận dạng trong cây biểu thức?

Answer 1

Bạn có vấn đề là bạn không chuyển các tham số và biến vào biểu thức khối của mình. Bạn sử dụng chúng trong các biểu thức "bên trong", nhưng biểu thức khối không biết gì về chúng. Về cơ bản, tất cả những gì bạn cần làm là chuyển tất cả các tham số và biến của bạn thành một biểu thức khối.

 var @foreach = Expression.Block(
      new ParameterExpression[] { item, enumerator, param }, 
      assignToEnum, 
      Expression.Loop(
       Expression.IfThenElse(
        Expression.NotEqual(doMoveNext, Expression.Constant(false)), 
        assignCurrent, 
        Expression.Break(@break)) 
      , @break) 
     ); 

Answer 2

Xin lỗi nếu điều này là thread gọi hồn, nhưng trong trường hợp người khác đang chạy vào cùng hoặc tương tự vấn đề:

Bạn có thể thử viết một ExpressionVisitor thay thế một tham số có cùng tên và gõ vào biểu thức cơ thể bên ngoài với thông số biến mà bạn đã khai báo khi tạo biểu thức khối. Bằng cách đó, tham số trong cơ thể sẽ là đối tượng giống như tham số trong khai báo khối và do đó LambdaExpression sẽ biên dịch.

Answer 3

Đừng quên vứt bỏ IEnumerator trong lần thử/cuối cùng - rất nhiều mã (chẳng hạn như File.ReadLines()) tùy thuộc vào điều đó.