Что такое обобщения (generics) и ограничения (constraints)?

Question

Accepted Answer

**Обобщения (generics)** позволяют писать классы и методы, параметризованные типом, обеспечивая **безопасность типов и переиспользуемость** без дублирования кода и явного приведения типов. **Ограничения (constraints)** ограничивают, какие типы может принимать параметр обобщения, позволяя безопасно использовать члены этих типов. Обобщения широко распространены в C# (вся библиотека коллекций их использует). ## Проблема, которую решают обобщения ```csharp // without generics — either duplicate per type, or use `object` (unsafe, requires casts) object Get(object[] arr, int i) => arr[i]; // returns object → cast needed, runtime errors // with generics — type-safe and reusable T Get(T[] arr, int i) => arr[i]; // works for any T, returns the exact type int x = Get(new[] { 1, 2, 3 }, 0); // T inferred as int, no cast ``` Обобщения переносят ошибки типов из времени выполнения (приведение `object`) на время компиляции и исключают необходимость в приведениях типов — безопасный, переиспользуемый код. ## Обобщённые классы и методы ```csharp public class Box // a generic class { private T _value; public void Set(T value) => _value = value; public T Get() => _value; } var box = new Box(); // T = string, type-safe // generic method public T Max(T a, T b) where T : IComparable // constraint (see below) => a.CompareTo(b) > 0 ? a : b; ``` ## Ограничения — ограничить параметр типа ```csharp where T : class // T must be a reference type where T : struct // T must be a value type where T : new() // T must have a parameterless constructor where T : IComparable // T must implement an interface (so you can call its members) where T : BaseClass // T must derive from BaseClass // example: constraint lets you call CompareTo safely public T Max(T a, T b) where T : IComparable => a.CompareTo(b) > 0 ? a : b; // CompareTo is available because of the constraint ``` **Ограничения (constraints)** (`where T : ...`) ограничивают, чем может быть `T`, что позволяет безопасно использовать члены этого типа (например, ограничение `IComparable` позволяет вызвать `CompareTo`). Без ограничения `T` может быть чем угодно, поэтому нельзя предположить наличие каких-либо членов. ## Обобщения везде в .NET ```text List, Dictionary, IEnumerable, Task, Nullable ... → the entire collections library and much of .NET is generic. ``` ## Почему это важно Обобщения являются фундаментальной частью C# — они используются повсеместно (вся библиотека коллекций, `Task`, `IEnumerable` и бесчисленные API являются обобщёнными), поэтому их понимание необходимо для любой разработки на C#. Обобщения решают реальную проблему: написание переиспользуемого кода, который работает для нескольких типов, при этом сохраняя **безопасность типов** — альтернатива (использование `object` и приведение типов) жертвует безопасностью во время компиляции и требует ошибкоподверженных приведений, а дублирование кода для каждого типа невозможно поддерживать. Обобщения дают вам переиспользуемый, типобезопасный код без приведений типов и проверки ошибок на этапе компиляции. **Ограничения (constraints)** (`where T : ...`) — важное дополнение: они ограничивают, чем может быть параметр типа, что как позволяет безопасно использовать члены типа (ограничение интерфейсом позволяет вызывать его методы), так и гарантирует корректное использование. Понимание обобщённых классов и методов, того, как работает выведение типов, и ограничений (`class`, `struct`, `new()`, ограничения интерфейса/базового класса) необходимо как для эффективного использования универсальных библиотек .NET, так и для написания собственных переиспользуемых, типобезопасных абстракций. Поскольку обобщения лежат в основе коллекций C# и большей части framework, и поскольку они являются ключом к переиспользуемому типобезопасному коду, овладение обобщениями и ограничениями — это основное, часто применяемое знание для эффективной разработки на C# и частая тема, отражающая понимание типобезопасного, переиспользуемого проектирования.