C++ identifier with special meaning: post
(since C++26)
From cppreference.com
< cpp
[edit] Usage
function contract specifier: as function postcondition
[edit] Notes
Feature-test macro | Value | Std | Feature |
---|---|---|---|
__cpp_contracts |
202502L |
(C++26) | Contracts |