assert(): Ein modernes How-to für korrekte und sichere Software

Assert(): A Modern How To

Reza Naghibi erklärt, warum assert() weit mehr ist als ein simples Debugging-Werkzeug. Er zeigt vier Einsatzbereiche – Korrektheit, Sicherheit, Entwicklung und Dokumentation – und wie Assertions mit minimalem Overhead 100%ige Wertabdeckung garantieren. Mit konkreten Beispielen demonstriert er, wie sie unerwartete Zustände sofort aufdecken und als lebendige Dokumentation dienen. Abschließend skizziert er eine ideale Assertion-API mit Produktions- und Entwicklungsmodus, dynamischen Meldungen und Stack-Dumps.