De testing allocator detecteert lekken

Een programma kan voor elke waardecontrole slagen en toch geheugen lekken doordat het vergeet geheugen vrij te geven. Zig geeft tests een hulpmiddel om precies dat op te sporen.

Binnen een test krijg je een speciale geheugenverdeler via std.testing.allocator. Gebruik deze overal waar je code heapgeheugen moet toewijzen.

De testing.allocator onthoudt elk blok dat hij uitgeeft. Wanneer de test eindigt, controleert hij of elk blok is teruggegeven.

Als zelfs maar één toewijzing niet wordt vrijgegeven, meldt de testing.allocator een lek en mislukt de test. Daarbij wordt je naar de ontbrekende vrijgave geleid.

Vraag de geheugenverdeler om geheugen, net als in echte code. Hier reserveert alloc een buffer van tien bytes die je later moet vrijgeven.

Koppel aan elke geheugentoewijzing een defer die het geheugen vrijgeeft. De opruimactie wordt meteen gepland en wordt dus ook uitgevoerd als de test halverwege mislukt.

Laat je die defer weg, dan mislukt de test met een lekmelding. Zo verandert de allocator een stille fout in een duidelijke, oplosbare mislukking.

Dezelfde gecontroleerde allocator merkt ook dat je hetzelfde blok twee keer vrijgeeft of geheugen vrijgeeft dat hij nooit aan je heeft gegeven. Dat zijn klassieke oorzaken van crashes.

Functies die geheugen toewijzen, hebben een parameter voor een geheugenverdeler. Geef ze in een test testing.allocator, zodat ook hun geheugen wordt bijgehouden.

Alles wat je functie heeft toegewezen, moet de test vrijgeven. Voeg direct na de aanroep een defer toe om de teruggegeven gegevens vrij te geven of te deïnitialiseren.

Omdat lekken de build laten mislukken, bewijst elke geslaagde test dat het geheugen in balans is. Die zekerheid is uniek voor testing.allocator.

Je hebt std.testing.allocator gebruikt om lekken en dubbele vrijgaven kosteloos op te sporen. Koppel elke alloc aan een defer free, dan blijven je tests schoon. ✅