Tại sao trình biên dịch C# không tự động suy ra các loại trong mã này?

Question

Tại sao trình biên dịch C# không phỏng đoán thực tế là FooExt.Multiply() thỏa mãn chữ ký của Functions.Apply()? Tôi phải xác định một biến đại biểu riêng biệt của loại Func<Foo,int,int> cho mã để làm việc ... nhưng nó có vẻ như suy luận kiểu nên xử lý này. Liệu tôi có sai? Và, nếu có, tại sao?

EDIT: Các lỗi biên dịch nhận được là:

Những lập luận kiểu cho phương pháp FirstClassFunctions.Functions.Apply<T1,T2,TR>(T1, System.Func<T1,T2,TR>, T2)' không thể được suy ra từ việc sử dụng. Cố gắng xác định các đối số loại một cách rõ ràng

namespace FirstClassFunctions { 
    public class Foo { 
     public int Value { get; set; } 

     public int Multiply(int j) { 
      return Value*j; 
     } 
    } 

    public static class FooExt { 
     public static int Multiply(Foo foo, int j) { 
      return foo.Multiply(j); 
     } 
    } 

    public static class Functions { 
     public static Func<TR> Apply<T1,T2,TR>(this T1 obj, 
               Func<T1,T2,TR> f, T2 val) { 
      return() => f(obj, val); 
     } 
    } 


    public class Main { 
     public static void Run() { 
      var x = new Foo {Value = 10}; 
      // the line below won't compile ... 
      var result = x.Apply(FooExt.Multiply, 5); 
      // but this will: 
      Func<Foo, int, int> f = FooExt.Multiply; 
      var result = x.Apply(f, 5); 
     } 
    } 

Answer 1

Tôi tin rằng đây là kết quả của sự bất lực VS2008 biên dịch C# để suy ra một cách chính xác các loại tham gia khi chuyển đổi một nhóm phương pháp để một đại biểu. @Eric Lippert thảo luận về hành vi này trong bài đăng của mình C# 3.0 Return Type Inference Does Not Work On Method Groups.

Nếu tôi nhớ chính xác, một số cải tiến đã được thực hiện trong trình biên dịch C# mới là một phần của VS2010, mở rộng các trường hợp suy luận nhóm phương pháp có thể.

Bây giờ, các quy tắc về suy luận kiểu khá phức tạp và tôi không phải là chuyên gia trong chủ đề này. Hy vọng rằng một người nào đó với một số kiến ​​thức thực sự có thể giải quyết câu hỏi này nếu tôi nhầm.