P0542R5

Contract-based programming

Rapperswil, Jun 2018C++20Language

Added contract attributes [[expects]], [[ensures]], [[assert]] at Rapperswil 2018; removed at Cologne 2019.

Read P0542R5 on wg21.link →All revisions of P0542

Other papers in Contracts (C++20, removed)

P1289R1Access control in contract conditionsSan Diego 2018P1323R2Contract postconditions and return type deductionKona 2019P1823R0Remove contractsCologne 2019All 4 papers in Contracts (C++20, removed) →