Contracts

Joshua Berne joins Phil and Timur. Joshua talks to us about the previous week's ISO C++ meeting in Varna, Bulgaria, then focuses on the current state of the contracts proposal that he has been central to, as well as a bit of its history. News

• ISO C++ trip report's from Varna:
  • Herb Sutter's trip report
  • Jonathan Müller's trip report
• GCC 14 NRVO enhancements (Reddit)
  • P2025 proposes guaranteed NRVO
  • How to get NRVO before C++26
• XCode 15 beta

Links

• P2831 - "Functions having a narrow contract should not be noexcept"
• P2521 - The current contracts MVP
• P2695 - "A proposed plan for Contracts in C++"
• P2811 - "Contract-Violation Handlers"
• P2834 - "Semantic Stability Across Contract-Checking Build Modes"
• P2877R0 - "Contract Build Modes, Semantics, and Implementation Strategies"
• P2751 - "Evaluation of Checked Contract-Checking Annotations"
• P2552 - "On the ignorability of standard attributes"
• p2786 - "Trivial relocatability options"
• P2839 - "Nontrivial Relocation via a New owning reference Type"
• P0843R8 - "inplace_vector"