Zig에 숨은 할당이 없는 이유

Zig에서는 표준 라이브러리 함수가 조용히 힙 메모리를 가져가지 않습니다. 코드에서 할당이 필요하다면 반드시 명시적으로 작성해야 합니다. 📦

할당하는 모든 것은 매개변수로 할당자를 받습니다. 함수를 호출해 메모리를 만드는 도구를 전달하지 않으면 메모리가 저절로 생기지 않습니다.

Zig에는 new 연산자나 가비지 컬렉터가 없습니다. 다른 많은 언어처럼 뒤에서 몰래 힙에 접근하는 일도 없습니다.

할당이 눈에 보이므로 메모리가 어디에서 오는지 항상 알 수 있습니다. 이는 임베디드 칩, 커널, 짧은 게임 반복문에서 매우 중요합니다.

할당할 수 있는 함수는 시그니처에 그 사실을 표시합니다. 해당 함수는 할당자를 받고, 보통 !가 붙은 오류 유니언을 반환합니다.

일반 지역 변수는 스택에 저장되므로 할당자가 필요하지 않습니다. 값이 함수보다 오래 유지되거나 실행 중에 커져야 할 때만 할당자를 사용합니다.

힙 메모리를 요청하면 실패할 수 있으므로, 할당 함수는 오류를 반환합니다. 발생할 수 있는 OutOfMemory를 반드시 처리하고 절대 무시해서는 안 됩니다.

할당자를 호출한 쪽이 결과를 소유하며 반드시 free해야 합니다. Zig는 메모리를 대신 해제하지 않으므로 소유권이 항상 명확합니다.

할당자가 매개변수이므로 로직을 바꾸지 않고도 전략을 교체할 수 있습니다. 테스트에서는 한 할당자를 사용하고 운영 환경에서는 다른 할당자를 사용할 수 있습니다.

잘 작성된 라이브러리는 할당을 숨기지 않습니다. 사용자의 할당자를 받으므로 다른 사람이 작성한 코드 내부에서도 메모리를 직접 제어할 수 있습니다.

이 규칙은 숨겨진 제어 흐름을 만들지 않겠다는 Zig의 약속에 포함됩니다. 명시적 할당은 프로그램을 예측하기 쉽고 추론하기 쉽게 만듭니다. ✅

Zig 함수가 할당할 수 있는 권한을 어떻게 얻는지 떠올려 보십시오.

Zig에는 숨겨진 할당이 없음을 살펴보았습니다. 메모리는 전달한 할당자를 통해서만 생기며, 만든 것은 직접 소유하고 free해야 합니다. 🎯