Понимание параметра T и обобщений в C#

Быстрые ссылки

• Как работает ?
• Ограничения типов
• Советы, паттерны и подводные камни
• Критерии приёмки

Как работает ?

Параметр типа, который вы видите как T, — это параметр обобщения (generic type parameter). Он позволяет определить класс, интерфейс или метод один раз и применять его к любым конкретным типам, сохраняя строгую типобезопасность.

Обобщённые коллекции — классический пример: вместо создания отдельных реализаций для List и List используется одна обобщённая декларация List.

Пример объявления класса с параметром типа:

public class GenericList
{
    private T[] _items;
    public void Add(T item) { /* ... */ }
    public T Get(int index) => _items[index];
}

Когда вы пишете GenericList, компилятор создаёт конкретную реализацию для int-типа на уровне сборки (в отличие от некоторых языков с type erasure). Это позволяет безопасно обращаться к элементам без приведения типов.

Важно: имя параметра типа (T) может быть любым допустимым идентификатором. Распространённые варианты: T, TKey, TValue, TInput, TOutput.

Где можно использовать обобщения

• Классы
• Структуры
• Интерфейсы
• Методы
• Делегаты

Пример обобщённого метода:

public static T Echo(T value)
{
    return value;
}

Вы также можете использовать T в сигнатуре метода:

public void Swap(ref T a, ref T b)
{
    T temp = a;
    a = b;
    b = temp;
}

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

Если метод или класс должен работать не со всяким типом, а с набором типов, вводят ограничения через where.

Синтаксис:

where T : Условие1, Условие2

Часто используемые ограничения:

• where T : ClassName — T должен быть ClassName или производным от него.
• where T : InterfaceName — T должен реализовывать интерфейс.
• where T : class — T должен быть ссылочным типом.
• where T : struct — T должен быть непустым значимым типом (value type).
• where T : notnull — T не может быть nullable (включая nullable-ссылочные типы при включённом nullable).
• where T : new() — T должен иметь публичный конструктор без параметров.
• where T : TOther — T должен быть TOther или наследником TOther.
• where T : unmanaged — T должен быть неуправляемым (для низкоуровневых сценариев).
• where T : Enum — T должен быть перечислением (доступно с C# 7.3+).
• where T : Delegate — T должен быть делегатом (C# 7.3+).

Пример: функция, принимающая любые виды фруктов и возвращающая список апельсинов:

public List GetOranges(T input) where T : Fruit
{
    // Реализация, использующая свойства/методы Fruit
}

Если вы попытаетесь вызвать GetOranges с типом, не унаследованным от Fruit, компилятор выдаст ошибку во время сборки:

Несколько ограничений

Ограничения перечисляются через запятую:

where T : class, IMyInterface, new()

Порядок ограничений важен: new() должно стоять последним.

Ковариантность и контравариантность

Понятия важны для интерфейсов и делегатов. Кратко:

• Ковариантность (out) позволяет использовать более производный тип в возвращаемом значении.
• Контравариантность (in) позволяет принимать более базовый тип в параметрах.

Пример интерфейса:

public interface IEnumerable
{
    T GetElement();
}

IEnumerable можно присвоить IEnumerable