Cách tạo Biểu thức <Func <động, động >> - Hay là một lỗi?

Question

Trong công việc của tôi với cây biểu hiện trong một vài ngày nay, tôi bắt gặp một cái gì đó mà tôi thấy khó hiểu; hy vọng ai đó sẽ có thể làm sáng tỏ ở đây.

Nếu bạn mã Expression<Func<dynamic, dynamic>> expr1 = x => 2 * x; trình biên dịch sẽ khiếu nại và bạn sẽ không nhận được bất kỳ đâu. Tuy nhiên, nó dường như rằng nếu bạn tạo ra một biểu thức như vậy thông qua một phương pháp thì trình biên dịch có vẻ là hạnh phúc về nó và các ứng dụng kết quả hoạt động. Điều này không có ý nghĩa, vì vậy tôi tự hỏi những gì diễn ra đằng sau tấm màn.

Tôi cho rằng, dưới mui xe, khái niệm được trả về bởi ConvertExpression có lẽ là loại Expression<Func<object, object>>, mà là một loại hợp lệ, nhưng nó câu đố với tôi rằng tôi không thể sử dụng Expression<Func<dynamic, dynamic>> gõ vào một lời tuyên bố và nhưng tôi có thể sử dụng nó là kiểu trả về của một phương thức. Xem ví dụ bên dưới.

Cảm ơn rất nhiều!

public class ExpressionExample 
{ 
    public void Main() 
    { 
     // Doesn't compile: 
     //Expression<Func<dynamic, dynamic>> expr1 = x => 2 * x; 

     // Compiles and works - OK 
     Expression<Func<double, double>> expr2 = x => 2 * x; 
     Func<double, double> func2 = (Func<double, double>)expr2.Compile(); 
     Console.WriteLine(func2(5.0).ToString()); // Outputs 10 

     // Compiles and works - ??? This is the confusing block... 
     Expression<Func<dynamic, dynamic>> expr3 = ConvertExpression(expr2); 
     Func<dynamic, dynamic> func3 = (Func<dynamic, dynamic>)expr3.Compile(); 
     Console.WriteLine(func3(5.0).ToString()); // Outputs 10 

     // Side note: compiles and works: 
     Expression<Func<object, object>> expr4 = x => double.Parse(2.ToString()) * double.Parse(x.ToString()); 
     Func<object, object> func4 = (Func<object, object>)expr4.Compile(); 
     Console.WriteLine(func4(5.0).ToString()); // Outputs 10 
    } 

    private Expression<Func<dynamic, dynamic>> ConvertExpression<TInput, TOutput>(Expression<Func<TInput, TOutput>> expression) 
    { 
     Expression<Func<object, TInput>> convertToInput = value => (TInput)value; 
     // The following doesn't compile: var input = Expression.Parameter(typeof(dynamic), "input"); 

     var input = Expression.Parameter(typeof(object), "input");   

     Expression<Func<TOutput, dynamic>> convertToOutput = value => (dynamic)value; 

     var body = Expression.Invoke(convertToOutput, Expression.Invoke(expression, Expression.Invoke(convertToInput, input))); 
     var lambda = Expression.Lambda<Func<dynamic, dynamic>>(body, input); 

     return lambda; 
    } 
} 

Answer 1

Tôi cho rằng, dưới mui xe, khái niệm được trả về bởi ConvertExpression có lẽ là loại Expression<Func<object, object>>, mà là một loại hợp lệ

đúng.

Tôi không thể sử dụng Expression<Func<dynamic, dynamic>> nhập tuyên bố và tôi có thể sử dụng nó làm kiểu trả về của phương thức.

Phần này của tuyên bố không chính xác. Như bạn lưu ý trong ví dụ của bạn, nó là hoàn toàn hợp pháp để sử dụng loại đó trong khai báo của một biến địa phương.

Bit không hợp pháp là việc thực hiện thao tác động bên trong lambda đang được chuyển đổi thành loại cây biểu thức. Loại cây biểu thức cụ thể không liên quan; điều quan trọng là hoạt động này là năng động.

Answer 2

Lỗi trình biên dịch tôi gặp khi tôi thử mã là "lỗi CS1963: Cây biểu thức có thể không chứa hoạt động động". Tôi đã thay đổi dòng sự cố thành Expression<Func<dynamic, dynamic>> expr1 = x => x; (loại bỏ "thao tác" khỏi lambda) và nó hoạt động! Vì vậy, bạn được phép có động lực trong các biểu thức, nhưng bạn không thể thực sự thực hiện bất kỳ "hoạt động" trên chúng. Không phải là rất hữu ích, tôi biết. Trong thử nghiệm của tôi, thậm chí .ToString() được tính là một hoạt động.