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

この記事はC++アドベントカレンダー2023 11日目の記事です。 C++26に対して現在、一部のUBを置き換える概念としてEBというものが議論されています。 EBとは 規定 経緯 他のEB候補について 参考文献 EBとは EBはErroneous Behaviourの略称であり、EBはUB同様…