heise+ | Mehr Codekontrolle mit C++26 Contracts (opens original article in a new tab)

C++26 integriert Contracts als Sprachfeature zur Definition von Funktionsschnittstellenbedingungen. Die Funktionen pre und post werden verwendet, um Anforderungen an Parameter und Ergebnisse zu spezifizieren. Die Auswertungssemantiken definieren das Verhalten bei Verstößen.

• Contracts sind ein Sprachfeature von C++26 zur Definition von Schnittstellenbedingungen.
• Vier Auswertungssemantiken (enforce, ignore, observe, quick-enforce) regeln das Verhalten bei nicht erfüllten Bedingungen.
• Contracts ermöglichen die direkte Dokumentation von Anforderungen im Code statt in separater Dokumentation.