Abstract

C++26 führt einen neuen, standardisierten <debugging>-Header ein, der plattformspezifische Debugging-Primitiven vereinheitlicht. Das Proposal basiert auf P2546R5 und P2810R4 und stellt drei unkonditionale Bausteine bereit: std::breakpoint(), std::is_debugger_present() sowie std::breakpoint_if_debugging(). Diese Funktionen sind als noexcept deklariert, in freestanding Umgebungen einsetzbar und ersetzen proprietäre Makros in Bibliotheken wie Boost.Test oder Catch2.

Wichtigste Punkte

• Neuer Header <debugging>: Standardisiert plattformspezifische Debugging-Aufrufe über die Proposal-Nummern P2546R5 und P2810R4.
• std::breakpoint(): Löst plattformabhängig einen bedingten Haltepunkt aus, kompiliert auf x86 typischerweise zu einem einzelnen int3-Befehl oder sendet andernfalls ein SIGTRAP-Signal.
• std::is_debugger_present(): Prüft zur Laufzeit ohne Caching, ob ein Debugger an den Prozess angehängt ist (implementiert über Mechanismen wie ::IsDebuggerPresent unter Windows oder /proc/self/status unter Linux).
• Austauschbarkeit: Die Funktion std::is_debugger_present() ist analog zu operator new und operator delete überschreibbar, was die Nutzung auf Embedded- und Bare-Metal-Plattformen ohne Betriebssystem ermöglicht.
• std::breakpoint_if_debugging(): Eine Convenience-Funktion, die std::breakpoint() nur dann ausführt, wenn std::is_debugger_present() positiv evaluiert wird.
• Freestanding-Unterstützung: Alle drei Funktionen sind vollständig freestanding-kompatibel und erfordern keine constexpr-Auswertung, da Debugging inhärent eine Laufzeitangelegenheit ist.

Diskussions-Highlights

• Instruction-Pointer-Problematik bei int3: Mehrere Kommentatoren wiesen darauf hin, dass ein reiner int3-Befehl auf x86 als Trap fungiert und den Befehlszeiger auf die nächste Instruktion setzt, was bei einigen Debuggern (wie GDB) zu ungenauen Stacktraces oder falschen Code-Zeilen führen kann. Als Workaround wurde vorgeschlagen, int3; nop zu verwenden.
• Verhalten bei Signal-Handhabung: Debugger wie GDB verändern den Instruction Pointer bei manuell eingebetteten INT3-Instruktionen oft nicht, da sie diese nicht von anderen SIGTRAP-Ursachen (wie Einzelschrittausführung) unterscheiden.
• Vorwürfe von KI-Inhalten: Es wurde intensiv diskutiert, dass der Blogbeitrag sowie Teile der zugrundeliegenden Standards-PRs (anhand von Stilmerkmalen wie Gedankenstrichen und typischen Formulierungen) möglicherweise ganz oder teilweise von Sprachmodellen (LLMs) generiert wurden; das Subreddit r/cpp soll diesen Blog Berichten zufolge bereits gebannt haben.
• Tragfähigkeit von Alternativen: Einige Entwickler merkten an, dass in Unix-Umgebungen bisher meist schlicht raise(SIGTRAP) verwendet wurde, während andere humorvoll printf und getchar als primitiven Breakpoint ins Spiel brachten.

Glossar

• Freestanding: Eine Programmierumgebung in C++, die ohne ein vollständiges Betriebssystem oder die Standard-Laufzeitbibliothek (wie sie auf Bare-Metal-Mikrocontrollern üblich ist) auskommt.
• noexcept: Ein Zusicherungsschlüsselwort in C++, das garantiert, dass eine Funktion keine Ausnahmen (Exceptions) wirft.
• SIGTRAP: Ein POSIX-Signal, das an einen Prozess gesendet wird, wenn ein Debugger-Haltepunkt oder ein Trap-Befehl erreicht wird.
• int3: Ein x86/x64-Assembly-Befehl (Trap-Flag 3), der von Debuggern verwendet wird, um Software-Haltepunkte zu setzen.
• Bare-Metal: Hardware-Architekturen, auf denen Software direkt ohne ein zugrundeliegendes Betriebssystem ausgeführt wird.
• constexpr: Ein Schlüsselwort, das angibt, dass ein Ausdruck oder eine Funktion zur Kompilierzeit ausgewertet werden kann.