C# Academy · 강의

안전하지 않은 코드, 포인터 및 고정 버퍼

unsafe 키워드를 사용하고, 포인터를 다루며, fixed로 관리 메모리를 고정하고, 구조체의 고정 크기 버퍼에 액세스합니다.

안전하지 않은 코드, 포인터 및 고정 버퍼은(는) CoddyKit의 무료 C# Academy 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C# Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C# Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

unsafe 코드란 무엇인가요

C#의 unsafe 키워드를 사용하면 원시 포인터, 포인터 연산, 고정 크기 버퍼를 통한 직접적인 메모리 조작이 가능해집니다. 이는 가비지 컬렉터(GC)의 안전성 보장을 우회합니다. 프로젝트 파일에서 <AllowUnsafeBlocks>true</AllowUnsafeBlocks>를 사용하여 활성화합니다.

// Must add to .csproj:
// <AllowUnsafeBlocks>true</AllowUnsafeBlocks>

// Unsafe blocks can appear inside methods:
unsafe
{
    int x = 42;
    int* ptr = &x;          // get address of x
    Console.WriteLine(*ptr); // dereference — prints 42
    *ptr = 100;
    Console.WriteLine(x);    // 100 — x was mutated via pointer
}

C#의 포인터 형식

포인터 구문은 C/C++와 유사합니다. T*는 T를 가리키는 포인터입니다. 관리되지 않는 값 형식(int, 배정밀도 실수형, 참조 필드가 없는 구조체)에 대한 포인터를 선언할 수 있습니다. 관리되는 형식에 대한 포인터는 허용되지 않습니다.

unsafe
{
    int    i = 10;
    double d = 3.14;

    int*    ip = &i;
    double* dp = &d;

    // Dereference with *
    Console.WriteLine(*ip); // 10

    // Pointer arithmetic — move to next int in memory
    int[] arr = { 1, 2, 3 };
    fixed (int* p = arr)
    {
        Console.WriteLine(*(p + 0)); // 1
        Console.WriteLine(*(p + 1)); // 2
        Console.WriteLine(*(p + 2)); // 3
    }
}

fixed 문

관리되는 개체는 GC에 의해 이동될 수 있습니다. 관리되는 개체의 주소를 가져오려면 fixed를 사용하여 고정해야 합니다. fixed 블록이 실행되는 동안 GC는 해당 개체를 이동하지 않습니다.

byte[] buffer = new byte[256];

unsafe
{
    fixed (byte* pBuf = buffer)
    {
        // pBuf is valid only inside this block
        // GC won't relocate 'buffer' here
        for (int i = 0; i < buffer.Length; i++)
            pBuf[i] = (byte)i;
    }
    // After 'fixed', GC can move 'buffer' again
}

Console.WriteLine(buffer[5]); // 5

포인터 연산

포인터에 정수를 더하거나 뺄 수 있습니다. int*에 1을 더하면 4바이트(int의 크기)만큼 이동합니다. 이는 빠른 대량 메모리 작업의 기반입니다.

unsafe
{
    int[] data = { 10, 20, 30, 40, 50 };
    fixed (int* start = data)
    {
        int* p = start;
        long sum = 0;
        for (int i = 0; i < data.Length; i++)
        {
            sum += *p;
            p++;    // advance by sizeof(int) = 4 bytes
        }
        Console.WriteLine(sum); // 150

        // Or with index syntax:
        Console.WriteLine(start[2]); // 30
    }
}

stackalloc: 스택 할당

stackalloc은 힙이 아닌 스택에 메모리 블록을 할당합니다. GC 부담이 없고 고정할 필요도 없습니다. 현재 메서드의 스택 프레임으로 제한되며 메서드가 반환되면 메모리가 자동으로 해제됩니다.

// Stack-allocated buffer — zero heap allocation
Span<int> buffer = stackalloc int[128]; // safe Span wrapper
buffer.Fill(0);
buffer[0] = 42;
Console.WriteLine(buffer[0]); // 42

// Or raw pointer form (requires unsafe):
unsafe
{
    int* raw = stackalloc int[128];
    raw[0] = 99;
    Console.WriteLine(raw[0]); // 99
}
// Stack frame popped — memory gone

구조체의 고정 크기 버퍼

고정 크기 버퍼는 고정 길이 배열을 구조체 안에 인라인으로 포함하므로 힙 할당이나 추가 포인터가 필요하지 않습니다. unsafe 컨텍스트에서 선언된 구조체 내부에 fixed 한정자를 사용합니다.

unsafe struct NetworkPacket
{
    public int  Length;
    public byte Command;
    public fixed byte Payload[256]; // 256 bytes inline in the struct
}

unsafe
{
    NetworkPacket pkt;
    pkt.Length  = 10;
    pkt.Command = 0x01;

    // Fill payload inline — no heap allocation
    for (int i = 0; i < 10; i++)
        pkt.Payload[i] = (byte)i;

    Console.WriteLine(pkt.Payload[5]); // 5
}
// sizeof(NetworkPacket) = 4 + 1 + 256 = ~261 bytes on stack

void* 및 형 변환

