C＃泛型方法不指定類型

Question

好了，所以我是一個Java的人開始使用C＃和我的編碼，並開始做一個通用的方法和我寫的運行和編譯，但它違揹我知道泛型應該如何工作的一切所以我希望有人可以給我講解一下：

所以我有一個通用的方法定義如下：

public static List<T> CopyAsList<T>(IEnumerable<T> list, Object lockObject) 
{ 
    if (list != null) 
    { 
     lock (lockObject) 
     { 
      return new List<T>(list); 
     } 
    } 
    return null; 
} 

但奇怪的事情對我來說，我可以把這個泛型方法而沒有指定T，它會工作：

List<String> strings = new List<string>() { "a", "b", "c"}; 
List<int> ints = new List<int>() { 1,2,3}; 
object lockObject = new object(); 

foreach (string s in CopyAsList(strings, lockObject)) 
{ 
    Console.WriteLine(s); 
} 

foreach (int i in CopyAsList(ints, lockObject)) 
{ 
    Console.WriteLine(i); 
} 

它是如何的代碼能而沒有指定泛型類型編譯？ C＃在運行時推斷類型嗎？

Answer 1

沒有，可以推斷在編譯的時候 - 在你提供的IEnumerable<T>泛型類型參數時，它在編譯時是已知的。一般來說，關於泛型和類型參數的所有內容都是在編譯時指定的。如果有任何類型的不匹配，編譯器將抱怨並且您的代碼不會編譯。

存在邊緣情況，您必須明確指定類型，這些情況只發生在重載方法的罕見情況下，有時會帶有多個類型參數組合。

Answer 2

C＃的編譯器通常可以在編譯時推斷一般類型。當它可以做到這一點時，你不需要爲泛型方法指定類型。

這是什麼使LINQ「可用」的重要組成部分。如果沒有編譯時類型推斷，查詢看起來像：

IEnumerable<int> myIds = myCollection 
          .Where<MyType>(i => i.Name == "Foo") 
          .Select<MyType, int>(i => i.Id); 

而不是能寫：

var myIds = myCollection.Where(i => i.Name == "Foo").Select(i => i.Id); 

Answer 3

C＃有一個偉大的更多的編譯時和運行時類型推斷的功能比Java。如果這個問題你感興趣，請參閱我的文章的題目：

http://blogs.msdn.com/b/ericlippert/archive/tags/type+inference/

如果你特別感興趣泛型方法的類型推斷和你有一個半小時的空閒時間，這裏是我解釋我們是如何改變C＃3中的類型推斷算法：

http://blogs.msdn.com/b/ericlippert/archive/2006/11/17/a-face-made-for-email-part-three.aspx