Por que Zig não tem alocações ocultas

Em Zig, nenhuma função da biblioteca padrão obtém silenciosamente memória do heap. Se o código precisa alocar, deve declarar isso explicitamente. 📦

Tudo que aloca recebe um Allocator como parâmetro. A memória não pode surgir a menos que você forneça à função a ferramenta para criá-la.

Zig não tem o operador new nem um coletor de lixo. Nada acessa o heap às suas costas como acontece em muitas linguagens.

Como a alocação é visível, você sempre sabe de onde vem a memória. Isso é essencial para chips embarcados, núcleos de sistemas e laços de jogos com alta exigência de desempenho.

Uma função que pode alocar mostra isso em sua assinatura: ela recebe um Allocator e geralmente retorna uma união de erro com !.

Variáveis locais simples vivem na pilha e não precisam de um Allocator. Você só recorre a um quando um valor precisa sobreviver à função ou crescer durante a execução.

Solicitar memória do heap pode falhar, portanto as funções de alocação retornam um erro. Você deve tratar uma possível situação OutOfMemory e nunca ignorá-la.

Quem chama o Allocator é proprietário do resultado e precisa liberá-lo. Zig nunca libera sua memória por você, portanto a propriedade é sempre clara.

Como o Allocator é um parâmetro, você pode trocar estratégias sem mudar a lógica. Os testes usam um Allocator, e a produção usa outro.

Uma biblioteca bem escrita nunca oculta uma alocação. Ela aceita seu Allocator, permitindo que você controle a memória até mesmo dentro do código de outras pessoas.

Essa regra faz parte da promessa de Zig de não ter fluxo de controle oculto. A alocação explícita mantém os programas previsíveis e fáceis de analisar. ✅

Você viu que Zig não tem alocações ocultas: a memória só vem por meio de um Allocator que você fornece, e você é proprietário de tudo o que cria e deve liberá-lo. 🎯