Tại sao các đối số kiểu này không thể suy ra?

Question

thể trùng lặp:
C# 3.0 generic type inference - passing a delegate as a function parameter

Tại sao có thể không phải là đối số loại mẫu mã sau đây trong các cuộc gọi trong Main được suy ra?

using System; 

class Program 
{ 
    static void Main(string[] args) 
    { 
     Method(Action); 
    } 

    static void Action(int arg) 
    { 
     // ... 
    } 

    static void Method<T>(Action<T> action) 
    { 
     // ... 
    } 
} 

này cung cấp cho các thông báo lỗi sau: CS0411

lỗi: Những lập luận kiểu cho phương pháp Program.Method<T>(System.Action<T>) không thể được suy ra từ việc sử dụng. Hãy thử xác định các đối số kiểu một cách rõ ràng.

Answer 1

Chỉ cần đặt đây là trình biên dịch tôi hiểu ý bạn là gì.

Tôi nghĩ rằng đó là vì Action được sử dụng làm nhóm phương pháp, nhưng không thuộc loại Action<int>.

Nếu bạn bỏ nó vào loại hình này hoạt động:

Method((Action<int>)Action); 

Answer 2

này hoạt động:

static void Main(string[] args) 
    { 
     Method<int>(Action); 
    } 

    static void Action(int arg) 
    { 
     // ... 
    } 

    static void Method<T>(Action<T> action) 
    { 
     // ... 
    } 

Answer 3

Vấn đề là Action (ngoài đã trở thành một loại; xin đổi tên nó) là thực sự nhóm phương pháp có thể chuyển đổi thành loại đại biểu Action<int>. Công cụ suy luận loại không thể suy ra loại vì các biểu thức nhóm phương thức là typeless. Nếu bạn thực sự truyền nhóm phương thức đến Action<int>, thì kiểu suy luận thành công:

Method((Action<int>)Action); // Legal