Parametri di tipo generico (Guida per programmatori C#)

  • Articolo

In una definizione di tipo o metodo generico un parametro di tipo è un segnaposto per un determinato tipo specificato da un client durante la creazione di un'istanza del tipo generico. Una classe generica, ad esempio GenericList<T>, elencata in Introduzione ai generics, non può essere usata in quanto tale perché non è effettivamente un tipo, ma è piuttosto un progetto iniziale per un tipo. Per usare GenericList<T>, il codice client deve dichiarare un tipo costruito e crearne un'istanza specificando un argomento tipo racchiuso tra parentesi angolari. L'argomento tipo per questa classe specifica può essere qualsiasi tipo riconosciuto dal compilatore. È possibile creare un numero qualsiasi di istanze del tipo costruito, ognuna con un argomento tipo diverso, in questo modo:

GenericList<float> list1 = new GenericList<float>();
GenericList<ExampleClass> list2 = new GenericList<ExampleClass>();
GenericList<ExampleStruct> list3 = new GenericList<ExampleStruct>();

In ognuna di queste istanze di GenericList<T> ogni occorrenza di T nella classe viene sostituita in fase di esecuzione con l'argomento tipo. Per mezzo di questa sostituzione, sono stati creati tre oggetti efficienti e indipendenti dai tipi separati usando un'unica definizione di classe. Per altre informazioni su come questa sostituzione viene eseguita da CLR, vedere Generics in runtime.

È possibile apprendere le convenzioni di denominazione per i parametri di tipo generico nell'articolo sulle convenzioni di denominazione.

Vedi anche