Neden bu tür bağımsız değişkenler çıkarılamıyor?

Question

Olası Çoğalt: Neden Main yılında görüşmesinde aşağıdaki kod örneği tipi argümanlar
C# 3.0 generic type inference - passing a delegate as a function parameter

çıkarımda?

using System; 

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

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

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

Bu aşağıdaki hata iletisini sağlar:

hata CS0411: yöntem Program.Method<T>(System.Action<T>) tip argümanlar kullanım çıkarılabilir edilemez. Tip argümanlarını açıkça belirtmeyi deneyin.

Answer 1

Bunu koymak derleyicinin ne demek istediğini görüyorum.

Bunun nedeni, bir yöntem grubu olarak Action kullanılmasının nedeni, ancak Action<int> türünde olmamasıdır. Bu tip için döküm halinde

çalışır:

Method((Action<int>)Action); 

Answer 2

Bu çalışır:

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

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

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

Answer 3

sorun Action olmasıdır; aslında (bir kenara zaten bir tür olmaktan yeniden adlandırmak lütfen) , temsilci türü Action<int>'a dönüştürülebilen bir yöntem grubudur. Yöntem türü ifadeleri, yazım hatası olan olduğundan, tür-sonuçlandırma motoru türden çıkamaz. Yöntem grubunu gerçekten Action<int>'a atarsanız, yazım sonu değeri başarılı olur:

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