C++ identifier with special meaning: post (since C++26)
Usage
function contract specifier: as function postcondition
Notes
| Feature-test macro | Value | Std | Feature |
|---|---|---|---|
__cpp_contracts | 202502L | (C++26) | Contracts |
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 | 16 |
See also
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/identifier_with_special_meaning/post
