De allocatorinterface

Elke allocator in Zig wordt doorgegeven als één type: std.mem.Allocator. Je code praat met die ene interface, nooit met een concrete back-end.

std.mem.Allocator is een kleine interface: een pointer plus een tabel met functies. Het beschrijft wat een allocator kan doen, niet welke allocator je gebruikt.

Een pagina-allocator, een arena of een test-allocator bieden allemaal dezelfde vorm. Je kunt de ene door de andere vervangen zonder de aanroepende code te wijzigen.

Je verkrijgt een concrete allocator en gebruikt vervolgens de .allocator()-handle om die door te geven als het algemene type std.mem.Allocator.

Zodra je een allocator hebt, geef je die ene waarde door aan elke functie die geheugen nodig heeft. Het hele programma kan één bron delen.

std.heap.page_allocator vraagt rechtstreeks geheugen aan het besturingssysteem. Deze allocator is eenvoudig maar grofmazig, en is daarom geschikt voor grote of lang levende blokken, niet voor kleine.

De GeneralPurposeAllocator is de gebruikelijke keuze in foutopsporingsbuilds. Hij houdt elk blok bij en meldt geheugenlekken en dubbele vrijgave voor je.

Als je tegen de interface programmeert, werkt je functie met elke allocator. Dezelfde code draait in tests, op bare metal of op een server.

Een functie hoeft niet te weten welke allocator hij heeft gekregen. Hij roept gewoon methoden zoals alloc en free aan op de std.mem.Allocator die eraan is doorgegeven.

Zig heeft geen enkele globale heap. Je bepaalt welke allocator elk deel van je programma gebruikt, zodat de geheugenbronnen zichtbaar en lokaal blijven.

In tests geef je in plaats daarvan std.testing.allocator door. Dezelfde code, maar nu laten geheugenlekken de test mislukken, wat bewijst dat de interface zijn nut heeft. ✅

Je hebt geleerd dat std.mem.Allocator één interface over veel back-ends is. Daardoor werkt code die om geheugen vraagt met elke allocator die je eraan doorgeeft. 🎯