C# metodo generico senza specificare Tipo

Question

Ok, quindi io sono un ragazzo Java di iniziare a utilizzare C# ed ero codifica e iniziato a fare un metodo generico e quello che ho scritto corre e compila ma va contro tutto quello che so su come farmaci generici dovrebbero funzionare così sto sperando che qualcuno può spiegare questo a me:

così ho un metodo generico definito come segue:

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

Ma la cosa strana per me è che posso chiamare questo metodo generico, senza mai specificare T e funzionerà:

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); 
} 

Come è possibile che il codice è in grado di compilare, senza mai specificare il tipo generico? C# deduce il tipo in fase di esecuzione?

Answer 1

No, viene dedotto in fase di compilazione: viene utilizzato il parametro di tipo generico nello IEnumerable<T> fornito dall'utente, che è noto al momento della compilazione. Generalmente put, tutto il riguardante generici e parametri di tipo è specificato al momento della compilazione. In caso di mancata corrispondenza di qualsiasi tipo, il compilatore si lamenterà e il tuo codice non verrà compilato.

Ci sono casi limite in cui si deve specificare i tipi in modo esplicito, questi si verifica solo in rare circostanze con metodi di overload, a volte con molteplici combinazioni di parametri di tipo.

Answer 2

Il compilatore C# può spesso dedurre il tipo generico in fase di compilazione. Quando può farlo, non è necessario specificare il tipo per un metodo generico.

Questa è una parte importante di ciò che rende LINQ "utilizzabile". Senza di compilazione tipo di tempo l'inferenza, le query sarà simile:

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

Invece di essere in grado di scrivere:

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

Answer 3

C# ha un grande molti di più a tempo di compilazione e le caratteristiche di inferenza di tipo runtime di Java. Se questo argomento vi interessa, vedere i miei articoli sul tema:

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

Se sono in particolare interessati a tipo metodo generico inferenza e si dispone di una mezz'ora di anticipo, ecco mi spiegare come abbiamo cambiato l'algoritmo di inferenza di tipo in C# 3:

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