Allocator-interfacet

Alle allokatorer i Zig sendes rundt som én enkelt type, std.mem.Allocator. Din kode taler med denne ene grænseflade, aldrig med en konkret bagende.

std.mem.Allocator er en lille grænseflade: en pointer plus en tabel med funktioner. Den beskriver, hvad en allokator kan gøre, ikke hvilken du bruger.

En sideallokator, en arena eller en testallokator har alle den samme form. Du kan udskifte den ene med den anden uden at ændre den kaldende kode.

Du anskaffer en konkret allokator og tager derefter dens .allocator()-håndtag, som du kan sende rundt som den generiske type std.mem.Allocator.

Når du har en allokator, sender du den samme værdi ind i enhver funktion, der har brug for hukommelse. Hele programmet kan dele én enkelt kilde.

std.heap.page_allocator beder operativsystemet direkte om hukommelse. Den er enkel, men grovkornet, så den egner sig til store eller langlivede blokke, ikke til små.

GeneralPurposeAllocator er det almindelige valg i fejlfindingsbygninger. Den holder styr på hver blok og rapporterer hukommelseslækager og dobbelt frigivelse for dig.

Når du programmerer mod grænsefladen, fungerer din funktion med enhver allokator. Den samme kode kan køre i test, på hardware uden operativsystem eller på en server.

En funktion er ligeglad med, hvilken allokator den modtog. Den kalder ganske enkelt metoder som alloc og free på den std.mem.Allocator, den fik.

Zig har ingen enkelt global heap. Du beslutter, hvilken allokator hver del af dit program bruger, så hukommelseskilderne forbliver synlige og lokale.

I test sender du i stedet std.testing.allocator ind. Den samme kode, men nu får hukommelseslækager testen til at fejle, hvilket viser, at grænsefladen kan betale sig. ✅

Du har lært, at std.mem.Allocator er én grænseflade over mange bagender, så kode, der beder om hukommelse, fungerer med enhver allokator, du giver den. 🎯