contract_assert Anweisung (seit C++26)

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

C++ Sprache

Allgemeine Themen
Präprozessor Kommentare	Schlüsselwörter Escape-Sequenzen
Kontrollfluss
Bedingte Ausführungsaussagen
if	switch
Iterationsanweisungen (Schleifen)
for Bereichs-for (C++11)	while do-while
Sprunganweisungen
continue - break	goto - return
Funktionen
Funktionsdeklaration
Lambda-Funktionsausdruck
inline-Spezifizierer
Dynamische Ausnahmespezifikationen (bis C++17*)
noexcept-Spezifizierer (C++11)
Ausnahmen
throw-Ausdruck try-Block	catch-Handler
Namensräume
Namensdeklaration	Namensaliase
Typen
Fundamentale Typen Aufzählungstypen Funktionstypen	Klassen-/Strukturtypen Union-Typen
Spezifizierer
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
Speicherdauer-Spezifizierer
Initialisierung
Standardinitialisierung Wertinitialisierung Nullinitialisierung Kopierinitialisierung Direkte Initialisierung	Aggregatinitialisierung Listeninitialisierung (C++11)   Konstante Initialisierung Referenzinitialisierung

Ausdrücke
Wertkategorien Reihenfolge der Auswertung	Operatoren Operatorrangfolge
Alternative Darstellungen
Literale
Boolesch - Ganzzahl - Gleitkommazahl
Zeichen - String - nullptr (C++11)
Benutzerdefinierte (C++11)
Dienstprogramme
Attribute (C++11)
Typen
typedef-Deklaration
Typalias-Deklaration (C++11)
Umwandlungen
Implizite Konvertierungen static_cast const_cast	Explizite Konvertierungen dynamic_cast reinterpret_cast
Speicherzuweisung
new-Ausdruck	delete-Ausdruck
Klassen
Klassendeklaration Konstruktoren this-Zeiger	Zugriffsspezifizierer friend-Spezifizierer
Klassenspezifische Funktionseigenschaften
Virtuelle Funktion override-Spezifizierer (C++11)   final-Spezifizierer (C++11)	explicit (C++11) static
Spezielle Member-Funktionen
Standardkonstruktor Kopierkonstruktor Move-Konstruktor (C++11)	Kopierzuweisung Move-Zuweisung (C++11) Destruktor
Templates
Klassenschablone Funktionsschablone	Schablonenspezialisierung Parameter-Pakete (C++11)
Sonstiges
Inline-Assembler	Geschichte von C++

 

Anweisungen

Labels

label : statement

Ausdrucksanweisungen

expression ;

Compound statements

{ Anweisung... }

Selektionsanweisungen

if

switch

Iterationsanweisungen

while

do while

for

Bereichs-for (C++11)

Sprunganweisungen

break

continue

return

goto

Assertions

contract_assert (C++26)

Deklarationsanweisungen

Deklaration ;

Try-Blöcke

try Block

Transaktionaler Speicher

synchronized, atomic_commit, etc. (TM TS)

 

Eine contract_assert Anweisung ist eine Vertragsassertion, die im Körper einer Funktion oder Lambda-Ausdrucks erscheinen kann, um eine interne Bedingung zu überprüfen. Sie stellt sicher, dass die Bedingung während der Ausführung erfüllt ist. Bei Nichteinhaltung wird in Debug-Builds eine Verletzung ausgelöst (z. B. Abbruch), wenn die Bedingung zu false ausgewertet wird oder die Auswertung über eine Ausnahme verlassen wird. In Release-Builds kann sie zur Leistungssteigerung ignoriert werden.

Syntax

contract_assert attr (optional) ( prädikat ) ;

attr	-	beliebige Anzahl von Attributen
predicate	-	boolscher Ausdruck, der zu true ausgewertet werden sollte

Schlüsselwörter

contract_assert

Hinweise

Feature-Testmakro	Wert	Std	Feature
__cpp_contracts	202502L	(C++26)	Verträge

Beispiel

Die contract_assert stellt sicher, dass die Norm eines Vektors positiv und entweder normal oder subnormal ist.

template <std::floating_point T>
constexpr auto normalize(std::array<T, 3> vector) noexcept
    pre(/* is_normalizable(vector) */)
    post(/* vector: is_normalized(vector) */)
{
    auto& [x, y, z]{vector};
    const auto norm{std::hypot(x, y, z)};
 
    // debug check for normalization safety
    contract_assert(std::isfinite(norm) && norm > T(0));
 
    x /= norm, y /= norm, z /= norm;
 
    return vector;
}

Referenzen

• C++26 Standard (ISO/IEC 14882:2026)

• 8.(7+c ) Assertion-Anweisung [stmt.contract.assert]

Siehe auch

assert	bricht das Programm ab, wenn die vom Benutzer angegebene Bedingung nicht true ist. Kann für Release-Builds deaktiviert werden. (Funktionsmakro)
Vertragsassertionen (C++26)	spezifiziert Eigenschaften, die zu bestimmten Zeitpunkten während der Ausführung gelten müssen
static_assert Deklaration (C++11)	führt Assertionsprüfungen zur Kompilierzeit durch
Funktionsvertragspezifizierer (C++26)	spezifiziert Vorbedingungen (pre) und Nachbedingungen (post)
[[assume(ausdruck)]] (C++23)	spezifiziert, dass der ausdruck an einer gegebenen Stelle immer zu true ausgewertet wird (Attribut-Spezifizierer)