Namespaces
Variants
Views
Actions

C++ keyword: contract_assert (since C++26)

From cppreference.com
< cpp‎ | keyword
 
C++
 
C++ language
General topics
Flow control
Conditional execution statements
if
Iteration statements (loops)
for
range-for (C++11)
Jump statements
Functions
Function declaration
Lambda function expression
inline specifier
Dynamic exception specifications (until C++17*)
noexcept specifier (C++11)
Exceptions
Namespaces
Types
Specifiers
const/volatile
decltype (C++11)
auto (C++11)
constexpr (C++11)
consteval (C++20)
constinit (C++20)
Storage duration specifiers
Initialization
Expressions
Alternative representations
Literals
Boolean - Integer - Floating-point
Character - String - nullptr (C++11)
User-defined (C++11)
Utilities
Attributes (C++11)
Types
typedef declaration
Type alias declaration (C++11)
Casts
Memory allocation
Classes
Class-specific function properties
explicit (C++11)
static

Special member functions
Templates
Miscellaneous
 
Keywords
(C++11)
(C++11)
(*)
(C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++11)
(C++20)
contract_assert
(C++26)  
(C++20)
(C++20)
(C++20)
(C++11)
Identifiers with special meaning
(C++11)
(C++20)
(C++20)
(C++11)
(C++26)
(C++26)
 

Contents

[edit] Usage

contract_assert statement: as an assertion statement

[edit] Notes

Feature-test macro Value Std Feature
__cpp_contracts 202502L (C++26) Contracts

[edit] Support status

C++26 feature

  		Paper(s)

 
GCC
Clang
MSVC
Apple Clang
EDG eccp
Intel C++
Nvidia HPC C++ (ex PGI)*
Nvidia nvcc
Cray


Contracts  (FTM)* P2900R14

[edit] See also

Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/keyword/contract_assert&oldid=182024"