C++ identifier with special meaning: post (since C++26)
From cppreference.com
< cpp
C++
Feature test macros (C++20)
Concepts library (C++20)
Metaprogramming library (C++11)
Ranges library (C++20)
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
C++ language
Flow control Conditional execution statements Iteration statements (loops) Jump statements Functions Function declaration Lambda function expression Dynamic exception specifications (until C++17*) Exceptions Namespaces Types Specifiers Storage duration specifiers Initialization Alternative representations Literals Boolean - Integer - Floating-point Character - String - nullptr (C++11) User-defined (C++11) Utilities Attributes (C++11) Types Type alias declaration (C++11) Casts Memory allocation Classes Class-specific function properties Special member functions Templates Miscellaneous
General topics
inline specifier noexcept specifier (C++11)typedef declaration Keywords
Identifiers with special meaning
(C++11)
(C++11)
(*)
(C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++11)
(C++20)
(C++26)
(C++20)
(C++20)
(C++20)
(C++11)
Contents
[edit] Usage
function contract specifier: as function postcondition
[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 |