C 언어의 계약 프로그래밍: 개념 증명

이 글에서는 C++의 계약 프로그래밍 개념을 C 언어에 적용할 가능성을 탐구합니다. 저자는 `contract_assert` 및 `contract_assume` 매크로를 각각 전조건 및 후조건 검사에 사용하는 방법을 제안합니다. `defer` 매크로와 C23의 `unreachable` 매크로를 통해 후조건을 더 간결하게 표현할 수 있습니다. 또한, 인라인 함수와 보조 함수를 활용하여 함수의 핵심 구현을 변경하지 않고 계약 검사를 추가하고 컴파일러 최적화를 활용하는 방법을 보여줍니다. 인터페이스 사양을 더욱 다듬어야 하지만, 이 글은 C 언어에서 계약 프로그래밍의 실현 가능성을 보여주는 개념 증명입니다.