void*는 형식이 없는 포인터로, 일반적인 메모리 작업에 유용합니다. 역참조하기 전에 형식이 지정된 포인터로 형 변환해야 합니다. sizeof(T) 연산자는 unsafe 컨텍스트에서 관리되지 않는 형식에 사용할 수 있습니다.

unsafe
{
    int value = 42;
    void* vp = &value;      // typeless pointer
    int*  ip = (int*)vp;    // cast back to int*
    Console.WriteLine(*ip); // 42

    // sizeof works on unmanaged types
    Console.WriteLine(sizeof(int));    // 4
    Console.WriteLine(sizeof(double)); // 8
    Console.WriteLine(sizeof(long));   // 8
}

MemoryMarshal 및 Unsafe 클래스

System.Runtime.CompilerServices.Unsafe와 System.Runtime.InteropServices.MemoryMarshal은 저수준 작업 대부분에 사용할 수 있는 안전한 비키워드 대안을 제공합니다. Span과 호환되며 unsafe 키워드 없이 사용할 수 있습니다.

using System.Runtime.CompilerServices;
using System.Runtime.InteropServices;

// Reinterpret a Span<byte> as Span<int> — no copy, no unsafe keyword
byte[] raw = new byte[16];
Span<int> ints = MemoryMarshal.Cast<byte, int>(raw);
ints[0] = 12345678;
Console.WriteLine(ints[0]); // 12345678

// Unsafe.As<,> — reinterpret reference type (advanced)
ref int first = ref MemoryMarshal.GetReference(ints);
Unsafe.Add(ref first, 1) = 99999;
Console.WriteLine(ints[1]); // 99999

unsafe 코드를 사용해야 하는 경우와 사용하지 말아야 하는 경우

명확한 성능상의 필요가 있고 안전한 대안이 없을 때만 unsafe 코드를 사용하십시오. unsafe 코드가 사용되는 범위를 최소화하고, 비공개 도우미 메서드나 전용 형식으로 격리하십시오. 철저한 테스트를 작성하고 가정을 문서화하십시오.

// GOOD: narrow unsafe scope
public static unsafe int SumBytes(ReadOnlySpan<byte> data)
{
    int total = 0;
    fixed (byte* p = data)
    {
        byte* end = p + data.Length;
        for (byte* cur = p; cur < end; cur++)
            total += *cur;
    }
    return total;
}

// BETTER for modern code: use SIMD via Vector<T> or hardware intrinsics
// which stay in managed code but still achieve native-level perf

실전: 이진 프로토콜 구문 분석하기

구조체 레이아웃이 전송 형식과 정확히 일치해야 하는 이진 프로토콜을 구문 분석할 때 안전하지 않은 포인터와 고정 크기 버퍼가 특히 유용합니다. 바이트 버퍼에서 구조체로 직접 형 변환할 수 있어 복사가 전혀 필요하지 않습니다.

[StructLayout(LayoutKind.Sequential, Pack = 1)]
unsafe struct MessageHeader
{
    public uint  Magic;        // 4 bytes
    public ushort Version;    // 2 bytes
    public ushort PayloadLen; // 2 bytes
    public fixed byte Id[16]; // 16 bytes GUID inline
}

unsafe ReadOnlySpan<byte> SerializeHeader(MessageHeader hdr)
{
    // Cast struct directly to bytes — zero copy
    return new ReadOnlySpan<byte>(&hdr, sizeof(MessageHeader));
}

unsafe MessageHeader ParseHeader(ReadOnlySpan<byte> buf)
{
    fixed (byte* p = buf)
        return *(MessageHeader*)p; // reinterpret cast
}

빠른 확인

관리되는 개체의 주소를 가져올 때 fixed 문이 필요한 이유는 무엇인가요?

복습: unsafe 코드, 포인터 및 고정 버퍼

핵심 요점:

unsafe 키워드를 사용하면 원시 포인터를 사용할 수 있으며 프로젝트에서 AllowUnsafeBlocks가 필요합니다
fixed 문은 관리되는 개체를 고정하여 GC가 개체를 이동하지 못하게 합니다
포인터 연산은 바이트 수가 아니라 요소 크기만큼 이동합니다
stackalloc은 스택에 할당하므로 GC 부담이 없고 메서드가 종료되면 해제됩니다
고정 크기 버퍼(fixed byte Payload[N])는 배열을 구조체 안에 인라인으로 포함합니다
대부분의 상황에서는 Span<T>, MemoryMarshal, Unsafe 클래스를 우선 사용하십시오

자주 묻는 질문

“안전하지 않은 코드, 포인터 및 고정 버퍼” 강의는 무료인가요?

네 — “안전하지 않은 코드, 포인터 및 고정 버퍼” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C# Academy 강의 전체를 잠금 해제할 수 있습니다. C# Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

“안전하지 않은 코드, 포인터 및 고정 버퍼”에서 뭘 배우나요?

unsafe 키워드를 사용하고, 포인터를 다루며, fixed로 관리 메모리를 고정하고, 구조체의 고정 크기 버퍼에 액세스합니다. 브라우저에서 직접 실행하는 실습 코드로 C# Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

C# Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 C# Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.

“안전하지 않은 코드, 포인터 및 고정 버퍼” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 C# Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 C# Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

← C# Academy(으)로 돌아가기