C言語におけるコントラクト：概念実証

この記事では、C++のコントラクトの概念をC言語に取り入れる可能性を探っています。著者は、`contract_assert`と`contract_assume`マクロをそれぞれ事前条件と事後条件のチェックに使用する方法を提案しています。`defer`マクロとC23の`unreachable`マクロにより、事後条件をより簡潔に表現できます。また、インライン関数とヘルパー関数を利用して、関数の核心的な実装を変更せずにコントラクトチェックを追加し、コンパイラの最適化を活用する方法も示しています。インターフェース仕様のさらなる洗練が必要ですが、この記事はC言語におけるコントラクトの実現可能性を示す概念実証となっています。