Thành phần chức năng

Question

Bên dưới chức năng Compose. Nếu f và g là các hàm đơn nhất trả về giá trị, thì Compose(f,g) trả về một hàm khi được gọi trên x thực hiện tương đương với f(g(x)).

static Func<X, Z> Compose<Z, Y, X>(Func<Y, Z> f,Func<X, Y> g) 
{ return x => f(g(x)); } 

Dưới đây là một vài Func giá trị đơn giản mà có thể được bao gồm:

Func<int, bool> is_zero = x => { return x == 0; }; 

Func<int, int> mod_by_2 = x => { return x % 2; }; 

Ví dụ: công trình này:

Console.WriteLine(Compose(is_zero, mod_by_2)(4)); 

Tuy nhiên, nếu tôi thay vì có những phương pháp tĩnh tương đương:

static bool IsZero(int n) { return n == 0; } 

static int ModBy2(int n) { return n % 2; } 

ví dụ tương tự không làm việc với những người. I E. này tạo ra một lỗi thời gian biên dịch:

Console.WriteLine(Compose(IsZero, ModBy2)(4)); 

loại Rõ ràng qua để Compose sửa chữa vấn đề này:

Console.WriteLine(Compose<bool, int, int>(IsZero, ModBy2)(4)); 

Liệu có cách nào để viết Compose như vậy mà nó hoạt động trên các phương pháp tĩnh mà không cần các loại rõ ràng?

Đây có phải là cách tiếp cận tốt để thực hiện Compose không? Có ai có thể cải thiện điều này không?

Answer 1

Vấn đề ở đây không phải là sử dụng phương pháp static mà là sử dụng các nhóm phương pháp. Khi bạn sử dụng một tên hàm như là một biểu thức mà không cần gọi nó thì đó là một nhóm phương thức và phải trải qua chuyển đổi nhóm phương thức. Bạn sẽ có cùng một vấn đề với các phương thức ví dụ.

Sự cố bạn đang gặp phải là C# không thể thực hiện suy luận kiểu trả về trên các nhóm phương pháp. Sử dụng Compose(IsZero, ModBy2)) yêu cầu loại trả về được suy ra cho cả IsZero và ModBy2 và do đó hoạt động này không thành công.

Đây là giới hạn được biết đến trong khả năng suy luận của trình biên dịch C#. Eric Lippert đã viết một bài trên blog sâu rộng về vấn đề cụ thể này trong đó bao gồm vấn đề này một cách chi tiết

• http://blogs.msdn.com/b/ericlippert/archive/2007/11/05/c-3-0-return-type-inference-does-not-work-on-member-groups.aspx