この記事はC++アドベントカレンダー2023 25日目の記事です。ご参加の皆様お疲れ様でした！ C++ Contracts C++20 Contracts 問題点とMVP(Minimum Viable Product) 最初のMVP仕様 関数の再宣言と契約注釈 引数の事後条件からの参照 契約条件式の副作用 C++26に…