**Span<T>**와 **Memory<T>**는 연속된 메모리(배열, 문자열, 버퍼)를 할당이나 복사 없이 효율적으로 다루기 위한 현대 .NET 타입입니다. 새 복사본을 만드는 대신 기존 메모리에 대한 **뷰(view)**를 제공하여 고성능 코드를 가능하게 하고, GC 압박을 줄입니다.
text = ;
sub = text.Substring();
ReadOnlySpan<> span = text.AsSpan();
Substring이나 배열 슬라이싱 같은 연산은 새 객체를 할당하고 데이터를 복사합니다. Span<T>는 대신 기존 메모리에 대한 뷰(포인터 + 길이)를 제공합니다 — 슬라이싱은 비용이 없고 할당이 없습니다.
int[] numbers = { 1, 2, 3, 4, 5 };
Span<int> slice = numbers.AsSpan(1, 3); // {2, 3, 4} — 뷰, 복사 없음
slice[0] = 99; // 원본 배열을 수정(뷰이므로)
// 부분 문자열 할당 없이 파싱
ReadOnlySpan<char> input = "123,456".AsSpan();
int first = int.Parse(input.Slice(0, 3)); // 슬라이스를 파싱, 부분 문자열 할당 없음
Span<T>는 할당 없이 배열/문자열/버퍼를 슬라이스하고 처리하게 합니다 — 핫 패스(파싱, 직렬화, 큰 데이터 처리)에 결정적입니다.
Span<T>는 ref struct임 — 스택에만 존재 가능(힙 불가, async 메서드 불가, 클래스 필드
불가). 이는 안전성을 보장하지만 사용할 수 있는 곳을 제한함.
// Memory<T>는 Span<T>와 비슷하지만 필드가 될 수 있고 await에 걸쳐 사용 가능(힙 저장 가능)
async Task ProcessAsync(Memory<byte> buffer) // async에서 동작(Span<T>는 불가)
{
await stream.ReadAsync(buffer);
Span<byte> span = buffer.Span; // 처리가 필요할 때 Span을 얻음
}
Memory<T>는 뷰를 저장하거나 async 코드(여기서 Span<T>의 스택 전용 특성이 동작하지 않음)에서 사용해야 하는 시나리오에 대해 Span<T>를 보완합니다.
Span<T>와 Memory<T>는 고성능, 할당 없는 코드를 위한 중요한 현대 .NET 기능이며, 이를 이해하는 것은 성능이 중요한 애플리케이션을 위한 가치 있는 시니어 수준 지식입니다.
핵심 가치는 새 복사본을 할당하기보다 기존 메모리에 대한 뷰를 제공하여 연속된 메모리(배열, 문자열, 버퍼)를 효율적으로 다루게 하는 것입니다 — 이것이 중요한 이유는 할당이 GC 압박을 만들고, 핫 패스(파싱, 직렬화, 큰 데이터 처리, 네트워크 버퍼)에서 할당 회피가 성능을 크게 개선하기 때문입니다.
보통 할당하는 연산(Substring, 배열 슬라이싱)을 span으로 할당 없이 할 수 있어 메모리 사용과 GC 오버헤드를 줄입니다.
Span<T>(배열/문자열/버퍼의 복사 없는 슬라이싱), 그 스택 전용 제약(ref struct이므로 클래스 필드가 될 수 없고 async 메서드에서 사용할 수 없음 — 핵심 한계), 그리고 Memory<T>(저장하고 async 코드에서 사용할 수 있는 보완)를 이해하는 것은 고성능 C#을 작성하는 데 중요합니다.
이 타입들은 현대 .NET 자체의 성능이 중요한 코드에 광범위하게 사용되고, 할당 없는 효율적 메모리 처리가 중요한 라이브러리와 애플리케이션에서 점점 더 사용됩니다.
일상적인 비즈니스 로직에는 필요하지 않지만, Span<T>/Memory<T>를 이해하는 것 — 무엇을 하는지(할당 없는 메모리 뷰), 왜 도움이 되는지(할당과 GC 압박 감소), 그 제약 — 은 성능에 민감한 C# 개발(파싱, 직렬화, 고처리량 시스템)에 가치가 있으며, 매우 효율적인 .NET 코드를 작성할 수 있는 개발자를 구별하고, 성능 중심의 시니어 직무에 관련된 주제입니다.