메모리와 버퍼

기본 수동 할당

import("std::mem::alloc")::{mem_alloc, mem_free};
import("std::mem::ops")::{mem_zero};

fun main() {
    var size: i64 = 256;
    var memory: ptr<u8> = mem_alloc(size);

    if (memory != null) {
        mem_zero(memory, size);
        mem_free(memory, size);
    }
}

mem_alloc(size)는 ptr<u8>를 반환하고 실패 시 null을 반환할 수 있습니다. mem_free는 포인터와 원래 할당 크기를 함께 받습니다.

zeroed와 realloc

std::mem::alloc은 다음 함수를 제공합니다.

• mem_alloc
• mem_alloc_zeroed
• mem_realloc
• mem_free
• 제네릭 item 할당·재할당·해제 도우미
• 페이지 수와 페이지 정렬 크기 도우미
• 정렬 할당과 해제 도우미

mem_realloc은 새 저장소를 할당하고 기존 내용에서 새 크기에 들어가는 범위를 복사합니다. 성공하면 기존 저장소를 해제하고 새 포인터를 반환합니다. 새 할당이 실패하면 null을 반환하며 기존 저장소는 그대로 유지됩니다.

크기 단위

메모리 함수의 주요 크기 인자는 i64 바이트 수입니다. 호출부에서 요소 개수와 바이트 수를 혼동하지 않도록 변수 이름에 단위를 드러내는 편이 좋습니다.

var count: i64 = 32;
var elem_size: i64 = 4;
var bytes: i64 = count * elem_size;

포인터 접근

수동 할당으로 얻은 ptr<u8>는 경계 정보를 포함하지 않습니다. deref p[index]로 접근하기 전에 index가 할당 크기 안에 있는지 호출자가 확인해야 합니다.

std::buffer

std::buffer는 std::mem 위에 구성된 버퍼 도우미를 제공합니다. 버퍼 API를 사용할 때도 할당 실패, 길이와 capacity, 소유권과 해제 시점을 API 계약에 맞게 관리해야 합니다.

수동 메모리를 다루는 코드는 할당과 해제를 가능한 한 같은 추상화 계층에 두면 누수와 크기 불일치를 줄이기 쉽습니다.