IT CSharp Generics

Українська · Русский · English · Deutsch · Français · Italiano · Español · 繁體中文 · 日本語 · 한국어

Generici e restrizioni di tipo

Manuale C# · Esempi UO

Un tipo o metodo generico riceve parametri di tipo, ad esempio T. Il compilatore controlla le chiamate a questi tipi. I vincoli where descrivono le proprietà necessarie: tipo base, interfaccia, class, struct, notnull, unmanaged o costruttore accessibile new().

Esempio semplice (Example.cs)

Salvare questo esempio separatamente come Example.cs. Eseguirlo indipendentemente dagli altri esempi di questa pagina.

Example.cs:

// PROJECT-EXAMPLE
T Echo<T>(T value) => value;
System.Console.WriteLine(Echo(7));
System.Console.WriteLine(Echo("ore"));

Risultato:

7
ore

T FirstOrFallback<T>(IReadOnlyList<T> values, T fallback)
{
    return values.Count > 0 ? values[0] : fallback;
}

int first = FirstOrFallback(new[] { 10, 20 }, 0);
UO.Print(first.ToString());

sealed class Store<T> where T : notnull
{
    private readonly HashSet<T> values = new();
    public bool Add(T value) => values.Add(value);
    public int Count => values.Count;
}

var store = new Store<string>();
store.Add("self");
UO.Print(store.Count.ToString());

in e out per interfacce generiche e delegati esprimono controvarianza e covarianza; questo è un uso diverso delle parole rispetto ai parametri del metodo in/out. Specificano conversioni valide di tipi di riferimento compatibili.

Documentazione ufficiale: Generici e vincoli di tipo - Microsoft Learn.