Span<T> и Memory<T> — это современные типы .NET для работы с смежной памятью (массивы, строки, буферы) эффективно — без выделений памяти и копирований. Они обеспечивают высокопроизводительный код, предоставляя представление существующей памяти вместо создания новых копий, снижая нагрузку на сборщик мусора.
// ❌ Substring allocates a NEW string (copies the data) — GC pressure in hot paths
string text = "Hello, World";
string sub = text.Substring(7); // allocates a new "World" string
// ✅ Span — a VIEW into the existing memory, NO allocation, NO copy
ReadOnlySpan<char> span = text.AsSpan(7); // "World" — points into the original
Операции вроде Substring или срезы массивов выделяют новые объекты и копируют данные. Span<T> вместо этого предоставляет представление (указатель + длина) существующей памяти — срезы не стоят ничего, не выделяют памяти.
int[] numbers = { 1, 2, 3, 4, 5 };
Span<int> slice = numbers.AsSpan(1, 3); // {2, 3, 4} — a VIEW, no copy
slice[0] = 99; // modifies the ORIGINAL array (it's a view)
// parse without allocating substrings
ReadOnlySpan<char> input = "123,456".AsSpan();
int first = int.Parse(input.Slice(0, 3)); // parse a slice, no substring allocation
Span<T> позволяет делать срезы и обрабатывать массивы/строки/буферы без выделений — критично для горячих путей (парсинг, сериализация, обработка больших данных).
Span<T> is a ref struct — it can ONLY live on the stack (not on the heap, not in
async methods, not as a class field). This guarantees safety but limits where it's used.
// Memory<T> is like Span<T> but CAN be a field / used across await (heap-storable)
async Task ProcessAsync(Memory<byte> buffer) // works in async (Span<T> can't)
{
await stream.ReadAsync(buffer);
Span<byte> span = buffer.Span; // get a Span from it when you need to process
}
Memory<T> дополняет Span<T> для сценариев, где нужно сохранить представление или использовать его в асинхронном коде (где ограничение Span<T> на стек не подходит).
Span<T> и Memory<T> — важные современные возможности .NET для высокопроизводительного, свободного от выделений кода, и их понимание — ценное знание уровня senior для приложений, критичных по производительности.
Их основная ценность — обеспечение эффективной работы со смежной памятью (массивы, строки, буферы) путём предоставления представления существующей памяти вместо выделения новых копий — это важно, потому что выделения создают нагрузку на сборщик мусора, а на горячих путях (парсинг, сериализация, обработка больших данных, сетевые буферы) избегание выделений существенно улучшает производительность.
Операции, которые обычно выделяют (Substring, срезы массивов), могут быть выполнены без выделений со спанами, снижая потребление памяти и нагрузку на сборщик мусора.
Понимание Span<T> (срезы без копирования массивов/строк/буферов), его ограничения на стек (это ref struct, поэтому не может быть полем класса или использоваться в асинхронных методах — ключевое ограничение) и Memory<T> (дополнение, которое может быть сохранено и использовано в асинхронном коде) важно для написания высокопроизводительного C#.
Эти типы широко используются в собственном высокопроизводительном коде современного .NET и всё чаще в библиотеках и приложениях, где имеет значение свободная от выделений, эффективная работа с памятью.
Хотя и не требуется для повседневной бизнес-логики, понимание Span<T>/Memory<T> — что они делают (представления памяти без выделений), почему они помогают (снижение выделений и нагрузки на сборщик мусора) и их ограничения — ценно для чувствительного к производительности C# разработки (парсинг, сериализация, высокопроизводительные системы), отличает разработчиков, которые могут писать высокоэффективный код .NET, и актуально для ролей senior, сосредоточенных на производительности.