爲什麼我不需要在C＃中指定類型參數？

Question

我有一個函數，它採用泛型類型參數。這很簡單：

private static void Run<T>(IList<T> arg) 
{ 
    foreach (var item in arg) 
    { 
     Console.WriteLine(item); 
    } 
} 

我發現我可以調用這個函數沒有指定類型參數：

static void Main(string[] args) 
{ 
    var list = new List<int> { 1, 2, 3, 4, 5 }; 

    //both of the following calls do the same thing 
    Run(list); 
    Run<int>(list); 

    Console.ReadLine(); 
} 

這編譯和運行就好了。爲什麼這個工作沒有指定類型參數？代碼如何知道T是一個int？有沒有這個名字？

Answer 1

類型推斷。

類型推斷的相同規則適用於靜態方法和實例方法。編譯器可以根據你在

http://msdn.microsoft.com/en-us/library/twcad0zb.aspx

Answer 2

通過編譯器可以推斷你傳入的參數類型的方法參數推斷出類型參數..

從docs：

編譯器可以基於您傳入的參數的方法推斷出類型參數;它不僅可以從 約束或返回值

埃裏克利珀也有仿製藥超負荷選擇一個有趣的閱讀推斷類型參數： http://blogs.msdn.com/b/ericlippert/archive/2009/12/10/constraints-are-not-part-of-the-signature.aspx

Answer 3

接受的答案是正確的。欲瞭解更多的背景信息，這裏有一些資源給你：

我的視頻解釋的類型推斷的是如何改變C＃3.0：

http://ericlippert.com/2006/11/17/a-face-made-for-email-part-three/

我們怎麼知道該類型推理過程不會去進入無限循環？

http://ericlippert.com/2012/10/02/how-do-we-ensure-that-method-type-inference-terminates/

爲什麼不限制類型推斷的過程中考慮？特別閱讀評論。

http://blogs.msdn.com/b/ericlippert/archive/2009/12/10/constraints-are-not-part-of-the-signature.aspx