RU CSharp Generics

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

Обобщения и ограничения типов

Руководство C# · Примеры UO

Generic-тип или метод получает параметры типов, например T. Компилятор проверяет обращения к этим типам. Ограничения where описывают необходимые свойства: базовый тип, интерфейс, class, struct, notnull, unmanaged или доступный конструктор new().

Простой пример (Example.cs)

Сохраните этот пример отдельно как Example.cs. Запускайте его независимо от остальных примеров страницы.

Example.cs:

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

Результат:

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 и out у generic-интерфейсов и делегатов выражают контравариантность и ковариантность; это другое применение слов, чем параметры метода in/out. Они задают допустимые преобразования совместимых ссылочных типов.

Официальная документация: Обобщения и ограничения типов — Microsoft Learn.