René's URL Explorer Experiment


Title: Contract assertions (since C++26) - cppreference.com

Generator: MediaWiki 1.43.8

direct link

Domain: en.cppreference.com

format-detectiontelephone=no

Links:

cppreference.comhttps://en.cppreference.com/
Create accounthttps://en.cppreference.com/index.php?title=Special:CreateAccount&returnto=cpp%2Flanguage%2Fcontracts
Log inhttps://en.cppreference.com/index.php?title=Special:UserLogin&returnto=cpp%2Flanguage%2Fcontracts
Pagehttps://en.cppreference.com/cpp/language/contracts
Discussionhttps://en.cppreference.com/Talk:cpp/language/contracts
https://en.cppreference.com/cpp/language/contracts
Readhttps://en.cppreference.com/cpp/language/contracts
View sourcehttps://en.cppreference.com/index.php?title=cpp/language/contracts&action=edit
View historyhttps://en.cppreference.com/index.php?title=cpp/language/contracts&action=history
https://en.cppreference.com/cpp/language/contracts
cpphttps://en.cppreference.com/cpp
languagehttps://en.cppreference.com/cpp/language
C++https://en.cppreference.com/cpp
Compiler supporthttps://en.cppreference.com/cpp/compiler_support
Freestanding and hostedhttps://en.cppreference.com/cpp/freestanding
Languagehttps://en.cppreference.com/cpp/language
Standard libraryhttps://en.cppreference.com/cpp/standard_library
Standard library headershttps://en.cppreference.com/cpp/header
Named requirementshttps://en.cppreference.com/cpp/named_req
Feature test macroshttps://en.cppreference.com/cpp/feature_test
Language support libraryhttps://en.cppreference.com/cpp/utility#Language_support
Concepts libraryhttps://en.cppreference.com/cpp/concepts
Diagnostics libraryhttps://en.cppreference.com/cpp/error
Memory management libraryhttps://en.cppreference.com/cpp/memory
Metaprogramming libraryhttps://en.cppreference.com/cpp/meta
General utilities libraryhttps://en.cppreference.com/cpp/utility
Containers libraryhttps://en.cppreference.com/cpp/container
Iterators libraryhttps://en.cppreference.com/cpp/iterator
Ranges libraryhttps://en.cppreference.com/cpp/ranges
Algorithms libraryhttps://en.cppreference.com/cpp/algorithm
Strings libraryhttps://en.cppreference.com/cpp/string
Text processing libraryhttps://en.cppreference.com/cpp/text
Numerics libraryhttps://en.cppreference.com/cpp/numeric
Date and time libraryhttps://en.cppreference.com/cpp/chrono
Input/output libraryhttps://en.cppreference.com/cpp/io
Filesystem libraryhttps://en.cppreference.com/cpp/filesystem
Concurrency support libraryhttps://en.cppreference.com/cpp/thread
Execution control libraryhttps://en.cppreference.com/cpp/execution
Technical specificationshttps://en.cppreference.com/cpp/experimental
Symbols indexhttps://en.cppreference.com/cpp/symbol_index
External librarieshttps://en.cppreference.com/cpp/links/libs
[edit]https://cppreference.com/index.php?title=Template:cpp/navbar_content&action=edit
C++ languagehttps://en.cppreference.com/cpp/language
Preprocessorhttps://en.cppreference.com/cpp/preprocessor
Commentshttps://en.cppreference.com/cpp/comment
Keywordshttps://en.cppreference.com/cpp/keyword
Escape sequenceshttps://en.cppreference.com/cpp/language/escape
Flow controlhttps://en.cppreference.com/cpp/language/statements
ifhttps://en.cppreference.com/cpp/language/if
switchhttps://en.cppreference.com/cpp/language/switch
forhttps://en.cppreference.com/cpp/language/for
range-forhttps://en.cppreference.com/cpp/language/range-for
whilehttps://en.cppreference.com/cpp/language/while
do-whilehttps://en.cppreference.com/cpp/language/do
continuehttps://en.cppreference.com/cpp/language/continue
breakhttps://en.cppreference.com/cpp/language/break
gotohttps://en.cppreference.com/cpp/language/goto
returnhttps://en.cppreference.com/cpp/language/return
Functionshttps://en.cppreference.com/cpp/language/functions
Function declarationhttps://en.cppreference.com/cpp/language/function
Lambda function expressionhttps://en.cppreference.com/cpp/language/lambda
inline specifierhttps://en.cppreference.com/cpp/language/inline
Dynamic exception specificationshttps://en.cppreference.com/cpp/language/except_spec
noexcept specifierhttps://en.cppreference.com/cpp/language/noexcept_spec
throw-expressionhttps://en.cppreference.com/cpp/language/throw
try blockhttps://en.cppreference.com/cpp/language/try
catch handlerhttps://en.cppreference.com/cpp/language/catch
Namespace declarationhttps://en.cppreference.com/cpp/language/namespace
Namespace aliaseshttps://en.cppreference.com/cpp/language/namespace_alias
Fundamental typeshttps://en.cppreference.com/cpp/language/types
Enumeration typeshttps://en.cppreference.com/cpp/language/enum
Function typeshttps://en.cppreference.com/cpp/language/function
Class/struct typeshttps://en.cppreference.com/cpp/language/class
Union typeshttps://en.cppreference.com/cpp/language/union
const/volatilehttps://en.cppreference.com/cpp/language/cv
decltypehttps://en.cppreference.com/cpp/language/decltype
autohttps://en.cppreference.com/cpp/language/auto
constexprhttps://en.cppreference.com/cpp/language/constexpr
constevalhttps://en.cppreference.com/cpp/language/consteval
constinithttps://en.cppreference.com/cpp/language/constinit
Storage duration specifiershttps://en.cppreference.com/cpp/language/storage_duration
Initializationhttps://en.cppreference.com/cpp/language/initialization
Default-initializationhttps://en.cppreference.com/cpp/language/default_initialization
Value-initializationhttps://en.cppreference.com/cpp/language/value_initialization
Zero-initializationhttps://en.cppreference.com/cpp/language/zero_initialization
Copy-initializationhttps://en.cppreference.com/cpp/language/copy_initialization
Direct-initializationhttps://en.cppreference.com/cpp/language/direct_initialization
Aggregate initializationhttps://en.cppreference.com/cpp/language/aggregate_initialization
List-initializationhttps://en.cppreference.com/cpp/language/list_initialization
Constant initializationhttps://en.cppreference.com/cpp/language/constant_initialization
Reference initializationhttps://en.cppreference.com/cpp/language/reference_initialization
Expressionshttps://en.cppreference.com/cpp/language/expressions
Value categorieshttps://en.cppreference.com/cpp/language/value_category
Order of evaluationhttps://en.cppreference.com/cpp/language/eval_order
Operatorshttps://en.cppreference.com/cpp/language/operators
Operator precedencehttps://en.cppreference.com/cpp/language/operator_precedence
Alternative representationshttps://en.cppreference.com/cpp/language/operator_alternative
Literalshttps://en.cppreference.com/cpp/language/expressions#Literals
Booleanhttps://en.cppreference.com/cpp/language/bool_literal
Integerhttps://en.cppreference.com/cpp/language/integer_literal
Floating-pointhttps://en.cppreference.com/cpp/language/floating_literal
Characterhttps://en.cppreference.com/cpp/language/character_literal
Stringhttps://en.cppreference.com/cpp/language/string_literal
nullptrhttps://en.cppreference.com/cpp/language/nullptr
User-definedhttps://en.cppreference.com/cpp/language/user_literal
Attributeshttps://en.cppreference.com/cpp/language/attributes
typedef declarationhttps://en.cppreference.com/cpp/language/typedef
Type alias declarationhttps://en.cppreference.com/cpp/language/type_alias
Implicit conversionshttps://en.cppreference.com/cpp/language/implicit_conversion
static_casthttps://en.cppreference.com/cpp/language/static_cast
const_casthttps://en.cppreference.com/cpp/language/const_cast
Explicit conversionshttps://en.cppreference.com/cpp/language/explicit_cast
dynamic_casthttps://en.cppreference.com/cpp/language/dynamic_cast
reinterpret_casthttps://en.cppreference.com/cpp/language/reinterpret_cast
new expressionhttps://en.cppreference.com/cpp/language/new
delete expressionhttps://en.cppreference.com/cpp/language/delete
Classeshttps://en.cppreference.com/cpp/language/classes
Class declarationhttps://en.cppreference.com/cpp/language/class
Constructorshttps://en.cppreference.com/cpp/language/constructor
this pointerhttps://en.cppreference.com/cpp/language/this
Access specifiershttps://en.cppreference.com/cpp/language/access
friend specifierhttps://en.cppreference.com/cpp/language/friend
Virtual functionhttps://en.cppreference.com/cpp/language/virtual
override specifierhttps://en.cppreference.com/cpp/language/override
final specifierhttps://en.cppreference.com/cpp/language/final
explicithttps://en.cppreference.com/cpp/language/explicit
statichttps://en.cppreference.com/cpp/language/static
Default constructorhttps://en.cppreference.com/cpp/language/default_constructor
Copy constructorhttps://en.cppreference.com/cpp/language/copy_constructor
Move constructorhttps://en.cppreference.com/cpp/language/move_constructor
Copy assignmenthttps://en.cppreference.com/cpp/language/as_operator
Move assignmenthttps://en.cppreference.com/cpp/language/move_operator
Destructorhttps://en.cppreference.com/cpp/language/destructor
Templateshttps://en.cppreference.com/cpp/language/templates
Class templatehttps://en.cppreference.com/cpp/language/class_template
Function templatehttps://en.cppreference.com/cpp/language/function_template
Template specializationhttps://en.cppreference.com/cpp/language/template_specialization
Parameter packshttps://en.cppreference.com/cpp/language/pack
Inline assemblyhttps://en.cppreference.com/cpp/language/asm
History of C++https://en.cppreference.com/cpp/language/history
[edit]https://cppreference.com/index.php?title=Template:cpp/language/navbar_content&action=edit
Basic Conceptshttps://en.cppreference.com/cpp/language/basic_concepts
Commentshttps://en.cppreference.com/cpp/comment
ASCIIhttps://en.cppreference.com/cpp/language/ascii
Punctuationhttps://en.cppreference.com/cpp/language/punctuators
Names and identifiershttps://en.cppreference.com/cpp/language/identifiers
Typeshttps://en.cppreference.com/cpp/language/type
Fundamental typeshttps://en.cppreference.com/cpp/language/types
Objectshttps://en.cppreference.com/cpp/language/object
Scopehttps://en.cppreference.com/cpp/language/scope
Object lifetimehttps://en.cppreference.com/cpp/language/lifetime
Storage duration and linkagehttps://en.cppreference.com/cpp/language/storage_duration
Definitions and ODRhttps://en.cppreference.com/cpp/language/definition
Name lookuphttps://en.cppreference.com/cpp/language/lookup
Qualified name lookuphttps://en.cppreference.com/cpp/language/qualified_lookup
Unqualified name lookuphttps://en.cppreference.com/cpp/language/unqualified_lookup
The as-if rulehttps://en.cppreference.com/cpp/language/as_if
Undefined behaviorhttps://en.cppreference.com/cpp/language/ub
Memory modelhttps://en.cppreference.com/cpp/language/memory_model
Multi-threaded executions and data raceshttps://en.cppreference.com/cpp/language/multithread
Character sets and encodingshttps://en.cppreference.com/cpp/language/charset
Phases of translationhttps://en.cppreference.com/cpp/language/translation_phases
The main functionhttps://en.cppreference.com/cpp/language/main_function
Moduleshttps://en.cppreference.com/cpp/language/modules
[edit]https://cppreference.com/index.php?title=Template:cpp/language/basics/navbar_content&action=edit
1 Explanationhttps://en.cppreference.com/cpp/language/contracts#Explanation
2 Evaluating contract assertionshttps://en.cppreference.com/cpp/language/contracts#Evaluating_contract_assertions
3 Handling contract violationshttps://en.cppreference.com/cpp/language/contracts#Handling_contract_violations
3.1 Contract-terminated programshttps://en.cppreference.com/cpp/language/contracts#Contract-terminated_programs
3.2 Contract-violation handlerhttps://en.cppreference.com/cpp/language/contracts#Contract-violation_handler
3.3 Handling exceptions from assertionshttps://en.cppreference.com/cpp/language/contracts#Handling_exceptions_from_assertions
4 Evaluate in sequencehttps://en.cppreference.com/cpp/language/contracts#Evaluate_in_sequence
5 Noteshttps://en.cppreference.com/cpp/language/contracts#Notes
6 Keywordshttps://en.cppreference.com/cpp/language/contracts#Keywords
7 Support statushttps://en.cppreference.com/cpp/language/contracts#Support_status
8 See alsohttps://en.cppreference.com/cpp/language/contracts#See_also
function contract specifiershttps://en.cppreference.com/cpp/language/function#Function_contract_specifiers
contract_asserthttps://en.cppreference.com/cpp/language/contract_assert
manifestly constant-evaluatedhttps://en.cppreference.com/cpp/language/constant_expression#Manifestly_constant-evaluated_expressions
core constant expressionhttps://en.cppreference.com/cpp/language/constant_expression#Core_constant_expression
observable checkpointhttps://en.cppreference.com/cpp/language/as_if
allocation functionhttps://en.cppreference.com/cpp/memory/new/operator_new
execution stepshttps://en.cppreference.com/cpp/language/multithread#Progress_guarantee
replaceablehttps://en.cppreference.com/cpp/language/replacement_function
observable checkpointhttps://en.cppreference.com/cpp/language/as_if
handlerhttps://en.cppreference.com/cpp/language/catch
sequenced beforehttps://en.cppreference.com/cpp/language/eval_order
one-definition rulehttps://en.cppreference.com/cpp/language/definition#ODR
non-local jumpshttps://en.cppreference.com/cpp/utility/program#Non-local_jumps
__cpp_contractshttps://en.cppreference.com/cpp/feature_test#cpp_contracts
202502Lhttps://en.cppreference.com/cpp/compiler_support/26#cpp_contracts_202502L
contract_asserthttps://en.cppreference.com/cpp/keyword/contract_assert
prehttps://en.cppreference.com/cpp/identifier_with_special_meaning/pre
posthttps://en.cppreference.com/cpp/identifier_with_special_meaning/post
FTMhttps://en.cppreference.com/cpp/feature_test#cpp_contracts
P2900R14https://wg21.link/P2900R14
contract_assert statementhttps://en.cppreference.com/cpp/language/contract_assert
[edit]https://cppreference.com/index.php?title=Template:cpp/language/dsc_contract_assert&action=edit
function contract specifiershttps://en.cppreference.com/cpp/language/functions#Function_contract_specifiers
[edit]https://cppreference.com/index.php?title=Template:cpp/language/functions/dsc_function_contract_specifiers&action=edit
Categorieshttps://en.cppreference.com/Special:Categories
Pages using deprecated source tagshttps://en.cppreference.com/index.php?title=Category:Pages_using_deprecated_source_tags&action=edit&redlink=1
Pages using deprecated enclose attributeshttps://en.cppreference.com/index.php?title=Category:Pages_using_deprecated_enclose_attributes&action=edit&redlink=1
Support ushttp://www.cppreference.com/support
Recent changeshttps://en.cppreference.com/Special:RecentChanges
FAQhttps://en.cppreference.com/Cppreference:FAQ
Offline versionhttps://en.cppreference.com/Cppreference:Archives
https://en.cppreference.com/cpp/language/contracts
What links herehttps://en.cppreference.com/Special:WhatLinksHere/cpp/language/contracts
Related changeshttps://en.cppreference.com/Special:RecentChangesLinked/cpp/language/contracts
Upload filehttp://upload.cppreference.com/w/Special:Upload
Special pageshttps://en.cppreference.com/Special:SpecialPages
Printable versionjavascript:print();
Permanent linkhttps://en.cppreference.com/index.php?title=cpp/language/contracts&oldid=182019
Page informationhttps://en.cppreference.com/index.php?title=cpp/language/contracts&action=info
Deutschhttps://de.cppreference.com/cpp/language/contracts
Españolhttp://es.cppreference.com/cpp/language/contracts
Françaishttp://fr.cppreference.com/cpp/language/contracts
Italianohttp://it.cppreference.com/cpp/language/contracts
日本語http://ja.cppreference.com/cpp/language/contracts
Portuguêshttp://pt.cppreference.com/cpp/language/contracts
Русскийhttp://ru.cppreference.com/cpp/language/contracts
中文http://zh.cppreference.com/cpp/language/contracts

Viewport: width=1120

Robots: max-image-preview:standard

URLs of crawlers that visited me.