タグ: #contracts

한국어English日本語中文

← すべての記事

• C++26契約(Contracts) — 114対12で可決された機能と、唯一の実装であるGCC 16.1

  2026年3月28日、WG21はC++26の技術作業を終えました。採決は全会一致ではなく(賛成114、反対12、棄権3)、非全会一致の主な理由は契約(contracts)でした。契約はpre・post・contractassertで事前条件と事後条件を言語レベルで書ける機能ですが、その検査が実際に実行されるかどうかはソースコードではなくビルド設定が決めます — 標準の文言そのままに「実装定義(implementation-defined

  2026-07-16 · 31 分で読めます #cpp#cpp26#contracts#wg21#gcc