ES CSharp Generics

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

Genéricos y restricciones de tipo

Manual C# · Ejemplos UO

Un tipo o método genérico recibe parámetros de tipo, por ejemplo T. El compilador comprueba las llamadas a estos tipos. Las restricciones where describen las propiedades necesarias: tipo base, interfaz, class, struct, notnull, unmanaged o constructor accesible new().

Ejemplo sencillo (Example.cs)

Guarde este ejemplo por separado como Example.cs. Ejecútelo independientemente de los demás ejemplos de esta página.

Example.cs:

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

Resultado:

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 y out para interfaces genéricas y delegados expresan contravarianza y covarianza; este es un uso de palabras diferente al de los parámetros del método in/out. Especifican conversiones válidas de tipos de referencia compatibles.

Documentación oficial: Tipo genéricos y restricciones - Microsoft Learn.