Afgeleide errorsets

Elke fout benoemen die een functie kan retourneren, kan een hele klus zijn, vooral wanneer de functie andere functies aanroept die kunnen mislukken. Zig kan de verzameling afleiden.

Schrijf alleen !T, zonder iets vóór het uitroepteken. Zig onderzoekt de functie-body en bepaalt elke fout die de functie kan produceren.

Elke try en elke geretourneerde fout in de body wordt automatisch verzameld in één afgeleide foutverzameling voor die functie.

Voeg je later een nieuwe aanroep toe die kan mislukken, dan groeit de afgeleide verzameling om die aanroep op te nemen. Je vergeet nooit meer een handmatig geschreven lijst bij te werken.

Als je functie try gebruikt bij een andere aanroep die kan mislukken, worden de mogelijke fouten van die aangeroepen functie ook opgenomen in jouw afgeleide verzameling.

Soms wil je een vast openbaar contract. Door de verzameling vóór ! te benoemen, verbied je elke fout erbuiten; afleiding doet dat niet.

Afgeleide verzamelingen zijn handig en werken zichzelf bij; expliciete verzamelingen zijn precies en stabiel. Kies op basis van de vraag of het contract onveranderd moet blijven.

Je kunt tijdens runtime nog steeds redeneren over fouten. In debug-builds houdt Zig een foutretourtracering bij die laat zien waar een fout is begonnen.

Type-inferentie komt goed tot zijn recht bij private hulpfuncties waarvoor geen strikt openbare API nodig is. Laat Zig daar de administratie afhandelen.

Of ze nu afgeleid of expliciet zijn, elke fout moet nog steeds door aanroepers worden afgehandeld. Inferentie bespaart typwerk, geen veiligheid; de compiler blijft streng.

Veel Zig-functies gebruiken gewoon !T en laten de inferentie haar werk doen. Bewaar benoemde verzamelingen voor de grenzen die je wilt vastleggen.

Je hebt foutverzamelingen afgeleid via kale !T gezien, hoe ze meegroeien met de functie-inhoud en wanneer een expliciete verzameling de betere keuze is. ✅